Revisiting an early critique of formal verification (via hwayne) — discussion

#formalmethods #historical

ASK: Neovim users: what AI tools are you using? (by statusfailed)

#ai #ask #editors #vim

Sneak peek: A new ASN.1 API for Python (via jmillikin) — discussion

#python #security

Antithesis driven testing (via av) — discussion

#distributed #testing

Common shell script mistakes (via Aks) — discussion

#programming

Image segmentation using Gemini 2.5 (by simonw) — discussion

#ai

Easter hack: terraform-provider-openwrt (by Foxboron) — discussion

#devops #linux

The Mozilla I want focus on people and not AI (by SoapDog) — discussion

#browsers #web

Four Years of Jai (via rcalixte) — discussion

#plt

Microsecond transforms: Building a fast sandbox for user code (by acco) — discussion

#api #elixir #lua #virtualization #wasm

musializer: Music Visualizer (via runxiyu) — discussion

#visualization

ASK: What are you doing this weekend? (by caius)

#ask #programming

Awesome Consensus: A survey of recent byzantine fault tolerance algorithms (via statusfailed) — discussion

#distributed

Vibing code quality (via adm) — discussion

#ai #javascript

Ratatui - Are We Embedded Yet? (via orhun) — discussion

#rust #show

Why I Cannot Be Technical (via Sietsebb) — discussion

#culture

Exacerbating Cross-Site Scripting: The Iframe Sandwich (via freddyb) — discussion

#security #web

olive.c: Simple 2D Graphics Library for C (via runxiyu) — discussion

#c #graphics

Lockless Programming Considerations for Xbox 360 and Microsoft Windows (2012) (via aminom) — discussion

#c++ #windows

Using ~/.ssh/authorized keys to decide what the incoming connection can do (via raymii) — discussion

#linux #security