A self-rewriting AI from KAUST revives Jürgen Schmidhuber’s vision of a Gödel Machine
the-decoder.com·4h
🎭Program Synthesis
Flag this post
Giveaway Week 2025 – M5Stack Tab5 ESP32-P4 IoT devkit
cnx-software.com·17h
🔄Nanopass
Flag this post
Claude Skills Market
skillsmp.com·11h·
Discuss: Hacker News
💬Interactive REPLs
Flag this post
When mice meet Beethoven: How early sound shapes the brain differently for males and females
medicalxpress.com·5h
Effect Inference
Flag this post
Frozen in Place
economics.bmo.com·2h·
Discuss: Hacker News
🔄Subinterpreters
Flag this post
Polish emerges as top language in multilingual AI benchmark testing
ppc.land·1d
Tokenizer Benchmarks
Flag this post
Student trust in AI coding tools grows briefly, then levels off with experience
techxplore.com·3h
🎮Language Ergonomics
Flag this post
Next steps for Cartesian Tutor
moderndescartes.com·15h
Live Programming
Flag this post
Why Engineers Can't Be Rational About Programming Languages
spf13.com·6h·
Discuss: Hacker News
🥾Bootstrapping Strategies
Flag this post
C++ is my first programming language
reddit.com·3d·
Discuss: r/cpp
🎓Teaching Compilers
Flag this post
Smaller Surfaces
nrempel.com·1d·
Discuss: Hacker News
🥾Bootstrapping Strategies
Flag this post
The Pursuit of Good Writing & Affinity is now completely free
creativerly.com·1h
🏠indieweb
Flag this post
Qwen3 VL 30b a3b is pure love
reddit.com·1d·
Discuss: r/LocalLLaMA
💬Smalltalk VMs
Flag this post
Show HN: Mach, a new systems language that focuses on being simple and explicit
github.com·3d·
Discuss: Hacker News
🎭Racket Modules
Flag this post
Got tired of tracking meals in ChatGPT, built my own calorie tracker instead
github.com·2h·
Discuss: r/selfhosted
🌙Lua
Flag this post
Reasoning Models Sometimes Output Illegible Chains of Thought
arxiv.org·15h
🪜Recursive Descent
Flag this post
Recording My Experiments in Spec-Driven Development
dev.to·1h·
Discuss: DEV
📚Self-Documenting Code
Flag this post
OP-TEE on the Raspberry Pi 5
github.com·2h·
Discuss: r/embedded
🏗️Cranelift
Flag this post
Protest: An ergonomic, powerful, and feature-rich property testing library with minimal boilerplate.
reddit.com·2d·
Discuss: r/rust
🔒Rust Borrowing
Flag this post
Using GNU toolchain for Windows kernel-mode drivers
dev.to·15h·
Discuss: DEV
🔗Language Toolchains
Flag this post