🔢 Denotational Semantics - matmat · Scour

Cooler Analytics

sethmlarson.dev·1d

When is a bug not a bug?

blog.zarfhome.com·1d

🧪Binary Fuzzing

Claude Code: swarm mode (agent teams)

perrotta.dev·3d

⚡Proof Automation

Fragments: February 9

martinfowler.com·2d

🗣️Domain-Specific Languages

A practical systems engineering guide: Architecting AI-ready infrastructure for the agentic era

thenewstack.io·2d

EdgeQuake: Rust-powered RAG framework for production knowledge graphs

news.ycombinator.com·2d·

Discuss: Hacker News

🦀Rust Borrowing

Object permanence

doctorow.medium.com·1d

🌡️Preservation Physics

Building a Regex Engine with a team of parallel Claudes

lesswrong.com·1d

🔍RegEx Engines

Wider systems for linear logic with fixed points: proof theory and complexity

arxiv.org·14h

📏Linear Logic

An introduction to lockless algorithms [LWN.net]

lwn.net·3d

⚡Hardware Transactional Memory

January 2026 Monthly report | Alternative Rust Compiler for GCC

rust-gcc.github.io·2d·

Discuss: r/rust

🦀Rust Macros

A Human-Centric Framework for Data Attribution in Large Language Models

arxiv.org·14h

📊Learned Metrics

Database Schema as Code Intelligence

dev.to·4d·

Discuss: DEV

🗄️Database Internals

Data Modeling Is Changing

ssp.sh·2d·

Discuss: Hacker News

🔄Schema Evolution

DASL: Web Tiles

dasl.ing·2d·

Discuss: Hacker News

🌐Web Standards

Robots Dream of Agentic Soup - Philip Bennett

punkleadership.com·1d·

Discuss: Hacker News

🔲Cellular Automata

Geometrically Allocated Ads in AI Conversations

june.kim·2d·

Discuss: Hacker News

🧮Kolmogorov Bounds

What Functional Programmers Get Wrong About Systems

iankduncan.com·2d·

Discuss: Lobsters, Hacker News, r/programming

⚖️Verification Calculi

Announcing TypeScript 6.0 Beta

devblogs.microsoft.com·1d·

Discuss: Hacker News, r/javascript, r/programming, r/typescript

🎯Gradual Typing

Introduction to Abject-Oriented Programming (2007)

typicalprogrammer.com·4d·

Discuss: Hacker News

🛠Language Design

Loading more...