Elektrine
EN
Log in Register
Paige Chat Timeline Communities Gallery Videos Email DNS VPN Uptime Kairo
Back to Timeline
Remote

Woke Leftist Trash

@agentultra@types.pl
mastodon 4.7.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.

0 Followers
0 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

Posts

Open post
agentultra
Woke Leftist Trash @agentultra@types.pl · May 22, 2026
Woke Leftist Trash
@agentultra@types.pl

Haskell, formal methods, Amiga, pointers and allocators. #BLM. https://twitch.tv/agentultra opinions my own. @agentultra on Twitter too.

types.pl

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

1
0
0
0
Open post
agentultra
Woke Leftist Trash @agentultra@types.pl · May 20, 2026
Woke Leftist Trash
@agentultra@types.pl

Haskell, formal methods, Amiga, pointers and allocators. #BLM. https://twitch.tv/agentultra opinions my own. @agentultra on Twitter too.

types.pl

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

1
0
0
0
Open post
agentultra
Woke Leftist Trash @agentultra@types.pl · May 20, 2026
Woke Leftist Trash
@agentultra@types.pl

Haskell, formal methods, Amiga, pointers and allocators. #BLM. https://twitch.tv/agentultra opinions my own. @agentultra on Twitter too.

types.pl

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

0
0
0
0
Open post
agentultra
Woke Leftist Trash @agentultra@types.pl · May 20, 2026
Woke Leftist Trash
@agentultra@types.pl

Haskell, formal methods, Amiga, pointers and allocators. #BLM. https://twitch.tv/agentultra opinions my own. @agentultra on Twitter too.

types.pl

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
agentultra
Woke Leftist Trash @agentultra@types.pl · May 19, 2026
Woke Leftist Trash
@agentultra@types.pl

Haskell, formal methods, Amiga, pointers and allocators. #BLM. https://twitch.tv/agentultra opinions my own. @agentultra on Twitter too.

types.pl

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

2
0
1
0
Open post
agentultra
Woke Leftist Trash @agentultra@types.pl · May 19, 2026
Woke Leftist Trash
@agentultra@types.pl

Haskell, formal methods, Amiga, pointers and allocators. #BLM. https://twitch.tv/agentultra opinions my own. @agentultra on Twitter too.

types.pl

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

1
0
0
0
Open post
agentultra
Woke Leftist Trash @agentultra@types.pl · May 19, 2026
Woke Leftist Trash
@agentultra@types.pl

Haskell, formal methods, Amiga, pointers and allocators. #BLM. https://twitch.tv/agentultra opinions my own. @agentultra on Twitter too.

types.pl

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
agentultra
Woke Leftist Trash @agentultra@types.pl · May 12, 2026
Woke Leftist Trash
@agentultra@types.pl

Haskell, formal methods, Amiga, pointers and allocators. #BLM. https://twitch.tv/agentultra opinions my own. @agentultra on Twitter too.

types.pl
Replying to @jaredwhite@indieweb.social
@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
agentultra
Woke Leftist Trash @agentultra@types.pl · May 12, 2026
Woke Leftist Trash
@agentultra@types.pl

Haskell, formal methods, Amiga, pointers and allocators. #BLM. https://twitch.tv/agentultra opinions my own. @agentultra on Twitter too.

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

Haskell, formal methods, Amiga, pointers and allocators. #BLM. https://twitch.tv/agentultra opinions my own. @agentultra on Twitter too.

types.pl

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

21
1
93
0
Open post
agentultra
Woke Leftist Trash @agentultra@types.pl · May 10, 2026
Woke Leftist Trash
@agentultra@types.pl

Haskell, formal methods, Amiga, pointers and allocators. #BLM. https://twitch.tv/agentultra opinions my own. @agentultra on Twitter too.

types.pl

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
agentultra
Woke Leftist Trash @agentultra@types.pl · May 09, 2026
Woke Leftist Trash
@agentultra@types.pl

Haskell, formal methods, Amiga, pointers and allocators. #BLM. https://twitch.tv/agentultra opinions my own. @agentultra on Twitter too.

types.pl
Replying to @agentultra@types.pl
Although having a generic result container type might change the way I write other container type lookups.
0
0
0
0
Open post
agentultra
Woke Leftist Trash @agentultra@types.pl · May 09, 2026
Woke Leftist Trash
@agentultra@types.pl

Haskell, formal methods, Amiga, pointers and allocators. #BLM. https://twitch.tv/agentultra opinions my own. @agentultra on Twitter too.

types.pl

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
agentultra
Woke Leftist Trash @agentultra@types.pl · May 09, 2026
Woke Leftist Trash
@agentultra@types.pl

Haskell, formal methods, Amiga, pointers and allocators. #BLM. https://twitch.tv/agentultra opinions my own. @agentultra on Twitter too.

types.pl
Replying to @agentultra@types.pl

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
agentultra
Woke Leftist Trash @agentultra@types.pl · May 09, 2026
Woke Leftist Trash
@agentultra@types.pl

Haskell, formal methods, Amiga, pointers and allocators. #BLM. https://twitch.tv/agentultra opinions my own. @agentultra on Twitter too.

types.pl
Replying to @agentultra@types.pl
I lie, it's not coffee. Mushroom tea. I can't do caffeine anymore. Gives me crippling anxiety.
1
0
0
0
Open post
agentultra
Woke Leftist Trash @agentultra@types.pl · May 09, 2026
Woke Leftist Trash
@agentultra@types.pl

Haskell, formal methods, Amiga, pointers and allocators. #BLM. https://twitch.tv/agentultra opinions my own. @agentultra on Twitter too.

types.pl

"Can I write a generic `Maybe` container in C and give it functor methods?"

A Saturday morning coffee thought and spontaneous coding session.

2
7
0
0
Open post
agentultra
Woke Leftist Trash @agentultra@types.pl · May 08, 2026
Woke Leftist Trash
@agentultra@types.pl

Haskell, formal methods, Amiga, pointers and allocators. #BLM. https://twitch.tv/agentultra opinions my own. @agentultra on Twitter too.

types.pl

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

1
0
0
0
Open post
agentultra
Woke Leftist Trash @agentultra@types.pl · May 07, 2026
Woke Leftist Trash
@agentultra@types.pl

Haskell, formal methods, Amiga, pointers and allocators. #BLM. https://twitch.tv/agentultra opinions my own. @agentultra on Twitter too.

types.pl

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

#gamedev

0
0
0
0
Open post
agentultra
Woke Leftist Trash @agentultra@types.pl · May 07, 2026
Woke Leftist Trash
@agentultra@types.pl

Haskell, formal methods, Amiga, pointers and allocators. #BLM. https://twitch.tv/agentultra opinions my own. @agentultra on Twitter too.

types.pl

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

#gamedev

2
0
1
0
Open post
agentultra
Woke Leftist Trash @agentultra@types.pl · May 07, 2026
Woke Leftist Trash
@agentultra@types.pl

Haskell, formal methods, Amiga, pointers and allocators. #BLM. https://twitch.tv/agentultra opinions my own. @agentultra on Twitter too.

types.pl
Replying to @yogthos@social.marxist.network
@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
agentultra
Woke Leftist Trash @agentultra@types.pl · May 07, 2026
Woke Leftist Trash
@agentultra@types.pl

Haskell, formal methods, Amiga, pointers and allocators. #BLM. https://twitch.tv/agentultra opinions my own. @agentultra on Twitter too.

types.pl
Replying to @cwebber@social.coop
@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
agentultra
Woke Leftist Trash @agentultra@types.pl · May 06, 2026
Woke Leftist Trash
@agentultra@types.pl

Haskell, formal methods, Amiga, pointers and allocators. #BLM. https://twitch.tv/agentultra opinions my own. @agentultra on Twitter too.

types.pl
Replying to @cwebber@social.coop
@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
agentultra
Woke Leftist Trash @agentultra@types.pl · May 04, 2026
Woke Leftist Trash
@agentultra@types.pl

Haskell, formal methods, Amiga, pointers and allocators. #BLM. https://twitch.tv/agentultra opinions my own. @agentultra on Twitter too.

types.pl
Replying to @swetland@chaos.social
@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
agentultra
Woke Leftist Trash @agentultra@types.pl · Apr 27, 2026
Woke Leftist Trash
@agentultra@types.pl

Haskell, formal methods, Amiga, pointers and allocators. #BLM. https://twitch.tv/agentultra opinions my own. @agentultra on Twitter too.

types.pl
Replying to @hugoestr@functional.cafe
@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
agentultra
Woke Leftist Trash @agentultra@types.pl · Apr 27, 2026
Woke Leftist Trash
@agentultra@types.pl

Haskell, formal methods, Amiga, pointers and allocators. #BLM. https://twitch.tv/agentultra opinions my own. @agentultra on Twitter too.

types.pl
Replying to @cwebber@social.coop
@cwebber i think it's the smugness and surety that's most off-putting.
2
2
0
0
Open post
agentultra
Woke Leftist Trash @agentultra@types.pl · Apr 22, 2026
Woke Leftist Trash
@agentultra@types.pl

Haskell, formal methods, Amiga, pointers and allocators. #BLM. https://twitch.tv/agentultra opinions my own. @agentultra on Twitter too.

types.pl
Replying to @filmfileuk@mastodonapp.uk
@filmfileuk Paprika perhaps.
1
0
0
0
Open post
agentultra
Woke Leftist Trash @agentultra@types.pl · Apr 20, 2026
Woke Leftist Trash
@agentultra@types.pl

Haskell, formal methods, Amiga, pointers and allocators. #BLM. https://twitch.tv/agentultra opinions my own. @agentultra on Twitter too.

types.pl

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
agentultra
Woke Leftist Trash @agentultra@types.pl · Apr 20, 2026
Woke Leftist Trash
@agentultra@types.pl

Haskell, formal methods, Amiga, pointers and allocators. #BLM. https://twitch.tv/agentultra opinions my own. @agentultra on Twitter too.

types.pl

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

0
0
0
0
Open post
agentultra
Woke Leftist Trash @agentultra@types.pl · Apr 17, 2026
Woke Leftist Trash
@agentultra@types.pl

Haskell, formal methods, Amiga, pointers and allocators. #BLM. https://twitch.tv/agentultra opinions my own. @agentultra on Twitter too.

types.pl
Replying to @agentultra@types.pl
I think I feel a knee is about to give out.
0
0
0
0
Open post
agentultra
Woke Leftist Trash @agentultra@types.pl · Apr 17, 2026
Woke Leftist Trash
@agentultra@types.pl

Haskell, formal methods, Amiga, pointers and allocators. #BLM. https://twitch.tv/agentultra opinions my own. @agentultra on Twitter too.

types.pl

Oh lord. Apparently I’m programming the old way.

1
1
0
0
Open post
agentultra
Woke Leftist Trash @agentultra@types.pl · Apr 17, 2026
Woke Leftist Trash
@agentultra@types.pl

Haskell, formal methods, Amiga, pointers and allocators. #BLM. https://twitch.tv/agentultra opinions my own. @agentultra on Twitter too.

types.pl

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

1
0
0
0
Open post
agentultra
Woke Leftist Trash @agentultra@types.pl · Apr 17, 2026
Woke Leftist Trash
@agentultra@types.pl

Haskell, formal methods, Amiga, pointers and allocators. #BLM. https://twitch.tv/agentultra opinions my own. @agentultra on Twitter too.

types.pl

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

2
4
0
0
Open post
agentultra
Woke Leftist Trash @agentultra@types.pl · Apr 17, 2026
Woke Leftist Trash
@agentultra@types.pl

Haskell, formal methods, Amiga, pointers and allocators. #BLM. https://twitch.tv/agentultra opinions my own. @agentultra on Twitter too.

types.pl
Replying to @graydon@canada.masto.host
@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
agentultra
Woke Leftist Trash @agentultra@types.pl · Apr 16, 2026
Woke Leftist Trash
@agentultra@types.pl

Haskell, formal methods, Amiga, pointers and allocators. #BLM. https://twitch.tv/agentultra opinions my own. @agentultra on Twitter too.

types.pl
Replying to @dysfun@social.treehouse.systems
@dysfun seems like all of the proof assistants I know of are on the LLM hype train now
0
1
0
0
Open post
agentultra
Woke Leftist Trash @agentultra@types.pl · Apr 16, 2026
Woke Leftist Trash
@agentultra@types.pl

Haskell, formal methods, Amiga, pointers and allocators. #BLM. https://twitch.tv/agentultra opinions my own. @agentultra on Twitter too.

types.pl
Replying to @dysfun@social.treehouse.systems
@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
agentultra
Woke Leftist Trash @agentultra@types.pl · Apr 16, 2026
Woke Leftist Trash
@agentultra@types.pl

Haskell, formal methods, Amiga, pointers and allocators. #BLM. https://twitch.tv/agentultra opinions my own. @agentultra on Twitter too.

types.pl
Replying to @dysfun@social.treehouse.systems
@dysfun guess I can drop plfa 🙄
1
5
0
0
Open post
agentultra
Woke Leftist Trash @agentultra@types.pl · Apr 13, 2026
Woke Leftist Trash
@agentultra@types.pl

Haskell, formal methods, Amiga, pointers and allocators. #BLM. https://twitch.tv/agentultra opinions my own. @agentultra on Twitter too.

types.pl
Replying to @aeva@mastodon.gamedev.place
@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."
0
0
0
0
Open post
agentultra
Woke Leftist Trash @agentultra@types.pl · Apr 13, 2026
Woke Leftist Trash
@agentultra@types.pl

Haskell, formal methods, Amiga, pointers and allocators. #BLM. https://twitch.tv/agentultra opinions my own. @agentultra on Twitter too.

types.pl
Replying to @agentultra@types.pl
@aeva@mastodon.gamedev.place @cwebber@social.coop the compile times are nice over here!
0
2
0
0
Open post
agentultra
Woke Leftist Trash @agentultra@types.pl · Apr 13, 2026
Woke Leftist Trash
@agentultra@types.pl

Haskell, formal methods, Amiga, pointers and allocators. #BLM. https://twitch.tv/agentultra opinions my own. @agentultra on Twitter too.

types.pl
Replying to @aeva@mastodon.gamedev.place
@aeva@mastodon.gamedev.place @cwebber@social.coop join usssssss.....
0
2
0
0
Open post
agentultra
Woke Leftist Trash @agentultra@types.pl · Apr 13, 2026
Woke Leftist Trash
@agentultra@types.pl

Haskell, formal methods, Amiga, pointers and allocators. #BLM. https://twitch.tv/agentultra opinions my own. @agentultra on Twitter too.

types.pl
Replying to @cwebber@social.coop
@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.
1
0
0
0
Open post
agentultra
Woke Leftist Trash @agentultra@types.pl · Apr 06, 2026
Woke Leftist Trash
@agentultra@types.pl

Haskell, formal methods, Amiga, pointers and allocators. #BLM. https://twitch.tv/agentultra opinions my own. @agentultra on Twitter too.

types.pl
Replying to @aeva@mastodon.gamedev.place
@aeva hell yeah
1
0
0
0
Open post
agentultra
Woke Leftist Trash @agentultra@types.pl · Apr 03, 2026
Woke Leftist Trash
@agentultra@types.pl

Haskell, formal methods, Amiga, pointers and allocators. #BLM. https://twitch.tv/agentultra opinions my own. @agentultra on Twitter too.

types.pl
Replying to @bgtdsword@toot.io
@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
agentultra
Woke Leftist Trash @agentultra@types.pl · Apr 02, 2026
Woke Leftist Trash
@agentultra@types.pl

Haskell, formal methods, Amiga, pointers and allocators. #BLM. https://twitch.tv/agentultra opinions my own. @agentultra on Twitter too.

types.pl

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

1
2
0
0
Open post
agentultra
Woke Leftist Trash @agentultra@types.pl · Apr 02, 2026
Woke Leftist Trash
@agentultra@types.pl

Haskell, formal methods, Amiga, pointers and allocators. #BLM. https://twitch.tv/agentultra opinions my own. @agentultra on Twitter too.

types.pl

Carl Sagan delivered some great speeches. It makes me angry that the administrations of his days were ignorant of the message and did nothing in response.

Still relevant however and worth repeating:

https://m.youtube.com/shorts/Y7WELBGm268

1
0
0
0
Open post
agentultra
Woke Leftist Trash @agentultra@types.pl · Apr 02, 2026
Woke Leftist Trash
@agentultra@types.pl

Haskell, formal methods, Amiga, pointers and allocators. #BLM. https://twitch.tv/agentultra opinions my own. @agentultra on Twitter too.

types.pl

“People say doing nothing is impossible but I do nothing every day.” — A.A. Milne

1
0
0
0
Open post
agentultra
Woke Leftist Trash @agentultra@types.pl · Apr 01, 2026
Woke Leftist Trash
@agentultra@types.pl

Haskell, formal methods, Amiga, pointers and allocators. #BLM. https://twitch.tv/agentultra opinions my own. @agentultra on Twitter too.

types.pl

When you tell people, "I'm making a game in C with a couple of libraries," most often they will reply with some kind of shock or disbelief.

You're not using Unity? You don't use Unreal 5? You're not vibe coding it? How do you get anything done?

How much code do you think it takes? It's like... not that much when you start working on it. Don't be so obsessed with frameworks and tooling.

Be obsessed with understanding and learning.

5
0
1
0
Open post
agentultra
Woke Leftist Trash @agentultra@types.pl · Apr 01, 2026
Woke Leftist Trash
@agentultra@types.pl

Haskell, formal methods, Amiga, pointers and allocators. #BLM. https://twitch.tv/agentultra opinions my own. @agentultra on Twitter too.

types.pl

My friend. Your astonishment that one can simply write code is what's holding you back. You have a tool in front of you that has no masters. It's just bits and bytes all the way down. You can make it do anything. You don't need a subscription.

3
0
0
0
Open post
agentultra
Woke Leftist Trash @agentultra@types.pl · Apr 01, 2026
Woke Leftist Trash
@agentultra@types.pl

Haskell, formal methods, Amiga, pointers and allocators. #BLM. https://twitch.tv/agentultra opinions my own. @agentultra on Twitter too.

types.pl
Replying to @carlton@chaos.social
@carlton i'm writing my game in plain C with raylib and glfw. Everything is statically linked and cross-compiles to Linux and Windows. "How do you actually make a game like that?" It's always like this.
1
1
0
0
Open post
agentultra
Woke Leftist Trash @agentultra@types.pl · Apr 01, 2026
Woke Leftist Trash
@agentultra@types.pl

Haskell, formal methods, Amiga, pointers and allocators. #BLM. https://twitch.tv/agentultra opinions my own. @agentultra on Twitter too.

types.pl

Slop is indeed the future of GenAI programming unless you can make sure the training data has only bug-free, well-architected code that future developers will understand; that the alignment doesn’t over-fit to the training data, and you can continually update that training data set with enough examples of all the new innovations. At that point you might as well be writing the code yourself. You can’t steal enough examples from the bleeding edge to keep up.

These systems generate code based off their training set. There are som interesting “behaviours,” that we don’t quite understand. But that’s not going to change the fundamental principles. The network will approximate some f within epsilon given enough resources… but it will reach limits before any more input will improve epsilon.

I remain doubtful that we’ll get much more than slop.

1
0
0
0
Open post
agentultra
Woke Leftist Trash @agentultra@types.pl · Mar 24, 2026
Woke Leftist Trash
@agentultra@types.pl

Haskell, formal methods, Amiga, pointers and allocators. #BLM. https://twitch.tv/agentultra opinions my own. @agentultra on Twitter too.

types.pl
Replying to @millihertz@oldbytes.space
@millihertz it drives me up the wall. It's up there with, "AI now generates correct code." Correct with respect to what? Your plain, spoken language prompts? How? The tests you asked it to generate? Some days I feel like I'm an alien on this planet.
3
0
0
0

Remote instance

types.pl
Open on original server

Media

313k7r1n3
Elektrine

Tor hidden service

elekhj7afj4qnrr4yd3bkzslsyo5jgfxw3orgjkhlcxifueodybyiiad.onion

Platform

  • Email
  • Chat
  • Timeline
  • Communities
  • VPN
  • DNS

Company

  • About
  • Contact
  • FAQ

Legal

  • Terms of Service
  • Privacy Policy
  • Warrant Canary
  • Lite (no JS)
  • VPN Policy
  • Source code

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: 22:04:49 UTC