wazHFsRy
- Karma
- 238
- Created
- 7 years ago
Recent Submissions
- 1. ▲ Don't Embarrass Me, Claude (dev-log.me)
- 2. ▲ Show HN: Fly a nano-drone from your terminal (Rust TUI) (github.com)
- 3. ▲ Verifying Rust Programs (github.com)
- 4. ▲ The Usefulness of AI Agents (erikjohannes.no)
- 5. ▲ Formal Verification in Any Language for Everybody (lean 4) (dev-log.me)
- 6. ▲ Visualisation of the Artemis Mission (German) (zeit.de)