Home | Notifications | New Note | Local | Federated | Search | Logout
Note Detail
Reply to @sun@shitposter.world
Listens to Baroque while coding murder.exe :newt: @newt@stereophonic.space (2026-09-21 19:15:07)
@sun @waltercool ask me around 2046, if software engineering even survives as an occupation.
But I'd look at hardcore richly typed languages inspired by Rust and Haskell and their progeny. Lean looks promising, for one.
---Reply---
πα©π@bonifartius@noauthority.social (2026-09-21 19:44:41)
@newt @waltercool @sun just go for provers directly. agda2 with special emacs mode to type in the math symbols.
---Attachments---
image: https://static.noauthority.social/media_attachments/files/117/308/618/322/584/964/original/9532397dcc60c5fa.png
Reply
---Replies---
Blurry Moon@sun@shitposter.world (2026-09-21 19:46:04)
@bonifartius @newt @waltercool every now and then I'm reminded that people here are way smarter than me