Home | Notifications | New Note | Local | Federated | Search | Logout

Note Detail

Reply to @sun@shitposter.world
christmas tomato@mischievoustomato@0.5dollah.click (2026-08-16 12:06:34)
@sun @RustyCrab @stacksmash I find that for learning, AI is good. More or less. For nwo I vibecode in stuff I want quickly or wouldn't wanna learn, like Python or webdev.
---Reply---
Blurry Moon@sun@shitposter.world (2026-08-16 12:08:03)
@mischievoustomato @RustyCrab @stacksmash also I have a specific interest in formal verification and Rust should have been made with formal verification in mind but it's bolted on and not great