Lightnews — Scholar-powered news

Jonas Kruckenberg @jonaskruckenberg.de · 13h

well, that company just so happens to be ms which i think is your answer

Reposted by Jonas Kruckenberg

AapoAlas @aapoalas.trynova.dev · 19h

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!

[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

1 6 17

Jonas Kruckenberg @jonaskruckenberg.de · 2d

i thought this 3d printing things is where add plastic, not remove it

1 1

Reposted by Jonas Kruckenberg

Servo @servo.org · 2d

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

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

3 22 68

Reposted by Jonas Kruckenberg

EuroRust @eurorust.eu · 2d

@jonaskruckenberg.de on the side stage now!

#EuroRust25 #RustLang

2 5

Jonas Kruckenberg @jonaskruckenberg.de · 2d

hope yall had a good time!

aksh1618 @aksh1618.aksh.dev · 2d

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!! 🦀🐰🐉🔄

3

Jonas Kruckenberg @jonaskruckenberg.de · 4d

say hi if you spot me!

1

Jonas Kruckenberg @jonaskruckenberg.de · 4d

i love the cheerful green box

1 3

Reposted by Jonas Kruckenberg

Andrew Yourtchenko @ayourtch.bsky.social · 5d

In Paris until weekend for @eurorust.eu - looking forward to a few days of awesome! :)

2 3

Reposted by Jonas Kruckenberg

Vivian 🏳️‍⚧️ @0x76.dev · 13d

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

Vivian (0x76) - Resume

Vivian's CV

0x76.dev

2 6 16

Jonas Kruckenberg @jonaskruckenberg.de · 9d

okay hear me out: i know weight means quality and all but can we have lighter weight macbook pros?
carrying 2 around truly suckss

Jonas Kruckenberg @jonaskruckenberg.de · 10d

if you turn it sideways you get a bladerunner establishing shot

Jonas Kruckenberg @jonaskruckenberg.de · 10d

something i’ve actually been considering: with „everything is a file“ kinda dead, maybe „everything is just a program“ could be interesting?

every file would basically be its data + a wasm decoder blob that exposes a programmatic handle to the data. wit could make that typesafe too. idk

1

Jonas Kruckenberg @jonaskruckenberg.de · 10d

its both a bit cursed, but at the same time file formats (case in point fonts) have become so complicated that maybe making them just fully turing complete is a simplification actually

1

Jonas Kruckenberg @jonaskruckenberg.de · 10d

I think (?) Raph Levien told me once as a joke that if you wanted to design a font file format today it would just be a self-drawing wasm blob. Kinda the same vibe

2

Jonas Kruckenberg @jonaskruckenberg.de · 11d

Come say hi when you’re in Paris!!

EuroRust @eurorust.eu · 12d

We’re excited to have @jonaskruckenberg.de, creator of k23 - The WebAssembly Operating System, is speaking! Rust panics, stack unwinding and even some assembly reading; it’s going to be a fun ride you don’t want to miss! 🦀 ✨

Check out the schedule 👉 eurorust.eu/schedule/?ut...

#RustLang

6

Reposted by Jonas Kruckenberg

EuroRust @eurorust.eu · 12d

We’re excited to have @jonaskruckenberg.de, creator of k23 - The WebAssembly Operating System, is speaking! Rust panics, stack unwinding and even some assembly reading; it’s going to be a fun ride you don’t want to miss! 🦀 ✨

Check out the schedule 👉 eurorust.eu/schedule/?ut...

#RustLang

2 4

Jonas Kruckenberg @jonaskruckenberg.de · 12d

oh maan 😅 i feel ya

Reposted by Jonas Kruckenberg

Elias 🦀🇵🇸 @elias.sh · 13d

I still don´t understand why GitHub did github.com/actions/runn...

[all OSs] Pin Rust to 1.89.0 due to a 1.90.0 breaking change by erik-bershel · Pull Request #13044 · actions/runner-images

Description Initially reported issue highlights upcoming breaking change. Let's pin current version until some information on that behaviour provided in the developers repo: rust-lang/rust#1459...

github.com

3 1 3

Jonas Kruckenberg @jonaskruckenberg.de · 13d

been using nix in CI for k23 and while my setup isn’t perfect yet im soo much happier
this is just something i don’t need to think about anymore

1 1

Reposted by Jonas Kruckenberg

Vitaly Bragilevsky @bravit.bsky.social · 17d

I’m looking for an intern to work on Rust/RustRover content creation. If you are a university student in any EU country, the UK, Serbia, or Armenia, and you are passionate about Rust and sharing your knowledge, I’d love to hear from you. Please repost to help spread the word. Links below.

1 5 7

Reposted by Jonas Kruckenberg

rain 🌦️ @sunshowers.io · 19d

GNU gettext on Windows
What does Woe32 mean?
“Woe32” denotes the Windows 32-bit operating systems for x86: Windows NT/2000/XP/Vista and Windows 95/98/ME. Microsoft uses the term “Win32” to denote these; this is a psychological trick in order to make everyone believe that these OSes are a “win” for the user. However, for most users and developers, they are a source of woes, which is why I call them “Woe32”.

5 4 61

Jonas Kruckenberg @jonaskruckenberg.de · Sep 13

🚨there’s a phishing campaign targeting crates.io!

so far no reports of compromise, but if you think you might be (no shame) let the rust security team know!

blog.rust-lang.org/2025/09/12/c...