A bestiary of single-file programming language implementations
github.com·5h·
Discuss: Hacker News
🔗Concatenative Programming
Flag this post
Research Worth Reading Week 43/2025
pentesterlab.com·4h
🛡️Proof-Carrying Archives
Flag this post
How to Scale LLM Apps Without Exploding Your Cloud Bill
hackernoon.com·5h
📄Text Chunking
Flag this post
How to Decide – Will Your AI App Improve with RAG or Fine-Tuning?
sarthakai.substack.com·39m·
Discuss: Substack
🌀Brotli Internals
Flag this post
Pepsi, when they don't have coke
bitecode.dev·14h
🌀Brotli Internals
Flag this post
How I Crushed Advent of Code And Solved Hard Problems Using Autogen Jupyter Executor and Qwen3
dev.to·1h·
Discuss: DEV
⚙️WASM Runtime
Flag this post
We Programmers Need "Results"
rockyj-blogs.web.app·1d·
Discuss: Hacker News
📜Proof Carrying Code
Flag this post
HigherOrderCO/Bend2
github.com·1d
🔗Functional Compilers
Flag this post
Clojure Runs ONNX AI Models Now - Join the AI fun!
dragan.rocks·10h·
Discuss: Hacker News
🌳Context free grammars
Flag this post
AI Writes 100% of My Code and 0% of My Code
danieljeffries.substack.com·1d·
Discuss: Substack
⚡Proof Automation
Flag this post
Learning Regular Languages with RPNI Algorithm
rahul.gopinath.org·8h·
Discuss: Hacker News
📐Format Grammars
Flag this post
I stopped looking for a single perfect AI coder and combined a web UI and CLI
xor01.substack.com·10h·
Discuss: DEV, Substack
⚔️Lean Tactics
Flag this post
LLMs Are Bottlenecked by Linear Interfaces
handmadeoasis.com·4h·
Discuss: Hacker News
📏Linear Logic
Flag this post
Programming Modern Systems Like It Was 1984 (2014)
prog21.dadgum.com·1d·
Discuss: Lobsters
🔩Systems Programming
Flag this post
The End of Shouting: Prompts as Programs in GPT-5
robert-glaser.de·7h·
Discuss: Lobsters, Hacker News
✓Automated Theorem Proving
Flag this post
Clojure Land – Discover open-source Clojure libraries and frameworks
clojure.land·18h·
Discuss: Hacker News
🧠Lisp Dialects
Flag this post
Large Language Models for Fault Localization: An Empirical Study
arxiv.org·2d
🏗️Compiler Archaeology
Flag this post
Writing a competitive BZip2 encoder in Ada from scratch in a few days - part 4: programming
gautiersblog.blogspot.com·1d·
Discuss: gautiersblog.blogspot.com, Hacker News
📦Deflate
Flag this post
SymSpell C99: Building the Fastest Spell Checker in Pure C
suman-pokhrel.com.np·1d·
Discuss: Hacker News
🌳Trie Structures
Flag this post
Floxy — Lightweight Saga Workflow Engine on Go
reddit.com·5h·
Discuss: r/golang
🔄Sync Engine
Flag this post