Lustre v5.0.0 released (via giacomo_cavalieri) — discussion

#gleam #web

FramePack: Packing input frame context in next-frame prediction models for video generation (via jmillikin) — discussion

#ai

Vendoring (via koala) — discussion

#practices #programming

falsify: Hypothesis-inspired shrinking for Haskell (via sergeyb) — discussion

#haskell #python #testing

Frankenstein’s `__init__` (by ohrv) — discussion

#python

Easters - an adventofcode-like challenge for easter (via Cokemonkey11) — discussion

#event #games #programming #show

Deus Lex Machina: releasing a new compacting Zig tokenizer (via asb) — discussion

#performance #zig

Efficient E-Matching for Super Optimizers (via alichraghi) — discussion

#math #performance #zig

Buried Toggles Begging to be Brought to Light (via calvin) — discussion

#linux

ASK: Open Core and .NET Foundation: Time for Some Introspection? (by pyeri)

#dotnet #windows

Are your channels visible enough? (via susam) — discussion

#culture

System Design of a Cellular APL Computer (via veqq) — discussion

#apl #hardware

pahole: Analysing Memory Layout of Complex Data Structures With Ease (via adsouza) — discussion

#performance

How to make people feel stupid (2008) (via WilhelmVonWeiner) — discussion

#practices

Marching Events: What does iCalendar have to do with ray marching? (via fanf) — discussion

#graphics #rust

15,000 lines of verified cryptography now in Python (via asb) — discussion

#cryptography #python

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