Elektrine
Log in Register
Paige Chat Timeline Gallery Friends Email Drive DNS Private DNS Domains VPN Kairo Nerve
Remote

Woke Leftist Trash

@agentultra@types.pl
mastodon 4.8.0-alpha.2+glitch
  • Open on types.pl

Haskell, 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:
https://twitch.tv/agentultra
YouTube:
https://www.youtube.com/channel/UCg4RIhvLDjiAzMmWgdcMG1g
Website:
https://agentultra.com
Open post
Woke Leftist Trash @agentultra@types.pl
· 3w ago

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.

4
0
0
0
Open post
Woke Leftist Trash @agentultra@types.pl
· 3w ago

Just replacing malloc with my own allocators just because. I managed to get the decoration system started in Black Fort and am working on integrating it into the procgen.

It’s just that the dang malloc calls mock me every time I see them. So I’m entertaining the distraction.

#gamedev #indiedev

types.pl

types.pl

4
0
0
0
Open post
Woke Leftist Trash @agentultra@types.pl
· 4w ago

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.

#csharp #haskell

types.pl

types.pl

3
1
1
0
Open post
Woke Leftist Trash @agentultra@types.pl
· 4w ago

There will be no stream tonight, sorry folks. Need to recover from last night’s shenanigans.

#haskell

types.pl

types.pl

2
0
0
0
Open post
Woke Leftist Trash @agentultra@types.pl
· 3w ago

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.

1
0
0
0
Open post
Woke Leftist Trash @agentultra@types.pl
· 4mo ago

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!

#GetFediHired #FediHire

types.pl
21
1
93
0
Open post
Woke Leftist Trash @agentultra@types.pl
· 5mo ago
Replying to
@cwebber@social.coop I can’t keep cookies in the house. I turn blue, fuzzy, and get googly eyes.
20
1
2
0
Open post
Woke Leftist Trash @agentultra@types.pl
· 4w ago

“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.

1
0
1
0
Open post
Woke Leftist Trash @agentultra@types.pl
· 5mo ago
Replying to
@cwebber not to mention the burnout from decision fatigue as people are expected now to do more than ever.
9
0
5
0
Open post
Woke Leftist Trash @agentultra@types.pl
· 4mo ago

After a little more than nine months, I'll finally be a working again. Landed a staff+ software developer role!

7
2
0
0
Open post
Woke Leftist Trash @agentultra@types.pl
· 5mo ago
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!
4
0
1
0
Open post
Woke Leftist Trash @agentultra@types.pl
· 4mo ago

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

https://twitch.tv/agentultra

twitch.tv
2
0
1
0
Open post
Woke Leftist Trash @agentultra@types.pl
· 4mo ago

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.

2
0
0
0
Open post
Woke Leftist Trash @agentultra@types.pl
· 5mo ago
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.
3
0
0
0
Open post
Woke Leftist Trash @agentultra@types.pl
· 5mo ago

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.

2
0
0
0
Open post
Woke Leftist Trash @agentultra@types.pl
· 5mo ago

An updated MISERY monster... now with more fingers! Adding more content to Black Fort.

#gamedev

types.pl

types.pl

2
0
1
0
Open post
Woke Leftist Trash @agentultra@types.pl
· 5mo ago
Replying to
@cwebber i think it's the smugness and surety that's most off-putting.
2
2
0
0
Open post
Woke Leftist Trash @agentultra@types.pl
· 5mo ago

Writing a flood fill implementation in C to relax and not think about the wasteland that is job hunting in this forsaken future.

2
0
0
0
Open post
Woke Leftist Trash @agentultra@types.pl
· 5mo ago

Are there any tech companies that are refusing to use slop-coding tools?

2
4
0
0
Open post
Woke Leftist Trash @agentultra@types.pl
· 5mo ago
Replying to
@aeva@mastodon.gamedev.place @cwebber@social.coop the compile times are nice over here!
2
2
0
0
Open post
Woke Leftist Trash @agentultra@types.pl
· 4mo ago

Going to start up the stream and work on my game, Black Fort. Working on some pixel art, programming, and game design.

https://twitch.tv/agentultra

#gamedev #raylib #c #aseprite

twitch.tv
1
0
0
0
Open post
Woke Leftist Trash @agentultra@types.pl
· 4mo ago

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.

#gamedev

types.pl

types.pl

1
0
0
0
Open post
Woke Leftist Trash @agentultra@types.pl
· 4mo ago

Apologies on boosting an LLM post on proofs and PBT. I hit that one too quickly.

1
0
0
0
Open post
Woke Leftist Trash @agentultra@types.pl
· 4mo ago
Replying to
@jaredwhite@indieweb.social The first time I saw it was in Abelson and Sussman's course and SICP.
1
0
0
0
Open post
Woke Leftist Trash @agentultra@types.pl
· 5mo ago

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.

1
5
0
0
Open post
Woke Leftist Trash @agentultra@types.pl
· 5mo ago
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.

1
2
0
0
Open post
Woke Leftist Trash @agentultra@types.pl
· 5mo ago

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.

#gamedev

types.pl

types.pl

1
0
0
0
Open post
Woke Leftist Trash @agentultra@types.pl
· 5mo ago
Replying to
@filmfileuk Paprika perhaps.
1
0
0
0
Open post
Woke Leftist Trash @agentultra@types.pl
· 5mo ago

One full interview loop this year. One. No offer. The industry seems to be doing great.

1
0
0
0
Open post
Woke Leftist Trash @agentultra@types.pl
· 5mo ago
Replying to
@dysfun guess I can drop plfa 🙄
1
5
0
0
Open post
Woke Leftist Trash @agentultra@types.pl
· 5mo ago
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."
1
0
0
0
Open post
Woke Leftist Trash @agentultra@types.pl
· 5mo ago
Replying to
@aeva@mastodon.gamedev.place @cwebber@social.coop join usssssss.....
1
3
0
0
Open post
Woke Leftist Trash @agentultra@types.pl
· 6mo ago
Replying to
@aeva hell yeah
1
0
0
0
Open post
Woke Leftist Trash @agentultra@types.pl
· 6mo ago
Replying to
@bgtdsword ther will be soon. I’m going to put up a page on itch.io once I have something resembling a serviceable demo. 😇
1
0
0
0
Open post
Woke Leftist Trash @agentultra@types.pl
· 6mo ago

Alrighty, progress on the merchant UI. Merchants have inventories. I added some icons for the items in game. The merchant event dialog displays the inventory in a neat little grid.

Didn't make any progress yesterday... just had time to apply for jobs and pass out for the afternoon as I wasn't feeling well.

Much better today though!

#gamedev

types.pl

types.pl

1
2
0
0
Open post
Woke Leftist Trash @agentultra@types.pl
· 4mo ago
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.
0
0
0
0
Open post
Woke Leftist Trash @agentultra@types.pl
· 5mo ago
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.
0
0
0
0
Open post
Woke Leftist Trash @agentultra@types.pl
· 5mo ago
Replying to
Although having a generic result container type might change the way I write other container type lookups.
0
0
0
0
Open post
Woke Leftist Trash @agentultra@types.pl
· 4mo ago

The pressure to finish Black Fort just went up a bit.

0
0
0
0
Open post
Woke Leftist Trash @agentultra@types.pl
· 5mo ago
Replying to
@hugoestr @cwebber they inevitably end up with the power-tool analogy and that's when I exit the conversation. a table saw doesn't generate two independent pieces of wood. and it wouldn't make wood workers more productive if it did so: they'd have to measure and inspect each piece on every cut.
0
0
0
0
Open post
Woke Leftist Trash @agentultra@types.pl
· 5mo ago
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.
0
3
0
0
Open post
Woke Leftist Trash @agentultra@types.pl
· 5mo ago
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.
0
2
0
0
Open post
Woke Leftist Trash @agentultra@types.pl
· 5mo ago

Cleaned up the art a bit and landed MISERY in the game, first of the hard monsters in Black Fort.

#gamedev

types.pl

types.pl

0
0
0
0
Open post
Woke Leftist Trash @agentultra@types.pl
· 5mo ago
Replying to
@dysfun seems like all of the proof assistants I know of are on the LLM hype train now
0
1
0
0
Open post
Woke Leftist Trash @agentultra@types.pl
· 5mo ago

“Silicon Valley,” is synonymous with fascist oligarchy. Libertarianism was a pupal state.

0
0
0
0
Open post
Woke Leftist Trash @agentultra@types.pl
· 3mo ago
Replying to
@avilewis@mstdn.ca more jobs for unions in green energy and a better future for our kids to boot.
0
0
1
0
Open post
Woke Leftist Trash @agentultra@types.pl
· 5mo ago
Replying to
I think I feel a knee is about to give out.
0
0
0
0
Back
313k7r1n3
Elektrine

Tor hidden service

elekhj7afj4qnrr4yd3bkzslsyo5jgfxw3orgjkhlcxifueodybyiiad.onion

I2P eepsite

j6b6cyk6gjmepjih7jjadxgxvvf3lzzujljuu2v4biemzpg3naya.b32.i2p

Platform

  • Email
  • Chat
  • Timeline
  • VPN
  • DNS

Company

  • About
  • Contact
  • FAQ
  • Lite (no JS)

Legal

  • Terms of Service
  • Privacy Policy
  • Transparency Report
  • Report Abuse
  • Warrant Canary
  • VPN Policy

Support

  • support@elektrine.com
  • Report Security Issue
Mail client setup IMAP mail.elektrine.com:993 POP3 mail.elektrine.com:995 SMTP mail.elektrine.com:465
© 2026 Elektrine. All rights reserved. Server: 07:50:46 UTC