agentultra @agentultra@types.pl
- Pronouns
- He/Him
Haskell, formal methods, Amiga, pointers and allocators. #BLM. https://twitch.tv/agentultra opinions my own. @agentultra on Twitter too.
Joined Apr 2022
agentultra
boosted
"Hi, my name is Julio and it's been 5 days since I did a commit."
Developers Anonymous.
Writing documentation is essential to my engineering process and yet the tools to write said documentation are less than satisfactory... and writing another tool seems like adding to the fire.
agentultra
boosted
How do you fight head-empty fascism, because it's not facts, logic, and policy debate https://www.youtube.com/watch?v=V32P463AR0k
Anyone have ideas for a minimal, practical program or library that would motivate the use of dependent types? I want to extend the Lean 4 hackers’ guide with a fun project that explores the practical application of these types.
I hope all of the proof engineers and researchers employed in the smart contract/cryptoasset/web3 space eventually find good work elsewhere after it all implodes.
I've been saying all crytocurrencies/assets/etc should die in a fire too!
Such great weather this weekend. My sinuses have been too stuffed to enjoy it though. Hooray for living.
agentultra
boosted
The complement of solarpunk, permacomputing, and minimalist computing is the ‘great brickening’.
It is when it will not just be morally necessary to use low powered, old or long-lived computers.
It is when all these new bricked PCs will be unusable, and there will be no other way, except to use permacomputers.
agentultra
boosted
agentultra
boosted
poetry is when
you add line
breaks
and the more lines you
break
the more
poetry
it is
agentultra
boosted
reading this and screaming WHY WOULD YOU ADD ANOTHER TAG SYNTAX TO MARKDOWN YOU CAN ALREADY PUT HTML IN MARKDOWN
agentultra
boosted
Momo; liked that picture of her so much that I took it to post production #cat #notcaturdaydontcare #photography #animals #pet #photography #CreativeToots
I long for the day when I spend a good deal of my time working on proofs and extract programs from them.
But the reality of the industry is that we mostly run things on folklore and capitalism.
agentultra
boosted
'debate' or 'civil discourse' are liberal fantasies which fascists exploit. in actual fact 'debate' is only possible when common premises are accepted and neither side holds social power over the other: neither of these can hold when one side's argument is that minorities should be killed
streaming
Going to be working on the interactive fiction engine on the stream tonight: https://twitch.tv/agentultra 8:10pm EST. #haskell
agentultra
boosted
Coinbase adds new language regarding bankruptcy to its latest quarterly report
agentultra
boosted
Drop Whatever You’re Researching and Start Working on Crypto https://www.sigarch.org/drop-whatever-youre-researching-and-start-working-on-crypto/ | https://lobste.rs/s/crcfev #programming
agentultra
boosted
Things apple would hate to see (unsigned code running on a device)
agentultra
boosted
"rebel girl" by bikini kill is a classic
but i can't hear it without thinking of those times they played a TERF festival
and also, uh... this abomination
- Pronouns
- He/Him
Haskell, formal methods, Amiga, pointers and allocators. #BLM. https://twitch.tv/agentultra opinions my own. @agentultra on Twitter too.
Joined Apr 2022
