Kai Jellinghaus
@kaij.party
Software Engineer from Germany. Love for the obscure. Performance & Platforms specialist.
WASM & @ziglang fan. AS215820
WASM & @ziglang fan. AS215820
Pinned
Kai Jellinghaus
@kaij.party
· Dec 1
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.
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.
Program Verification is the next generation of code.
Been playing around with lean-lang.org for a few days, and just... Wow. May not be quite there yet for general purpose programming but extremely fun.
Writing types and making the user prove their input is correct? Awesome.
Been playing around with lean-lang.org for a few days, and just... Wow. May not be quite there yet for general purpose programming but extremely fun.
Writing types and making the user prove their input is correct? Awesome.
Lean Programming Language
Lean is a theorem prover and programming language that enables correct, maintainable, and formally verified code.
lean-lang.org
August 22, 2025 at 12:40 PM
Program Verification is the next generation of code.
Been playing around with lean-lang.org for a few days, and just... Wow. May not be quite there yet for general purpose programming but extremely fun.
Writing types and making the user prove their input is correct? Awesome.
Been playing around with lean-lang.org for a few days, and just... Wow. May not be quite there yet for general purpose programming but extremely fun.
Writing types and making the user prove their input is correct? Awesome.
Reposted by Kai Jellinghaus
I wrote about @buttondown.com’s alternatives page: v5.chriskrycho.com/notes/butto...
[automated post: I remain away for Advent 🕯️ – see you in Christmastide]
[automated post: I remain away for Advent 🕯️ – see you in Christmastide]
Buttondown’s Alternatives Page — Sympolymathesy, by Chris Krycho
A software product that is not indulging in winner-take-all, try-to-own-the-world machinations? Is this… possible?
v5.chriskrycho.com
December 15, 2024 at 1:18 AM
I wrote about @buttondown.com’s alternatives page: v5.chriskrycho.com/notes/butto...
[automated post: I remain away for Advent 🕯️ – see you in Christmastide]
[automated post: I remain away for Advent 🕯️ – see you in Christmastide]
Tried out Gwen QwQ via Kagi assistant, and it's pretty impressive! Both gives better answers, but also has some explorative thoughts.
December 15, 2024 at 4:20 AM
Tried out Gwen QwQ via Kagi assistant, and it's pretty impressive! Both gives better answers, but also has some explorative thoughts.
Web Applets are pretty similar to something I've been building. I'm considering moving some stuff over.
I use IPFS/IPLD under the hood, which has some unique benefits. What I'm doing is more of a notes/personal data. Adding something like Web Applets on top seems cool.
I use IPFS/IPLD under the hood, which has some unique benefits. What I'm doing is more of a notes/personal data. Adding something like Web Applets on top seems cool.
December 9, 2024 at 9:09 PM
Web Applets are pretty similar to something I've been building. I'm considering moving some stuff over.
I use IPFS/IPLD under the hood, which has some unique benefits. What I'm doing is more of a notes/personal data. Adding something like Web Applets on top seems cool.
I use IPFS/IPLD under the hood, which has some unique benefits. What I'm doing is more of a notes/personal data. Adding something like Web Applets on top seems cool.
Reposted by Kai Jellinghaus
I upgrade an entire project from .NET 8 to .NET 9, it just works. No hassle. Just... done.
I try to run a nodeJS build that worked YESTERDAY, with no changes, and it fails because the nodeJS ecosystem is about as stable as a tectonically active goth on rollerskates after a litre of supermarket gin.
I try to run a nodeJS build that worked YESTERDAY, with no changes, and it fails because the nodeJS ecosystem is about as stable as a tectonically active goth on rollerskates after a litre of supermarket gin.
December 8, 2024 at 6:53 PM
I upgrade an entire project from .NET 8 to .NET 9, it just works. No hassle. Just... done.
I try to run a nodeJS build that worked YESTERDAY, with no changes, and it fails because the nodeJS ecosystem is about as stable as a tectonically active goth on rollerskates after a litre of supermarket gin.
I try to run a nodeJS build that worked YESTERDAY, with no changes, and it fails because the nodeJS ecosystem is about as stable as a tectonically active goth on rollerskates after a litre of supermarket gin.
Just randomly thought of Supreme Commander: Forged Alliance. Still one of the, if not THE best RTS. Fight me.
There's still a decently active community making balancing patches and such. Even upgraded the network stack.
If anyone wants to play @ me. I'm not that good but man it is fun.
There's still a decently active community making balancing patches and such. Even upgraded the network stack.
If anyone wants to play @ me. I'm not that good but man it is fun.
December 8, 2024 at 12:37 PM
Just randomly thought of Supreme Commander: Forged Alliance. Still one of the, if not THE best RTS. Fight me.
There's still a decently active community making balancing patches and such. Even upgraded the network stack.
If anyone wants to play @ me. I'm not that good but man it is fun.
There's still a decently active community making balancing patches and such. Even upgraded the network stack.
If anyone wants to play @ me. I'm not that good but man it is fun.
Reposted by Kai Jellinghaus
My digital book "Understanding the Odin Programming Language" is OUT NOW! ✨
If you want to learn Odin and demystify low-level programming, then this book is for you!
Read more or buy at: odinbook.com
If you want to learn Odin and demystify low-level programming, then this book is for you!
Read more or buy at: odinbook.com
Understanding the Odin Programming Language
Learn the Odin Programming Language and demystify low-level programming
odinbook.com
December 6, 2024 at 9:38 AM
My digital book "Understanding the Odin Programming Language" is OUT NOW! ✨
If you want to learn Odin and demystify low-level programming, then this book is for you!
Read more or buy at: odinbook.com
If you want to learn Odin and demystify low-level programming, then this book is for you!
Read more or buy at: odinbook.com
Phoenix 1.0 has arrived.
If you don't know Elixir/Phoenix yet, please try. It's one of those unreasonably good technologies that you will not forget.
www.phoenixframework.org/blog/phoenix...
If you don't know Elixir/Phoenix yet, please try. It's one of those unreasonably good technologies that you will not forget.
www.phoenixframework.org/blog/phoenix...
Phoenix LiveView 1.0.0 is here! - Phoenix Blog
LiveView 1.0 is out!
www.phoenixframework.org
December 3, 2024 at 10:32 PM
Phoenix 1.0 has arrived.
If you don't know Elixir/Phoenix yet, please try. It's one of those unreasonably good technologies that you will not forget.
www.phoenixframework.org/blog/phoenix...
If you don't know Elixir/Phoenix yet, please try. It's one of those unreasonably good technologies that you will not forget.
www.phoenixframework.org/blog/phoenix...
MapReduce + CRDTs?
Could think of reduce as a CRDT and achieve massively parallel processing with less coordination than classical MapReduce.
Not sure it generalizes quite that well (what about order dependent algorithms?) but it's definitely interesting.
Could think of reduce as a CRDT and achieve massively parallel processing with less coordination than classical MapReduce.
Not sure it generalizes quite that well (what about order dependent algorithms?) but it's definitely interesting.
December 3, 2024 at 8:08 PM
MapReduce + CRDTs?
Could think of reduce as a CRDT and achieve massively parallel processing with less coordination than classical MapReduce.
Not sure it generalizes quite that well (what about order dependent algorithms?) but it's definitely interesting.
Could think of reduce as a CRDT and achieve massively parallel processing with less coordination than classical MapReduce.
Not sure it generalizes quite that well (what about order dependent algorithms?) but it's definitely interesting.
In celebration of @altmetric.com on Bluesky, my favorite paper ever
doi.org/10.1007/978-...
It's very easy to read, probably one of the first scientific things I ever read.
The algorithm is incredibly simple, and translated to a handful of binary operations. Pretty much magic even now.
doi.org/10.1007/978-...
It's very easy to read, probably one of the first scientific things I ever read.
The algorithm is incredibly simple, and translated to a handful of binary operations. Pretty much magic even now.
The HERO Algorithm for Ray-Tracing Octrees
An algorithm is presented for rapid traversal of octree data structures, in order to enhance the speed of ray tracing for scenes of high complexity. At each level of the octree, the algorithm generate...
doi.org
December 3, 2024 at 3:28 PM
In celebration of @altmetric.com on Bluesky, my favorite paper ever
doi.org/10.1007/978-...
It's very easy to read, probably one of the first scientific things I ever read.
The algorithm is incredibly simple, and translated to a handful of binary operations. Pretty much magic even now.
doi.org/10.1007/978-...
It's very easy to read, probably one of the first scientific things I ever read.
The algorithm is incredibly simple, and translated to a handful of binary operations. Pretty much magic even now.
@platform.uno's new Hot Design is actually insane.
I don't think there's anything that compares.
I'll have to dig in to really make something worth sharing, as I'm the opposite of a UI person, but trust me, it's outright insane what they've come up with.
I don't think there's anything that compares.
I'll have to dig in to really make something worth sharing, as I'm the opposite of a UI person, but trust me, it's outright insane what they've come up with.
December 3, 2024 at 2:55 PM
@platform.uno's new Hot Design is actually insane.
I don't think there's anything that compares.
I'll have to dig in to really make something worth sharing, as I'm the opposite of a UI person, but trust me, it's outright insane what they've come up with.
I don't think there's anything that compares.
I'll have to dig in to really make something worth sharing, as I'm the opposite of a UI person, but trust me, it's outright insane what they've come up with.
Reposted by Kai Jellinghaus
oh my god there are so many links here
the iframes dont load fast enough lol
the iframes dont load fast enough lol
December 2, 2024 at 8:41 PM
oh my god there are so many links here
the iframes dont load fast enough lol
the iframes dont load fast enough lol
gmpg.org/xfn/creator what is happening
December 3, 2024 at 9:44 AM
gmpg.org/xfn/creator what is happening
Maybe my feed is just slow but every single super interesting post I spent time with today was via @zkat.tech - probably worth a follow 👀
December 3, 2024 at 9:41 AM
Maybe my feed is just slow but every single super interesting post I spent time with today was via @zkat.tech - probably worth a follow 👀
Pretty interesting JS knowledge.
I am also especially surprised that "use strict" does anything interesting
I am also especially surprised that "use strict" does anything interesting
new blog post going into depth on this problem: goose.icu/porffor-this/
December 3, 2024 at 9:38 AM
Pretty interesting JS knowledge.
I am also especially surprised that "use strict" does anything interesting
I am also especially surprised that "use strict" does anything interesting
@elixir-lang.org new account spotted 👀👀
December 2, 2024 at 8:11 PM
@elixir-lang.org new account spotted 👀👀
Reposted by Kai Jellinghaus
Friends, I'm #OpenToWork and I'd appreciate any leads, and networking opportunities.
Don't miss this rare opportunity to work with the one and only Mariatta.
🎯 Lead Software Engineer roles
✅ 20+ years experience
✅ award winning open source contributor
✅ Expert in #Python #Django APIs automations
Don't miss this rare opportunity to work with the one and only Mariatta.
🎯 Lead Software Engineer roles
✅ 20+ years experience
✅ award winning open source contributor
✅ Expert in #Python #Django APIs automations
December 2, 2024 at 3:49 PM
Friends, I'm #OpenToWork and I'd appreciate any leads, and networking opportunities.
Don't miss this rare opportunity to work with the one and only Mariatta.
🎯 Lead Software Engineer roles
✅ 20+ years experience
✅ award winning open source contributor
✅ Expert in #Python #Django APIs automations
Don't miss this rare opportunity to work with the one and only Mariatta.
🎯 Lead Software Engineer roles
✅ 20+ years experience
✅ award winning open source contributor
✅ Expert in #Python #Django APIs automations
Reposted by Kai Jellinghaus
Winter is coming, and the City of Redmond has officially named its snow plows.
- Ctrl + Salt + Delete
- Scoop Dogg
- Snow-begone Kenobi
- The Big Leplowski
- Betty Whiteout
www.redmond.gov/CivicAlerts....
- Ctrl + Salt + Delete
- Scoop Dogg
- Snow-begone Kenobi
- The Big Leplowski
- Betty Whiteout
www.redmond.gov/CivicAlerts....
December 2, 2024 at 4:49 PM
Winter is coming, and the City of Redmond has officially named its snow plows.
- Ctrl + Salt + Delete
- Scoop Dogg
- Snow-begone Kenobi
- The Big Leplowski
- Betty Whiteout
www.redmond.gov/CivicAlerts....
- Ctrl + Salt + Delete
- Scoop Dogg
- Snow-begone Kenobi
- The Big Leplowski
- Betty Whiteout
www.redmond.gov/CivicAlerts....
If like me, you're new here, seems like a good idea to use the lists provided by @skysentry.bsky.social (thanks!)
Can't independently verify all of these, so personally only blocking / muting based on how a quick glance at the list makes me feel (very scientific, I know) but seems good!
Can't independently verify all of these, so personally only blocking / muting based on how a quick glance at the list makes me feel (very scientific, I know) but seems good!
December 2, 2024 at 5:55 PM
If like me, you're new here, seems like a good idea to use the lists provided by @skysentry.bsky.social (thanks!)
Can't independently verify all of these, so personally only blocking / muting based on how a quick glance at the list makes me feel (very scientific, I know) but seems good!
Can't independently verify all of these, so personally only blocking / muting based on how a quick glance at the list makes me feel (very scientific, I know) but seems good!
Kind of seems like typing was the wrong way to go about it.
Maybe statically validated schemas are just always better?
There's encoding constraints etc. but in a lot of Microservice / Queue / NoSQL environments we've accidentally moved to schemas, but if intentionally designed it's... better somehow
Maybe statically validated schemas are just always better?
There's encoding constraints etc. but in a lot of Microservice / Queue / NoSQL environments we've accidentally moved to schemas, but if intentionally designed it's... better somehow
December 2, 2024 at 5:00 PM
Kind of seems like typing was the wrong way to go about it.
Maybe statically validated schemas are just always better?
There's encoding constraints etc. but in a lot of Microservice / Queue / NoSQL environments we've accidentally moved to schemas, but if intentionally designed it's... better somehow
Maybe statically validated schemas are just always better?
There's encoding constraints etc. but in a lot of Microservice / Queue / NoSQL environments we've accidentally moved to schemas, but if intentionally designed it's... better somehow
Reposted by Kai Jellinghaus
The world-famous unconference dtrace.conf(24) is next week! Start brainstorming your topics now and sign up for the free virtual event here:
dtrace.conf(24)
Our virtual and(mostly!) quadrennial unconference on DTrace! (BYO topic!)
dtraceconf24.eventbrite.com
December 2, 2024 at 4:16 PM
The world-famous unconference dtrace.conf(24) is next week! Start brainstorming your topics now and sign up for the free virtual event here:
Reposted by Kai Jellinghaus
Made an Odin Programming Language starter pack!
Let me know if you post about Odin and want to be included.
bsky.app/starter-pack...
Let me know if you post about Odin and want to be included.
bsky.app/starter-pack...
November 14, 2024 at 12:37 PM
Made an Odin Programming Language starter pack!
Let me know if you post about Odin and want to be included.
bsky.app/starter-pack...
Let me know if you post about Odin and want to be included.
bsky.app/starter-pack...
Seems like #Odinlang might be one of the next-gen languages.
Provides some of the same capabilities #Ziglang provides, but a bit more pragmatic. I love Zig, and I think it also has some amazing up-and-coming systems-level projects, but Odins adopters are extremly impressive.
Provides some of the same capabilities #Ziglang provides, but a bit more pragmatic. I love Zig, and I think it also has some amazing up-and-coming systems-level projects, but Odins adopters are extremly impressive.
December 2, 2024 at 1:09 PM
Been excited about the concept of end-user programming a while. First encountered via @silverbullet.md which is awesome.
Currently thinking of building something more advanced "import anything" style digital brain on content addressing & IPFS/IPLD
Currently thinking of building something more advanced "import anything" style digital brain on content addressing & IPFS/IPLD
December 1, 2024 at 10:20 PM
Been excited about the concept of end-user programming a while. First encountered via @silverbullet.md which is awesome.
Currently thinking of building something more advanced "import anything" style digital brain on content addressing & IPFS/IPLD
Currently thinking of building something more advanced "import anything" style digital brain on content addressing & IPFS/IPLD
Labelers are super interesting. From countries self-certifying departments / officials to stuff like
bsky.app/profile/pron...
Very cool stuff
bsky.app/profile/pron...
Very cool stuff
bsky.app
December 1, 2024 at 10:11 PM
Labelers are super interesting. From countries self-certifying departments / officials to stuff like
bsky.app/profile/pron...
Very cool stuff
bsky.app/profile/pron...
Very cool stuff