Jonas Kruckenberg
@jonaskruckenberg.de
building the next operating system
@tc39.es Invited Expert | Software Engineer @mainmatter.com past: tauri
https://github.com/JonasKruckenberg
@tc39.es Invited Expert | Software Engineer @mainmatter.com past: tauri
https://github.com/JonasKruckenberg
Reposted by Jonas Kruckenberg
If you're into Rust, you'll know about the difference between Eq and PartialEq. Did you know that there's a secret third thing?
November 7, 2025 at 12:31 AM
If you're into Rust, you'll know about the difference between Eq and PartialEq. Did you know that there's a secret third thing?
Mainmatter is looking for an experienced Rust developer to join one of our projects as a freelancer.
We're migrating a database from C to Rust. The project is complex and performance-sensitive. That's what makes it fun!
If you're interested, send an email to the address in the screenshot.
We're migrating a database from C to Rust. The project is complex and performance-sensitive. That's what makes it fun!
If you're interested, send an email to the address in the screenshot.
November 5, 2025 at 5:42 PM
Mainmatter is looking for an experienced Rust developer to join one of our projects as a freelancer.
We're migrating a database from C to Rust. The project is complex and performance-sensitive. That's what makes it fun!
If you're interested, send an email to the address in the screenshot.
We're migrating a database from C to Rust. The project is complex and performance-sensitive. That's what makes it fun!
If you're interested, send an email to the address in the screenshot.
Reposted by Jonas Kruckenberg
ECMAScript excitement 😉
Congrats to @manishearth.bsky.social on unflagging TC39 Stage 3 Temporal in V8 today. Heading for Chrome 144 🎉
By many metrics this new date-time API is the single biggest change to JS ever 🔥
V8 uses Boa's temporal_rs by @jason-williams.co.uk Kevin Ness & Manish 👍
Congrats to @manishearth.bsky.social on unflagging TC39 Stage 3 Temporal in V8 today. Heading for Chrome 144 🎉
By many metrics this new date-time API is the single biggest change to JS ever 🔥
V8 uses Boa's temporal_rs by @jason-williams.co.uk Kevin Ness & Manish 👍
November 4, 2025 at 7:49 PM
ECMAScript excitement 😉
Congrats to @manishearth.bsky.social on unflagging TC39 Stage 3 Temporal in V8 today. Heading for Chrome 144 🎉
By many metrics this new date-time API is the single biggest change to JS ever 🔥
V8 uses Boa's temporal_rs by @jason-williams.co.uk Kevin Ness & Manish 👍
Congrats to @manishearth.bsky.social on unflagging TC39 Stage 3 Temporal in V8 today. Heading for Chrome 144 🎉
By many metrics this new date-time API is the single biggest change to JS ever 🔥
V8 uses Boa's temporal_rs by @jason-williams.co.uk Kevin Ness & Manish 👍
GitHub really worries me recently, everything they do and say has this eerie slop-iness to it…
November 2, 2025 at 5:14 PM
GitHub really worries me recently, everything they do and say has this eerie slop-iness to it…
Reposted by Jonas Kruckenberg
Interesting details of Firefox usage of QUIC max-inden.de/post/fast-ud...
Fast UDP I/O for Firefox in Rust
Motivation
Around 20% of Firefox’s HTTP traffic today uses HTTP/3, which runs over QUIC, which in turn runs over UDP.
This translates to substantial UDP I/O activity.
Firefox uses NSPR for most of its...
max-inden.de
November 2, 2025 at 7:57 AM
Interesting details of Firefox usage of QUIC max-inden.de/post/fast-ud...
Reposted by Jonas Kruckenberg
Had a nice day out at Slimbridge yesterday. Picked up the Temminck's stint bringing me to 196 UK species for the year. Also managed my first ever photo of a bittern!
Some bonus snipe showing very well, and a perfectly timed white fronted goose, first of the winter!
#ukbirding
Some bonus snipe showing very well, and a perfectly timed white fronted goose, first of the winter!
#ukbirding
November 1, 2025 at 3:06 PM
Had a nice day out at Slimbridge yesterday. Picked up the Temminck's stint bringing me to 196 UK species for the year. Also managed my first ever photo of a bittern!
Some bonus snipe showing very well, and a perfectly timed white fronted goose, first of the winter!
#ukbirding
Some bonus snipe showing very well, and a perfectly timed white fronted goose, first of the winter!
#ukbirding
Reposted by Jonas Kruckenberg
Mainmatter is looking for an experienced, Svelte freelancer for a few weeks of work or more. Immediate availability, 4 to 5 days a week, EU timezones, excellent English communication skills. Daily rate of 500€–800€/day. Please email jobs@mainmatter.com with your résumé, rate and availability.
October 30, 2025 at 2:31 PM
Mainmatter is looking for an experienced, Svelte freelancer for a few weeks of work or more. Immediate availability, 4 to 5 days a week, EU timezones, excellent English communication skills. Daily rate of 500€–800€/day. Please email jobs@mainmatter.com with your résumé, rate and availability.
Film is back from the lab! Heres a few from the @eurorust.eu impl Day this year!
November 1, 2025 at 10:31 AM
Film is back from the lab! Heres a few from the @eurorust.eu impl Day this year!
applause indeed
Python Software Foundation withdraws bid for $1.5m grant from US gov, because the terms require they do not "operate any programs that advance or promote DEI", and "it would be a betrayal of our mission and our community." Applause. pyfound.blogspot.com/2025/10/NSF-...
The PSF has withdrawn a $1.5 million proposal to US government grant program
pyfound.blogspot.com
October 28, 2025 at 8:29 AM
applause indeed
Reposted by Jonas Kruckenberg
Python Foundation goes ride or DEI, rejects government grant with strings attached
Python Foundation goes ride or DEI, rejects government grant with strings attached
Foundation says it won't compromise policy of inclusivity even if that cash would've really helped
The Python Software Foundation (PSF) has walked away from a $1.5 million government grant and you can blame the Trump administration's war on woke for effectively weakening some open source security. …
dlvr.it
October 27, 2025 at 8:35 PM
Python Foundation goes ride or DEI, rejects government grant with strings attached
the AI price hiking has begun
October 26, 2025 at 7:54 AM
the AI price hiking has begun
Reposted by Jonas Kruckenberg
A small write up about one of my older (13 years and still alive !) projects: a nat46.ko kernel module - stdio.be/blog/2025-10...
October 25, 2025 at 5:19 PM
A small write up about one of my older (13 years and still alive !) projects: a nat46.ko kernel module - stdio.be/blog/2025-10...
cant use x86 now that theres no second vendor anymore
people when it comes to Rust: "I won't use it because there's not multiple implementations"
people when it comes to coreutils in Rust: "How dare someone write a second implementation"
people when it comes to coreutils in Rust: "How dare someone write a second implementation"
October 25, 2025 at 10:29 AM
cant use x86 now that theres no second vendor anymore
Reposted by Jonas Kruckenberg
No real take on the charter of the company, but wow is that a stacked list of Rust contributors:
www.vectorware.com/blog/announc...
www.vectorware.com/blog/announc...
Announcing VectorWare
We are building the first GPU-native software company. Today we are sharing the thesis, people, and partners behind it.
www.vectorware.com
October 23, 2025 at 3:10 PM
No real take on the charter of the company, but wow is that a stacked list of Rust contributors:
www.vectorware.com/blog/announc...
www.vectorware.com/blog/announc...
Reposted by Jonas Kruckenberg
Reposted by Jonas Kruckenberg
we've got a few quality of life improvements for #jj-vcs users:
knotservers now write change-ids into commit objects upon pull-request merge!
this means jj is able to delete unreachable change-ids if the branch is deleted on the remote:
3/5
knotservers now write change-ids into commit objects upon pull-request merge!
this means jj is able to delete unreachable change-ids if the branch is deleted on the remote:
3/5
![λ jj git fetch
bookmark: main@origin [updated] tracked
bookmark: push-ymrwkmsxtuoy@origin [deleted] untracked
Abandoned 2 commits that are no longer reachable.
Working copy (@) now at: w 7 (empty) (no description set)
Parent commit (@-) : t 9 w
Added 0 files, modified 2 files, removed 0 files](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:wshs7t2adsemcrrd4snkeqli/bafkreiafpvrwmov4yqftcdscyqlt6ufxpzabhlnnscpqk2xn25u2dwgosm@jpeg)
October 19, 2025 at 1:11 PM
we've got a few quality of life improvements for #jj-vcs users:
knotservers now write change-ids into commit objects upon pull-request merge!
this means jj is able to delete unreachable change-ids if the branch is deleted on the remote:
3/5
knotservers now write change-ids into commit objects upon pull-request merge!
this means jj is able to delete unreachable change-ids if the branch is deleted on the remote:
3/5
I have a tricky #rust Strict Provenance question 🤔
Provenance „flows“ down from the allocator through your program right?
Being a provenance „source“ means calling `from_exposed_provenance` eventually picking up the „ambient provenance“ (right?)
Provenance „flows“ down from the allocator through your program right?
Being a provenance „source“ means calling `from_exposed_provenance` eventually picking up the „ambient provenance“ (right?)
October 14, 2025 at 5:36 PM
I have a tricky #rust Strict Provenance question 🤔
Provenance „flows“ down from the allocator through your program right?
Being a provenance „source“ means calling `from_exposed_provenance` eventually picking up the „ambient provenance“ (right?)
Provenance „flows“ down from the allocator through your program right?
Being a provenance „source“ means calling `from_exposed_provenance` eventually picking up the „ambient provenance“ (right?)
Reposted by Jonas Kruckenberg
We're excited to announce a new initiative to support the Rust Project, our Rust Maintainers Fund!
We are setting out to employ 6 full-time maintainers and 6 interns in 2026 to make sure #rustlang is well maintained and bugs and contributions get the attention they need.
Read more: rustnl.org/fund
We are setting out to employ 6 full-time maintainers and 6 interns in 2026 to make sure #rustlang is well maintained and bugs and contributions get the attention they need.
Read more: rustnl.org/fund
October 14, 2025 at 3:11 PM
We're excited to announce a new initiative to support the Rust Project, our Rust Maintainers Fund!
We are setting out to employ 6 full-time maintainers and 6 interns in 2026 to make sure #rustlang is well maintained and bugs and contributions get the attention they need.
Read more: rustnl.org/fund
We are setting out to employ 6 full-time maintainers and 6 interns in 2026 to make sure #rustlang is well maintained and bugs and contributions get the attention they need.
Read more: rustnl.org/fund
Reposted by Jonas Kruckenberg
Well that was a very interesting #Rustlang pre-RFC text! Effectively arguing that Rust is painting itself into a substructural type system corner, and should recognise this as a fact and take the theoretical framework into focus when applying the paint.
As a logician by training, I'm all for it!
As a logician by training, I'm all for it!
[Pre-RFC] Substructural Type System
Feature Name: substructural_traits Start Date: 10-11-2025 RFC PR: rust-lang/rfcs#0000 Rust Issue: rust-lang/rust#0000 Summary Rust has parts of a substructural type system, but it is incomplete. A su...
internals.rust-lang.org
October 12, 2025 at 12:40 PM
Well that was a very interesting #Rustlang pre-RFC text! Effectively arguing that Rust is painting itself into a substructural type system corner, and should recognise this as a fact and take the theoretical framework into focus when applying the paint.
As a logician by training, I'm all for it!
As a logician by training, I'm all for it!
Reposted by Jonas Kruckenberg
Igalia is excited to announce a new commission from the Sovereign Tech Fund to advance the Servo web engine.
www.igalia.com/2025/10/09/I...
www.igalia.com/2025/10/09/I...
Igalia, Servo, and the Sovereign Tech Fund | Igalia
Igalia is an open source consultancy specialised in the development of innovative projects and solutions. Our engineers have expertise in a wide range of technological areas, including browsers and cl...
www.igalia.com
October 10, 2025 at 11:33 AM
Igalia is excited to announce a new commission from the Sovereign Tech Fund to advance the Servo web engine.
www.igalia.com/2025/10/09/I...
www.igalia.com/2025/10/09/I...
Reposted by Jonas Kruckenberg
October 10, 2025 at 3:17 PM
hope yall had a good time!
Followed by Jonas Kruckenberg (@jonaskruckenberg.de) taking us into the rabbit hole of how stack unwinding works under the hood, where we cross over from the comfort of rust into asm and elf!! 🦀🐰🐉🔄
October 10, 2025 at 8:54 PM
hope yall had a good time!
Reposted by Jonas Kruckenberg
In Paris until weekend for @eurorust.eu - looking forward to a few days of awesome! :)
October 8, 2025 at 5:36 AM
In Paris until weekend for @eurorust.eu - looking forward to a few days of awesome! :)
Reposted by Jonas Kruckenberg
I'm nearing the end of my masters so starting the search for a job
I'm interested in quite a wide array of things, my main skills & interests lie in Security, (Embedded) Rust and Cloud / Distributed Systems.
Preferably something Hybrid/Remote.
You can find my CV at 0x76.dev/cv.html
I'm interested in quite a wide array of things, my main skills & interests lie in Security, (Embedded) Rust and Cloud / Distributed Systems.
Preferably something Hybrid/Remote.
You can find my CV at 0x76.dev/cv.html
Vivian (0x76) - Resume
Vivian's CV
0x76.dev
September 30, 2025 at 7:06 AM
I'm nearing the end of my masters so starting the search for a job
I'm interested in quite a wide array of things, my main skills & interests lie in Security, (Embedded) Rust and Cloud / Distributed Systems.
Preferably something Hybrid/Remote.
You can find my CV at 0x76.dev/cv.html
I'm interested in quite a wide array of things, my main skills & interests lie in Security, (Embedded) Rust and Cloud / Distributed Systems.
Preferably something Hybrid/Remote.
You can find my CV at 0x76.dev/cv.html
okay hear me out: i know weight means quality and all but can we have lighter weight macbook pros?
carrying 2 around truly suckss
carrying 2 around truly suckss
October 3, 2025 at 3:12 PM
okay hear me out: i know weight means quality and all but can we have lighter weight macbook pros?
carrying 2 around truly suckss
carrying 2 around truly suckss