🧮 Algebraic Datatypes - matmat · Scour

morganstanley/hobbes: A language and an embedded JIT compiler 💻Programming languages

github.com·3d·Hacker News

Even More Tagged Union Subsets with Comptime 🔠Type-Level Programming

sinclairtarget.com·1d·Lobsters, Hacker News

A beginner-friendly approach to Pratt Parsing 🌳Incremental Parsing

washingtonramos.com·7h·Hacker News

Formal Verification Gates for AI Coding Loops ⚡Proof Automation

reubenbrooks.dev·14h·Hacker News

A second-order product-type implicit-explicit Runge-Kutta method preserving unit length and energy dissipation structures for gradient flows of vector fields 📐Error Bounds

Futhark by Example 📝Concrete Syntax

futhark-lang.org·4d·Hacker News

Hierarchies and Attributes in Taxonomies 🗂️Information Architecture

accidental-taxonomist.blogspot.com·9h·accidental-taxonomist.blogspot.com

F# Weekly #20, 2026 – .NET 11 Preview 4 and SwaggerProvider 4.0 💧Liquid Types

sergeytihon.com·4d

Human Code Reviews are Dead 📏Code Metrics

craftbettersoftware.com·2d·Hacker News, r/webdev

White Coffee ☕Coffee

fontsinuse.com·23h

Desperate to sniff The Super Mario Galaxy Movie? This limited edition scent collection is a sensory delight 📺Retrogaming

·1d

Trump’s Iran War: America Loss Is China’s Win 🇷🇺Russian Computing

theatlantic.com·13h

Less-relevant results

Coding agents that close tickets, end-to-end 🌊Streaming Systems

agentrail.app·1d·Hacker News

You can't whisper at an AI agent 🔒WASM Capabilities

stripe.dev·4d·Hacker News

Inside Reeves’ cost of living plan which could see UK consumers save more than £150 million a year 💰Archive Economics

the-independent.com·7h

MinusPod self-hosted podcast ad remover learns from opt-in crowdsourced patterns 📡RSS

github.com·2d·Hacker News

PyCon US 2026 Typing Summit Recap 💧Liquid Types

bernat.tech·6d·Lobsters, Hacker News

TypeScript Refactoring Interview Questions 🎯Gradual Typing

reactdevelopment.substack.com·5d·Substack

US Demands Pre-Arrival Safety Filings Starting July 8 ⚖️Legal Compliance

ecomcrew.com·3d

purerl/purerl: Erlang backend for the PureScript compiler 🔗Functional Compilers

github.com·1d·Hacker News

Log in to enable infinite scrolling