🔮 Lisp Interpreters - abnv · Scour

AI Code’s Logic Can Now Be Checked From Within, Bypassing External Tests

quantumzeitgeist.com·21h

🎭Program Synthesis

The Mechanics of Autonomous Software Translation

alperenkeles.com·1d

🚀Code Motion

Quick Stack Tiedown

artlu.bearblog.dev·15h

🚂Cranelift IR

Bringing a jewel-encrusted warhammer to a knife fight

reorchestrate.com·14h·

Discuss: Hacker News, r/rust

Building a Regex Engine with a team of parallel Claudes

lesswrong.com·1d

🔤Regex Engines

Opus 4.6 Reasoning Distill 3k prompts

huggingface.co·2d·

Discuss: r/LocalLLaMA

🧩Constraint Solvers

Is this const str concat macro cursed or blessed?

docs.rs·20h·

Discuss: r/rust

🦀Rust Macros

Structured Prompting for LLMs: From Raw Text to XML

pub.towardsai.net

·6h

💬Interactive REPLs

PromptもFine-tuningも不要なLLM出力言語の制御手法｜はち

note.com·1h

💬Interactive REPLs

LLM Performance in Astro, React, Tailwind and Cloudflare

10xbench.ai·1d·

Discuss: Hacker News

Why am I learning Clojure Script?

clojure-diary.gitlab.io·1d

Large Language Models for Mortals book released

crimede-coder.com·1d·

Discuss: Hacker News

Lean 4 and the Curry–Howard correspondence

wildonblog.wordpress.com·2d

📜Proof Languages

amirouche/seed: Adding `vau` with an immutable dynamic environment to Chez Scheme

github.com·2d·

Discuss: Hacker News

🔧Scheme Macros

Package-Inferred Systems are Dangerous

aartaka.me·1d

⚙️TOML Parsers

Gillian Debugging: Swinging Through the (Compositional Symbolic Execution) Trees, Extended Version

arxiv.org·2d

🎯Symbolic Execution

From 34% to 96%: The Porting Initiative Delivers

hologram.page·11h·

Discuss: Hacker News

🪆Embedded DSLs

Garnix Blog: Forwardly-evaluated build systems

garnix.io·22h·

Discuss: Lobsters, Hacker News

💾Caching Compilers

Domain Specific Languages

martinfowler.com·1d

🎨Domain-Specific Languages

The Secret Life of Go: Concurrency Patterns

dev.to·3h·

Discuss: DEV

🐹Go Internals

Loading more...