Programming

falsify: Hypothesis-inspired shrinking for Haskell (www.well-typed.com)
2025-4-19 Haskell

Frankenstein's `__init__` (ohadravid.github.io)
2025-4-19

Easters - an adventofcode-like challenge for easter (easters.dev)
2025-4-19

Deus Lex Machina: releasing a new compacting Zig tokenizer (validark.dev)
2025-4-19

Efficient E-Matching for Super Optimizers (blog.vortan.dev)
2025-4-19

Buried Toggles Begging to be Brought to Light (venam.net)
2025-4-19

Open Core and .NET Foundation: Time for Some Introspection? (lobste.rs)
2025-4-19

Are your channels visible enough? (libera.chat)
2025-4-19

System Design of a Cellular APL Computer (ieeexplore.ieee.org)
2025-4-19

pahole: Analysing Memory Layout of Complex Data Structures With Ease (pramodkumbhar.com)
2025-4-19

My first experience with Bun (blog.bitexpert.de)
2025-4-19

How to make people feel stupid (2008) (nedbatchelder.com)
2025-4-19

Marching Events: What does iCalendar have to do with ray marching? (pwy.io)
2025-4-19

15,000 lines of verified cryptography now in Python (jonathan.protzenko.fr)
2025-4-19 Python

Revisiting an early critique of formal verification (lawrencecpaulson.github.io)
2025-4-19

Permalink to JetBrains announces a free tier for its AI tools (sdtimes.com)
2025-4-19 AI

Permalink to Symbiotic Security launches AI tool for detecting and fixing vulnerabilities in code (sdtimes.com)
2025-4-19 AI InfoSec

Sneak peek: A new ASN.1 API for Python (blog.trailofbits.com)
2025-4-19 Python API

Antithesis driven testing (sqlsync.dev)
2025-4-19

Neovim users: what AI tools are you using? (lobste.rs)
2025-4-19 AI

Easter hack: terraform-provider-openwrt (linderud.dev)
2025-4-19

Common shell script mistakes (www.pixelbeat.org)
2025-4-19 Shell

Image segmentation using Gemini 2.5 (simonwillison.net)
2025-4-18

Four Years of Jai (smarimccarthy.is)
2025-4-18

Microsecond transforms: Building a fast sandbox for user code (blog.sequinstream.com)
2025-4-18

musializer: Music Visualizer (github.com)
2025-4-18

Vibing code quality (jml.io)
2025-4-18

Awesome Consensus: A survey of recent byzantine fault tolerance algorithms (github.com)
2025-4-18 Algorithm

What are you doing this weekend? (lobste.rs)
2025-4-18

Ratatui - Are We Embedded Yet? (jslazak.com)
2025-4-18

Previous Page Next Page