Stefan (@schteppe) 's Twitter Profile
Stefan

@schteppe

Senior software engineer @StarStable. C++, physics, Jelly Mario, p2.js, cannon.js

ID: 23927374

linkhttps://jellymar.io calendar_today12-03-2009 10:05:41

7,7K Tweet

3,3K Followers

1,1K Following

Stefan (@schteppe) 's Twitter Profile Photo

”The image loaders written in Rust are usually on-par with, & sometimes even faster than, their C/Assembly counterparts, while only using memory safe code. In practical tests, we did find considerable speed improvements, especially for JPEG & PNG images.” blogs.gnome.org/sophieh/2025/0…

𝕐 (@nomad421) 's Twitter Profile Photo

bzip2 officially switching from C to Rust. Not only is Rust a nicer language for the implementation, and not only is it safer, but the Rust implementation is also *faster* than the C implementation... C-niles will have to up their doses of copium. trifectatech.org/blog/bzip2-cra…

Teortaxes▶️ (DeepSeek 推特🐋铁粉 2023 – ∞) (@teortaxestex) 's Twitter Profile Photo

Impressive flex from the University of Utah: Augmented Vertex Block Descent (AVBD) «Vertex Block Descent is a fast physics-based simulation method that is unconditionally stable, highly parallelizable, and capable of converging to the implicit Euler solution»

solst/ICE (@icesolst) 's Twitter Profile Photo

I’ve always considered formal methods to be a grandiose aspiration that’s disconnected from reality. - No commercial company can afford to spend time formally verifying components - verified components don’t guarantee any attributes for the system as a whole - “faster and

HSVSphere (@hsvsphere) 's Twitter Profile Photo

Creator of FilC try not to be disingenuous challenge (IMPOSSIBLE) libbzip2-rs doesn't actually aim to remove all unsafe, it's literally just a cleaned up c2rust implementation. A manual one would have way less `unsafe` (or even none at all, yeah). it's also ~10% faster than the

𝕐 (@nomad421) 's Twitter Profile Photo

This is a horribly disingenuous take (removing unsafe from the automated transformation hasn't even been a goal yet), & it ignores that the Fil-C implementation is waaay slower than the original C, while the rust translation is *faster* than the C implementation.

Dave Farley (@davefarley77) 's Twitter Profile Photo

"How productive are your developers?" or "How easy is it for your developers to do the right thing?" I bet you've been part of teams that measure productivity with ticket counts, burndown charts, or lines of code, but productivity in software is about feedback, flow, and focus.