~lobsters | Bookmarks (2097)

15,000 lines of verified cryptography now in Python

protzenko.fr

In November 2022, I opened issue 99108 on Python’s GitHub repository, arguing that after a recent...
In November 2022, I opened issue 99108 on Python’s GitHub repository, arguing that after a recent CVE in its implementation of SHA3, Python should embrace verified code for all of its hash-related infrastructure. As of last week, this issue is now closed, and every single hash and HMAC algorithm exposed by default i...

cryptography python
1
Revisiting an early critique of formal verification

lawrencecpaulson.github.io

formalmethods historical
1
Neovim users: what AI tools are you using? | Lobsters

lobste.rs

There are a ton of llm/AI tools for nvim now, but what’s everyone here using? I...
There are a ton of llm/AI tools for nvim now, but what’s everyone here using? I know of: codecompanion.nvim https://github.com/olimorris/codecompanion.nvim ChatGPT.nvim https://github.com/jackMort/ChatGPT.nvim llm.nvim https://github.com/Kurama622/llm.nvim … and several others - but I’m curious what y’all are using. I’m especially interested in any that incorporate multiple models - e.g., llama4 for simple autocompletes, o4 for design, etc.

ai ask editors vim
1
Antithesis driven testing

sqlsync.dev

distributed testing
1
Common shell script mistakes

pixelbeat.org

I've written a few shell scripts in my time and have read many more, and I...
I've written a few shell scripts in my time and have read many more, and I see the same issues cropping up again and again (unfortunately even in my own scripts sometimes). While there are lots of shell programming pitfalls, at least the interpreter will tell you immediately about them. The mistakes I describe below...

programming
1
Easter hack: terraform-provider-openwrt

linderud.dev

Easter hack: terraform-provider-openwrt April is usualy tax season for most people in Norway, and as I...
Easter hack: terraform-provider-openwrt April is usualy tax season for most people in Norway, and as I got some “money back on the skætt” I wound up purchasing an OpenWrt One to replace my 13-14 year old Asus router. I’ve been meaning to learn a bit more about networking in general and getting an OpenWrt router seem...

devops english linux openwrt
1
Image segmentation using Gemini 2.5

simonwillison.net

18th April 2025 Max Woolf pointed out this new feature of the Gemini 2.5 series (here’s...
18th April 2025 Max Woolf pointed out this new feature of the Gemini 2.5 series (here’s my coverage of 2.5 Pro and 2.5 Flash) in a comment on Hacker News: One hidden note from Gemini 2.5 Flash when diving deep into the documentation: for image inputs, not only can the model be instructed to generated 2D bounding box...

ai
1
Microsecond transforms: Building a fast sandbox for user code

sequinstream.com

Often, platforms let users supply code to customize behavior. But sandboxing user code for safe execution...
Often, platforms let users supply code to customize behavior. But sandboxing user code for safe execution is a complex challenge.At Sequin, we needed a solution for our new transforms feature. This feature allows users to write functions that transform and route messages streaming from their database. This feature r...

api elixir lua virtualization wasm
1
What are you doing this weekend? | Lobsters

lobste.rs

Feel free to tell what you plan on doing this weekend and even ask for help...
Feel free to tell what you plan on doing this weekend and even ask for help or feedback. Please keep in mind it’s more than OK to do nothing at all too!

ask programming
1
GitHub - hellas-ai/awesome-consensus: A bibliography for protocol design

github.com

distributed
1
Vibing code quality

jml.io

A lot of folk are trying out generative AI and sharing their experiences. It’s undeniably a...
A lot of folk are trying out generative AI and sharing their experiences. It’s undeniably a cool technology that makes users feel awesome by granting them a superpower. Here’s a story about a time that happened to me.Set up #A few days ago, one of the people at work privately pointed out an error in a doc I wrote ab...

ai javascript
1
@j-g00da's webpage

jslazak.com

Ratatui gave us beautiful TUIs. Ratzilla expanded it to the web. But why shall we stop...
Ratatui gave us beautiful TUIs. Ratzilla expanded it to the web. But why shall we stop there? Why shall we stop anywhere? This series is meant to document and promote the joint effort of making ratatui truly portable. I've started the discussion on making ratatui-core crate no_std just two weeks ago, when I realized...

rust show
1
GitHub - tsoding/olive.c: Simple 2D Graphics Library for C

github.com

graphics
1
Lockless Programming Considerations for Xbox 360 and Microsoft Windows - Win32 apps

microsoft.com

Lockless programming is a way to safely share changing data between multiple threads without the cost...
Lockless programming is a way to safely share changing data between multiple threads without the cost of acquiring and releasing locks. This sounds like a panacea, but lockless programming is complex and subtle, and sometimes doesn't give the benefits that it promises. Lockless programming is particularly complex on...

c++windows
1
Software Development Has Too Much Software In It

smustafa.blog

Hello, friends! I’ve been thinking back on my career recently, which I’ve had plenty of time...
Hello, friends! I’ve been thinking back on my career recently, which I’ve had plenty of time to do, considering that I am exploring creative outlets like blogging, and that I’m currently in between jobs. One thing that I’ve felt slowly creeping up on me is this strange-sounding idea that software development has too...

rant
1
Honest and Elitist Thoughts on Why Computers Were More Fun Before

datagubbe.se

Spring 2025 When they saw that I had aficion, and there was no password, no set...
Spring 2025 When they saw that I had aficion, and there was no password, no set questions that could bring it out, rather it was a sort of oral spiritual examination with the questions always a little on the defensive and never apparent, there was this same embarrassed putting the hand on the shoulder, or a "Buen ho...

culture historical retrocomputing
1
Deciphering Glyph :: Stop Writing `__init__` Methods

glyph.im

python
1
Reflections on Unikernels

recoil.org

Unikernels are single-purpose appliances where an application is linked with everything that it needs, including kernel...
Unikernels are single-purpose appliances where an application is linked with everything that it needs, including kernel drivers, into a single binary which can be run in the cloud. Our 2013 paper ("Unikernels: Library Operating Systems for the Cloud") won one of the Influential Paper Awards at the 2025 ASPLOS confer...

devops osdev
1
Zig and GPUs

alichraghi.github.io

GPU programming used to mean wrangling C++ compilers, bloated SDKs, and vendor-specific toolchains. That’s changing. You...
GPU programming used to mean wrangling C++ compilers, bloated SDKs, and vendor-specific toolchains. That’s changing. You can now write GPU code in modern languages like Rust and Zig with fewer layers. This post walks through the current state of Zig’s GPU backends and how they stack up across Vulkan, OpenCL, and nat...

graphics zig
2
Just Throw It Into Postgres - simonsafar.com

simonsafar.com

databases
1
GitHub - mitmath/matrixcalc: MIT IAP short course: Matrix Calculus for Machine Learning and Beyond

github.com

ai education math
1
How to create and use program libraries on Linux (2003)

tldp.org

linux pdf practices
1
Is No PaaS really a good idea for Rails?

honeybadger.io

devops ruby
1
iOS 18.4 - dlsym considered harmful

synacktiv.com

We first observed the bug in a custom iOS application compiled for the arm64e architecture (thus...
We first observed the bug in a custom iOS application compiled for the arm64e architecture (thus supporting PAC instructions). This application makes use of dynamic symbol resolution for various system functions, by using both dlopen() and dlsym(). dlopen() takes a shared library path as argument and returns a handl...

ios
1