febin

Recent Submissions

1. 1. ▲ The Impatient Programmer's Guide to Bevy and Rust: Ch 12 Let There Be Networking (aibodh.com) 1 point · 27 days ago · 0 comments
2. 2. ▲ The Impatient Programmer's Guide to Bevy and Rust: Build a 2D Game from Scratch (aibodh.com) 1 point · 3 months ago · 1 comment
3. 3. ▲ The IP's Guide to Bevy and Rust – Let There Be a World (Procedural Generation) (aibodh.com) 1 point · 7 months ago · 0 comments
4. 4. ▲ AWS Challenges – Verifying the Rust standard library (model-checking.github.io) 2 points · 10 months ago · 0 comments
5. 5. ▲ Practical Cursor Development Patterns: Lessons from Back End Development (aibodh.com) 2 points · 12 months ago · 0 comments
6. 6. ▲ A Comprehensive Survey of the Lean 4 Theorem Prover (arxiv.org) 1 point · 1 year ago · 0 comments
7. 7. ▲ Raphtory – In-memory vectorised graph database written in Rust (github.com) 21 points · 1 year ago · 0 comments
8. 8. ▲ Dusa Programming Language (Finite-Choice Logic Programming) (dusa.rocks) 174 points · 1 year ago · 45 comments
9. 9. ▲ Advancing NeSy AI with Abstract Urban Simulation (jaraxxus-me.github.io) 1 point · 1 year ago · 0 comments
10. 10. ▲ Narrative Construction (katarinagyllenback.com) 3 points · 1 year ago · 0 comments