🔗 Concatenative Programming - matmat · Scour

naiveweekly.com·2d

📡RSS Readers

Weekly Bookmarks

inkdroid.org·2d

📚MARC Archaeology

From Features to Actions: Explainability in Traditional and Agentic AI Systems

arxiv.org·1d

🤖AI Curation

SEAL: Symbolic Execution with Separation Logic (Competition Contribution)

arxiv.org·4d

🧠Separation Logic

tkr: Reflecting on my first hobby software project

goodinternetmagazine.com·4d

🦀Rusty Databases

A simple text file beats complex skill systems for AI coding agents

the-decoder.com

·3d

⚡Proof Automation

Why Every R Package Wrapping External Tools Needs a Sitrep() Function

drmowinckels.io·2d·

Discuss: Lobsters, Hacker News

🐚Nordic Shell

java sucks (2000)

jwz.org·6d·

Discuss: Lobsters

🧪Binary Fuzzing

I Built a 6 BIPS JIT in Five Months

unlikelyemphasis.substack.com·4d·

Discuss: Substack

⚙️RISC-V Microcode

Pascal-J/type-system-j: adds an optional type system to J language

github.com·6d·

Discuss: Lobsters

🎯Gradual Typing

Executive Function as Code: using (Doom) Emacs to script my brain

milly.kittycloud.eu·5d·

Discuss: Hacker News, r/selfhosted

🌳Incremental Parsing

Continual learning and the post monolith AI era

baseten.co·3d·

Discuss: Hacker News

📼Tape Combinators

Taming the Flat AST: Ergonomics in the Age of Zero Allocations

modern-c.blogspot.com·6d·

Discuss: Lobsters, Hacker News, r/golang

📝Compiler Design

First Proof | Research-Level Math for AI Evaluation

1stproof.org·4d·

Discuss: Hacker News

🎯Performance Proofs

The Future of Software Engineering

poberezkin.com·1d·

Discuss: Hacker News

💻Programming languages

How StrongDM’s AI team build serious software without even looking at the code

simonwillison.net·2d·

Discuss: Lobsters, Hacker News

⚔️Lean Tactics

Go 1.22, SQLite, and Next.js: The "Boring" Back End

mohammedeabdelaziz.github.io·3d·

Discuss: Hacker News

🌊Streaming Databases

libfirm/cparser: C99 parser and frontend for libfirm

github.com·5d·

Discuss: Hacker News

🔓Decompilation

After the Compiler Writes Itself: The Human Skills That Still Matter

dev.to·3d·

Discuss: DEV

📏Code Metrics

I Built a RAG Application from Scratch - Here's the Real Cost and Performance Data

dev.to·2d·

Discuss: DEV

🌀Brotli Internals

Loading more...