VeriNum: Formally Verified Numerical Methods (via sanxiyn) — discussion

#formalmethods

Range Over Function Types (via adaszko) — discussion

#go

Fixing a fifteen-year-old curve fit bug (via domm) — discussion

#debugging #perl

uv: Unified Python packaging (via WeetHet) — discussion

#python

A standard for straightforward integration and compilation of C projects (via aziis98) — discussion

#c #c++ #practices

Building a serial connection for Home Assistant to a 2000 Baytech RPC2 PDU (via colindean) — discussion

#hardware #reversing

Meilisearch is too slow (by kerollmops) — discussion

#rust

Understanding workload models (via hyperpape) — discussion

#performance

FauxRPC: Easily turn protobufs into fake gRPC, gRPC-Web, Connect, and REST services (by sudorandom) — discussion

#api #go #programming

What's the big deal about Deterministic Simulation Testing? (by eatonphil) — discussion

#databases #distributed #testing

Objective-C is just, like, a leaky abstraction over C (via mpweiher) — discussion

#objectivec

It's not simple to add function keyword arguments to Go (via iv) — discussion

#go #plt

VS Code Obsolescence (by riastrad) — discussion

#programming

Serena: An experimental operating system for 32bit Amiga computers (via lproven) — discussion

#osdev

FreeBSD 2024 Q2 Status Report (via vermaden) — discussion

#freebsd

typescript-sudoku: Playing Sudoku in TypeScript while the type checker highlights mistakes (via linkdd) — discussion

#programming

Phrack Magazine Issue 71 (via lattera) — discussion

#security

Let's Write A Reverb (2021) (via indigo) — discussion

#programming

Emacs: ‘ef-eagle’ and ‘ef-owl’ are added to the ‘ef-themes’ (via lygaret) — discussion

#emacs

Software Possession for Personal Use (via epidemian) — discussion

#practices