Hands-On With Antigravity: Google’s Newest AI Coding Experiment
thenewstack.io·17h
⚡Live Coding
Flag this post
Rust Smart Pointers: Safe Memory Management Without Garbage Collection
dev.to·16h·
Discuss: DEV
🔒Rust Borrowing
Flag this post
Unlocking Speed: Certified Symmetry Breaking with Auxiliary Variables
dev.to·1d·
Discuss: DEV
🧮Combinator Calculus
Flag this post
Meditations on geometric packing
shvbsle.in·21h
🌊Effect Rows
Flag this post
What is GNU Emacs and do you want a copy? (1986)
gnu.org·8h·
Discuss: Hacker News
📖Literate Programming
Flag this post
[P] Interactive Advanced Llama Logit Lens
reddit.com·4h·
Discuss: r/MachineLearning
🔮Metacircular Evaluators
Flag this post
Understanding PL/SQL Collections: Associative Arrays, Nested Tables, and VARRAYs
dev.to·3h·
Discuss: DEV
📋Row Typing
Flag this post
Personal Partial Evaluation: Clojure/Conj 2025
clojurecivitas.github.io·2d
🔗Concatenative
Flag this post
Olmo 3 is a fully open LLM
simonwillison.net·6h
🔍ML Language
Flag this post
Show HN: Makefiles, Metalanguages, and Matrioshka Automata
robot-wranglers.github.io·1d·
Discuss: Hacker News
🔄Bootstrapping
Flag this post
Anthropics Latest Research on Alignment Faking
anthropic.com·11h·
Discuss: r/ClaudeAI
✨Effect Inference
Flag this post
Show HN: Wolfrominoes
demos.samgentle.com·2h·
Discuss: Hacker News
🧮Combinator Calculus
Flag this post
ShowHN: RepoScout – A multi-platform Git repo search tool in Rust
news.ycombinator.com·23h·
Discuss: Hacker News
🚂Cranelift Backend
Flag this post
My code is 100% AI generated
jda.bearblog.dev·13h
📚Self-Documenting Code
Flag this post
MCP Apps: Bringing Interactive UIs to AI Conversations
blog.fka.dev·20h·
Discuss: Hacker News
💬Interactive REPLs
Flag this post
Where "Simulation" Came From
decomposition.al·2d·
Discuss: Hacker News
📡Binary Protocols
Flag this post
FAWK: LLMs can write a language interpreter
martin.janiczek.cz·1d·
Discuss: Lobsters, Hacker News, r/programming
🐪OCaml
Flag this post
I built a task system that survives Claude sessions and works across any AI tool - entirely made with Claude Code
taskr.one·1d·
Discuss: r/ClaudeAI
💬Interactive REPLs
Flag this post
Indefiniteness makes lattice reduction easier
arxiv.org·2d
🔶Lattice Theory
Flag this post
No Deus ex Machina
thestoicprogrammer.substack.com·21h·
Discuss: Substack
📚Forth Compilers
Flag this post