A self-rewriting AI from KAUST revives Jürgen Schmidhuber’s vision of a Gödel Machine
the-decoder.com·2h
🧮Theorem Proving
Flag this post
Compiling a Call to a Block
patshaughnessy.net·18h
🦀Rust Macros
Flag this post
Quindar Tone Generator
curiousmarc.com·20h·
Discuss: Hacker News
⚡Circuit Archaeology
Flag this post
It isn't Easy to Remove the GIL (2007)
artima.com·2d·
Discuss: Hacker News
🦀Rust Macros
Flag this post
A New Faster Algorithm for Gregorian Date Conversion
benjoffe.com·11h·
Discuss: Hacker News, r/cpp
🔤Unicode Normalization
Flag this post
A Prophetic Poem about Artificial Intelligence Written in 1961
rodneybrooks.com·12h·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Flag this post
Bedrock, a modular, WAN-replicated database based on SQLite
bedrockdb.com·2d·
Discuss: Hacker News
🔄Sync Engine
Flag this post
GitHub Announces 'Agent HQ', Letting Copilot Subscribers Run and Manage Coding Agents from Multiple Vendors
developers.slashdot.org·18h
🔓Open Source Software
Flag this post
Making my own PDU
reddit.com·18h·
Discuss: r/homelab
⚙️DIY Electronics
Flag this post
Building the Foundation – SCP Level Design in Leadwerks
leadwerks.com·1h·
Discuss: Hacker News
📟Terminal Physics
Flag this post
Writing an Asciidoc Parser in Rust: Asciidocr
bikesbooksandbullshit.com·1d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Flag this post
Underappreciated Top (2019)
friendo.monster·3d·
Discuss: Hacker News
📟Terminals
Flag this post
Async/Await is finally back in Zig
charlesfonseca.substack.com·2d·
Discuss: Substack
🌊Stream Processing
Flag this post
How to Build an AWS Bedrock Supervisor Agent to Automate EC2 and CloudWatch Tasks
hackernoon.com·1d
🚀Indie Hacking
Flag this post
🚀 Exploring Go’s Core Features in Depth
dev.to·1d·
Discuss: DEV
🏗️Compiler Archaeology
Flag this post
Geonum – geometric number library for unlimited dimensions with O(1) complexity
github.com·4h·
Discuss: Hacker News
💎Information Crystallography
Flag this post
🧠 Soft Architecture (Part B): Emotional Timers and the Code of Care (Part 5 of the SaijinOS series)
dev.to·2d·
Discuss: DEV
🇯🇵Japanese Computing
Flag this post
Good abstractions for humans turn out to be good abstractions for LLMs
betweentheprompts.com·3h·
Discuss: Hacker News
✨Effect Handlers
Flag this post
Why agents do not write most of our code – a reality check
octomind.dev·48m·
Discuss: Hacker News
⚡Proof Automation
Flag this post
Beyond Start and End: PostgreSQL Range Types
boringsql.com·20h·
Discuss: Hacker News
📏Range Queries
Flag this post