DeepQuali: Determining Software Quality with AI
blog.qaware.de·52m·
Discuss: Hacker News
📏Code Metrics
Macroexpand-Deep 2025 – the first Clojure AI conference
scicloj.github.io·2d·
Discuss: Hacker News
🦀Rust Macros
Codeminer42 Dev Weekly #76
blog.codeminer42.com·2d
🔄Language Evolution
Ollama Feature Parity for ACP
github.com·17h·
Discuss: Hacker News
🔓Open Source Software
Micro DSLs for scenario tests with Rust macros
dystroy.org·1d
🦀Rust Macros
Abstract Machine Models Also: what Rust got particularly right
dr-knz.net·1d·
Discuss: Hacker News
🔩Systems Programming
Incremental query updating in adhesive categories
topos.institute·17h
🔗Combinatory Logic
Baby's first type checker
austinhenley.com·13h·
Discuss: Lobsters, Hacker News
🔤Type Theory
Using LLMs for Intel Processor Code Trace Analysis
alansguigna.com·2d·
Discuss: Hacker News
🔩Systems Programming
Quirks of Common Lisp Types
fosskers.ca·1d·
Discuss: Lobsters, Hacker News
🧠Lisp Dialects
Tinyrenderer second edition: software rendering in 500 lines of bare C++
haqr.eu·1d·
Discuss: Hacker News, r/programming
📟Terminal Physics
A type system for RCL (2024)
ruudvanasseldonk.com·1d·
Discuss: Lobsters, Hacker News
💧Liquid Types
AMD MI300X for LLM Serving Disaggregating Prefill and Decode with SGLang
rocm.blogs.amd.com·3d·
Discuss: Hacker News
🌊Streaming Compression
Why AI Alone Fails at Large-Scale Code Modernization
thenewstack.io·1d
🔄Language Evolution
Daniel Jackson on WYSIWID: Rethinking software structure to enable LLM coding
essenceofsoftware.com·17h·
Discuss: Hacker News
🔄Language Evolution
Antonio Cuni: Porting the JIT to CLI (part 1)
antocuni.eu·2d
📏Code Metrics
This Page Is a Quine
pranavg.me·21h·
Discuss: Hacker News
🔤Type Theory
Mojo Roadmap Document
docs.modular.com·2d·
Discuss: Hacker News
💻Programming languages
Compiling Dinner
gist.github.com·3d·
Discuss: Hacker News
🔨Compilers
Every Implementable Algorithm Is Extensionally a Lookup Table
table.dk.workers.dev·10h·
Discuss: Hacker News
🔍Type Inference