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 youtube.com/watch?v=V32P463AR0

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.

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

markdoc.io/docs/syntax

agentultra boosted

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

agentultra boosted

streaming 

Going to be working on the interactive fiction engine on the stream tonight: twitch.tv/agentultra 8:10pm EST.

agentultra boosted
agentultra boosted
agentultra boosted
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

youtube.com/watch?v=vLGFyxAP0Q

Show older
types.pl

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.