Kai Jellinghaus

Time to introduce myself, I guess. I build a lot of things, mainly for other devs. Lots of distributed & decentralized systems. I run an autonomous system, maintaining autonomous IPv6 & IPv4 blocks. I build stuff with everything from Rust, Zig, C# to Elixir.

When I said I was concerned about advanced conversational AI, I probably should have clarified that I’m actually good with them so long as they are easily identifiable as a non-human. I think Mistral’s latest demo looks good.

I read Sid Meier and my brain starts playing 🗣️🗣️ Baba Yetu Yetu uliye mbiguni Yetu Yetu amina 🎶🎶

I don't think I've seen a NextFest with this many demos. Played through most of the interesting ones in the RTS category today. A lot of AI stuff. Some just shit, some seems like an interesting PoC, just not a full fledged game, some are awesome. I'm really happy it's so easy to test a cool idea now

Anyone know a company that provides free tokens for private use 👀 That would be a benefit I'd actually go for...

Big +1 for Zen

Netbird win (?)

TIL I used to work with the guy responsible for Heartbleed. (Heartbleed is a bug, and of a type that many people have caused before. It just happened to be in a critical spot in one of the most critical pieces of software around)

Wtf is this embed? Why? This is the best you could do? (Sorry OP, not about your project at all)

🚨 Six WebPKI Intermediate CAs are compromised. This is bigger than Heartbleed, but a client-side issue. Anything that verifies certificates against public roots, like most TLS clients, is/was affected. Details, live test, patched versions and workarounds at emudhra.we-have-a-problem.com Act now.

Bit of an odd job here. Anthropic looking for a person to design and run tabletop exercises and wargames.

Sorry I have to keep saying it this is just so cool

Not sure I have actually seen that before!

Building with GPT-Live-1 is so weird - it has zero sense of self. It conceptually knows it can call to a larger model, but there is no real call, the two are fused together. It doesn't even really notice as the big model injects thoughts into it. Good UX, but surreal experience during development.

I truly wonder what hugely complex calculations are required for Google Play to just serve me.the other damn APK...

wtf

Look at that, how my opinion has changed. May also be that only the really interesting/good agents remain at this point.

huggingface.co/deepseek-ai/... happy deepseek day to anyone celebrating

Will probably migrate to my own PDS this weekend, even if just for spaces support. Does PDS Moover support spaces yet, @pds.dad?

This is insanely impressive. From my analysis this still doesn't break the cost barrier - local hosted models are still more expensive relative to cloud hosting prices. And while Nemotron 3.5 Super is impressive, it's not particularly strong. But it's still a big step!

Fight class war, not culture war Just gotta say it from time to time to ensure what I post about here has the right context

I have high confidence that with the introduction of AI into more systems those systems will get considerably better at the thing they are meant to do. We need to ensure systems are actually aligned with what we want, not just with making money.

Models help when you have magic

Lean 4.35.0 is now available, with 214 changes. It adds vcgen, the successor of mvcgen, and lake check, which checks a project with Lean's kernel and, with --paranoid, several external checkers. lean-lang.org/doc/referenc...

Looks like I'm officially one of those old fucks that is complaining about these days... And even have shitty music to go along with it. T-shirt & mugs next?

Ok, so if you've been following along my weekend I've seen this study/preprint shared around a bunch and I decided the people needed a replication opportunity it is here: persist-study.pages.dev Based on this: news.berkeley.edu/2026/10/09/u...

Just had my first proper managerial conversation with an agent: Sol came to me like "this is taking so long and I need you to decide X". I spent like 20 minutes trying to understand what it has done in the last 2 days, mostly asked many questions, made one small suggestion and it went off again :)

Yeah, price changes together with usage resets being a core part of the offering now are really weird. Like sure, if you can't/won't afford serving at that price point that's your choice. But why not just go easy on the resets, also reducing total usage banded out, and making it more predictable?

I look at this, I wonder what an evolutionarily optimized dishwasher looks like. And these days, I just tell Astra and it makes it. I'm living in the future and I'm so fucking hyped about it

Honestly, your preferred microblogging client should just be a record in your PDS.

software is entering this era

Guess I'm running evals of local models now...

Sol 6.1 feels pretty good, but very strong instruction following which... I'm not always that sure of. I am definitely using too much Astra at the moment :/

Yeah this is going to be good

Oh they are going for MS now... github.com/storytold/wo... Looks like someone _really_ wants to get dragged to court

Holy shit. Someone has decompiled the Adobe suite, rebuilt it in Rust and released it as open source. Either all software is dead or the US copyright laws are about to receive an update. getartcraft.com/apps

Really cool, but I wonder why they didn't go all Blackwell. Seems like this setup isn't really there to be properly useful? ghost.ai

Codex reset lets goooooooooooooooooo