febin
- Karma
- 2,710
- Created
- 10 years ago
About
twitter.com/@heyfebin https://www.linkedin.com/in/febinjohnjames/Recent Submissions
- 1. ▲ The IP's Guide to Bevy and Rust – Let There Be a World (Procedural Generation) (aibodh.com)
- 2. ▲ AWS Challenges – Verifying the Rust standard library (model-checking.github.io)
- 3. ▲ Practical Cursor Development Patterns: Lessons from Back End Development (aibodh.com)
- 4. ▲ A Comprehensive Survey of the Lean 4 Theorem Prover (arxiv.org)
- 5. ▲ Raphtory – In-memory vectorised graph database written in Rust (github.com)
- 6. ▲ Dusa Programming Language (Finite-Choice Logic Programming) (dusa.rocks)
- 7. ▲ Advancing NeSy AI with Abstract Urban Simulation (jaraxxus-me.github.io)
- 8. ▲ Narrative Construction (katarinagyllenback.com)
- 9. ▲ Game Programming in Prolog (thingspool.net)
- 10. ▲ Opportunities for Tech Startups in the Legal Industry (medium.com)