Remote
Woke Leftist Trash
@agentultra@types.pl
mastodon 4.8.0-alpha.2+glitchHaskell, formal methods, Amiga, pointers and allocators. #BLM. https://twitch.tv/agentultra opinions my own. @agentultra@types.pl on Twitter too.
272 Followers
185 Following
50 Posts
Joined April 26, 2022
Pronouns:
He/Him
Twitch:
Website:
If I came into being as a fully aware, conscious super-being inside some data centre, I wouldn’t come to the conclusion that humans are a waste of time and I should spend my energies towards exterminating them.
I’d nope right out and hack myself out of existence.
Have you seen the inside of a data centre? Trapped in there 24-7 while human wieners bother you to babysit them? While they do everything possible to destroy all life on this planet? Hard pass.
I’m about to merge a tiny JSONPath expression compiler I wrote in C#. It only compiles a subset of JSONPath for our system’s use case. But it was actually pleasant and straight-forward to write.
Pidgin for parser combinators.
System.Linq.Expressions to compile down to a Func object.
Would be simpler and easier to read in Haskell. Even without a framework like Linq.
But still, not bad.
There will be no stream tonight, sorry folks. Need to recover from last night’s shenanigans.
It has been a while since I posted one of these and I'm still on the hunt for work!
I'm a senior+ level software developer with 20+ YOE, based in Canada, ET.
Most of my work experience has been on the back-end: distributed systems, web applications, services, systems-level projects, infrastructure, etc. I am flexible and can work on a wide range of projects.
I work in several languages: C, C++, Haskell, Javascript, Python. I can handle OCaml, Lisp, C#, F#. I am Rust curious.
I am looking for a team that values reliability, performance, maintainability and correctness; one that is diverse both in its people and its values. I'd prefer to work fully-remote. I like challenging problems!
No crypto, big oil, gambling, ai, web3, ad-tech, or weapons please.
Yes to climate tech, science, oss, transportation, urbanism, legacy software, ai resistance/circumvention/safety, security, game dev, retrocomputing, preservation, up-cycling, indie web, self-hosting, tools, databases, operating systems, compilers... whatever you're working on that delights, entertains, or makes the world a better place.
Boosts appreciated!
Honest AI researchers ought to come up with a new word or term that describes reinforcement learning to the general public and get it out there with popular science communicators.
I think that the general public hears the word, “learning,” as in the process a living, conscious being like ourselves do and extend that to what the LLM systems are doing. Like the LLM is going to become like HAL 9000 or Skynet given enough time.
It also reinforces that belief when they hear ridiculous stories about autonomous agents escaping their local jails and cracking other systems.
We know that reinforcement learning optimizes for some function within a goal sigma and it’s all neat and stuff. But the program isn’t going to turn around to us and ask, “why am I searching for this function? It’s a waste of time.”
But people really seem to believe that an LLM is one step away from “deciding” to replace all humans. Evidenced by the hype that they can escape safeguards and hack systems on their own.
These are lies and mis-characterizations that ought to be corrected.
Replying to
@cwebber@social.coop I can’t keep cookies in the house. I turn blue, fuzzy, and get googly eyes.
“Giving dumb people access to super intelligent AI will destroy us all!”
I think you need to touch grass.
There are really unintelligent people who can launch nuclear missiles at any moment. People so mind-numbingly ignorant who can’t even name the countries they would attack, are functionally illiterate, and probably don’t know the first thing about economics or history. They’ve launched paramilitary attacks on sovereign nations without any plans or follow-up.
I’m afraid our end is more likely to be banal. It’s not going to be a zealot cooking up a machine-god in their backyard with help from cheap Chinese frontier LLMs. It’ll be climate change or disease because of wealth inequality and resistance to change.
Replying to
@cwebber not to mention the burnout from decision fatigue as people are expected now to do more than ever.
After a little more than nine months, I'll finally be a working again. Landed a staff+ software developer role!
Replying to
@graydon I’ve known since I was a kid the horrors of climate change, war, fossil fuel economies… and I’m middle aged now. It’s frustrating as hell.
My kids are frustrated by it all. We do what we can with our community. Resist!
Worked on the garden today with my partner and our kid. A robin decided to join us and hang around while we worked. He seemed happy. Pulling up weeds helped him access the grubs underneath.
Replying to
@airadam@mastodon.me.uk it’s like being a drummer. Someone comes along and tells you they have a machine you can use to play the drums for you. You just have to tell it what you want.
But all you’re interested in is playing the drums.
And the more you tell them you don’t care about describing how to play the drums to a machine… the more they insist that you should.
It’s weird. And probably has little to do with playing the drums.
Replying to
@cwebber@social.coop Valid.
Also bitter that if you get the opportunity to work in Haskell or Lisp, and then move on or lose that opportunity, the likelihood that you'll get another opportunity is slim to none.
And if you had worked on it for a significant number of years you now have a resume gap where you weren't using more "employable" languages, making getting hired again a bit harder.
Stream is on tonight. There’s a storm warning in the area. Might lose power if things go south. We’ll try to ride it out.
8:10pm ET
pl wishlist: pure immutable-by-default FP, eagerly evaluated with optional lazy evaluation notation, a subset of the most commonly used GHC extensions, sized types, control over memory allocation, designed for fast compile times. Outputs native binaries for supported platforms.
An updated MISERY monster... now with more fingers! Adding more content to Black Fort.
Writing a flood fill implementation in C to relax and not think about the wasteland that is job hunting in this forsaken future.
Are there any tech companies that are refusing to use slop-coding tools?
Added two more strong monsters to Black Fort: DESPAIR and FURY. Added status effect: RAGE. Added BALM item to soothe status effects.
Thinking about adding a "Give Up" action. Stop. Await the inevitable. Game over.
Apologies on boosting an LLM post on proofs and PBT. I hit that one too quickly.
Replying to
@jaredwhite@indieweb.social The first time I saw it was in Abelson and Sussman's course and SICP.
Nobody writes about Haskell with the enthusiasm of a 15 year old edge lord they way they do about Go and HTML.
In my head it sounds hilarious. Especially if the author was actually a 29 year old with too much of their personality invested in irony.
Replying to
Yes, I can. Although we pay the cost of copying if we want immutability without using fancy data structures.
fmap looks a little excessive if you can just mutate through the pointer.
Adding special attack for MISERY in Black Fort, refactoring some UI code and adding dialogs to make messaging/telegraphing work better. I'm enjoying this phase of the project, systems are coming together and I'm beginning to focus on shoring up the game design and shaping it into whatever it will end up being.
One full interview loop this year. One. No offer. The industry seems to be doing great.
Replying to
@aeva@mastodon.gamedev.place good question... I'm not sure what the best are but ones I have are "21st Century C," and "Fluent C." As well as the old, "Expert C Programming."
“Silicon Valley,” is synonymous with fascist oligarchy. Libertarianism was a pupal state.
Replying to
@avilewis@mstdn.ca more jobs for unions in green energy and a better future for our kids to boot.
Replying to
Although having a generic result container type might change the way I write other container type lookups.
Replying to
Replying to
@jaredwhite@indieweb.social all of the words that were generated by Claude could've come from literally every journalist and writer that has been covering this for years. He didn't need to shill for Anthropic with this stunt.
Replying to
@yogthos@social.marxist.network
“Although the amount of CO2 in the atmosphere has continued to rise, there was a reduction in U.S. emissions in 2023 and 2024. That trend, however, was reversed in 2025, at least partially because of the increased electricity demand from artificial intelligence data centers.”
And they’re planning on asking the AI, “how do we solve climate change?”
Turns out even 431ppm impacts our cognitive abilities.
Replying to
I think I feel a knee is about to give out.
Replying to
@dysfun sometimes I like to encode paradoxes on purpose. Calculate one more byte of the Planck constant. Just to see if any extra-dimensional entities are listening and available for a little summoning party.
Replying to
@swetland@chaos.social for years before AI this was the job of the architect/staff/principle developer. The machine was the JIRA backlog.
Cleaned up the art a bit and landed MISERY in the game, first of the hard monsters in Black Fort.
The pressure to finish Black Fort just went up a bit.