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

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