TheMaxus
@themaxus.dev
🇫🇮 Black metal and black coffee enjoyer, BSc in software engineering, ham radio operator (OH5COB) and armchair philosopher.
he/him
https://purelysymbolic.fi/
he/him
https://purelysymbolic.fi/
IBM Plex feels to corporate for my taste. I wonder why...
October 20, 2025 at 3:28 PM
IBM Plex feels to corporate for my taste. I wonder why...
Tuon perusteella pakko suositella Bertrand Russellin esseekokoelmaa Filosofiaa jokamiehelle
August 21, 2025 at 5:01 PM
Tuon perusteella pakko suositella Bertrand Russellin esseekokoelmaa Filosofiaa jokamiehelle
Ah yes, the elixir of life
August 21, 2025 at 1:04 PM
Ah yes, the elixir of life
I should try Lean someday, as I'm currently only somewhat familiar with Coq/Rocq. Lean syntax seems similar to Rocq so I hope it wouldn't be that hard to pick it up
August 20, 2025 at 4:49 AM
I should try Lean someday, as I'm currently only somewhat familiar with Coq/Rocq. Lean syntax seems similar to Rocq so I hope it wouldn't be that hard to pick it up
Wdym emacs is just a lisp interpreter with some extra features
August 20, 2025 at 4:42 AM
Wdym emacs is just a lisp interpreter with some extra features
That's also what I understood about original Fallout writing. You don't need to tell everything. If you hint at things, but never fully explain them, the mind can imagine the rest. It makes the world feel a lot bigger than it's actually presented in the game.
August 10, 2025 at 9:00 AM
That's also what I understood about original Fallout writing. You don't need to tell everything. If you hint at things, but never fully explain them, the mind can imagine the rest. It makes the world feel a lot bigger than it's actually presented in the game.