
2025-07-08 16:11:00
Securing Mixed Rust with Hardware Capabilities
Jason Zhijingcheng Yu, Fangqi Han, Kaustab Choudhury, Trevor E. Carlson, Prateek Saxena
https://arxiv.org/abs/2507.03344
from my link log —
Find memory errors in unsafe Rust in production with GWP-ASan and the Scudo hardened allocator.
https://blog.colinbreck.com/making-unsafe-rust-a-little-safer-find-memory-errors-in-production-wit…
EVOC2RUST: A Skeleton-guided Framework for Project-Level C-to-Rust Translation
Chaofan Wang, Tingrui Yu, Jie Wang, Dong Chen, Wenrui Zhang, Yuling Shi, Xiaodong Gu, Beijun Shen
https://arxiv.org/abs/2508.04295
Async Rust: When to Use It and When to Avoid It
“Asynchronous” (often abbreviated as “async”) is a widely used term in computer science, but its meaning varies depending on the context. […]
🦀 https://fmoya.dev/posts/async-rust/
from my link log —
Exploring ways to make async Rust easier.
https://carllerche.com/2021/06/17/six-ways-to-make-async-rust-easier/
saved 2021-06-17
How to deal with (Rust) dependencies
https://notgull.net/rust-dependencies/
Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB
Yuke Peng, Hongliang Tian, Zhang Junyang, Ruihan Li, Chengjun Chen, Jianfeng Jiang, Jinyi Xian, Xiaolin Wang, Chenren Xu, Diyu Zhou, Yingwei Luo, Shoumeng Yan, Yinqian Zhang
https://arxiv.org/abs/2506.03876
This https://arxiv.org/abs/2410.18042 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csPL_…
from my link log —
10 years of stable Rust: an infrastructure story.
https://rustfoundation.org/media/10-years-of-stable-rust-an-infrastructure-story/
saved 2025-05-15
»6 Fehler, die sich Rust-Devs sparen sollten:
Wenn Sie Rust-Code schreiben, sollten Sie dieses halbe Dutzend Verfehlungen tunlichst vermeiden.«
Das Programmieren in Rust auch nicht an einem Wochenende gelernt ist, wie viele Scriptsprachen, ist klar. Durch deren Präzision aber auch sehr sicher (Fehler sind überall von Menschen einfließbar) und schnell, auch per WASM im Webbrowser.
🦀
🇺🇦 Auf radioeins läuft...
Ben Böhmer:
🎵 Rust (Radio Edit)
#NowPlaying #BenBöhmer
https://benbohmer.bandcamp.com/track/rust
https://open.spotify.com/track/1c0gopa3ANBpKL59SKU3EZ
MAGA Antitrust Agenda Under Siege by Lobbyists Close to Trump (Wall Street Journal)
https://www.wsj.com/us-news/law/maga-antitrust-agenda-under-siege-by-lobbyists-close-to-trump-18558898
http://www.memeorandum.com/250806/p141#a250806p141
Faced with US heat waves, the Navajo push for power—and A/C
#energy
Ubuntu 25.10 Switches to Rust-based Sudo
https://www.omgubuntu.co.uk/2025/05/ubuntu-25-10-rust-sudo-rs-change
Forcrat: Automatic I/O API Translation from C to Rust via Origin and Capability Analysis
Jaemin Hong, Sukyoung Ryu
https://arxiv.org/abs/2506.01427 https:/…
Rust Implementation of Finite Element Exterior Calculus on Coordinate-Free Simplicial Complexes
Luis Wirth
https://arxiv.org/abs/2506.02429 https://…
Best comment ever below this post:
"You know what else is unsafe? Life, yet we do it all the time.
I don’t care about rust and it’s artistic fanatics doing artistic screeching every time some C programmer uses a pointer."
👏🏻😂🙏😬🫣😳
https://hackaday.com/2025/08/04/a-gent
@… That's because Rust Never Sleeps, as Neil Young told us.
Rust vs. C for Python Libraries: Evaluating Rust-Compatible Bindings Toolchains
Isabella Basso do Amaral (University of S\~ao Paulo), Renato Cordeiro Ferreira (University of S\~ao Paulo, Jheronimus Academy of Data Science, Technical University of Eindhoven, Tilburg University), Alfredo Goldman (University of S\~ao Paulo)
https://
I've sent out a funding application to OSFF for Intel ME tooling.
🥳
I had started an Intel ME file system parser for recent and current versions:
https://github.com/fiedka/me_fs_rs 👈🧐
Then I realized how much overlap there is between this, MEAnalyzer, the long unmaintained me_clean…
Weird expressions in rust
```info
Note that these are not bugs, but rather extreme cases of rust features like loops, expressions, coercion and so on.
```
🦀 https://www.wakunguma.com/blog/rust-weird-expr
A blog post summarizing our latest work: a static analyzer that leverages Rust in a non-trivial way!
https://blog.brownplt.org/2025/08/03/paralegal.html
I am at the same position as this post lines out. I’m neither hard core pro or anti LLMs. I think they are useful in specific contexts e.g. distilling and querying big chunks of text based information. They are not a hail mary solution to every problem.
„A lot of people like Rust and hate Go, and a lot of people like Go and hate Rust. That’s fine. That doesn’t bother me. But there’s something different about [AI discourse] that is driving me up a wall.“
Rust's Stable MIR project is being slept on. It's pitched as a tool for formal verification, but it's more general than that. Once stabilized, it will almost be a stable compiler plugin API!
It doesn't just include what you get from `--emit=mir` (IR for each function), but also has full type and trait information, and will likely even support interactive queries like "does type implement trait”.
In short, it'll be perfect for metaprogramming!
[1/2]…
from my link log —
Behind the scenes of Rust string formatting and format_args!().
https://blog.m-ou.se/format-args/
saved 2023-12-05 https://
»Programmiersprache – Rust 2024 ist die bisher umfangreichste Edition:
Die jüngste Rust-Edition bringt große Neuerungen unter anderem für das Ownership-Modell, Unsafe Rust und Slices.«
Nun gut, dann gibt es mehr zu lernen und dies positiev.
🦀 https://www.…
`scx_bpfland` works really well as scheduler, I can compile Zed which mostly maxes out my CPU and still browse the web comfortably in Firefox.
https://github.com/sched-ext/scx/tree/main/scheds/rust/scx_bpfland
from my link log —
Writing into uninitialized buffers in Rust.
https://blog.sunfishcode.online/writingintouninitializedbuffersinrust/
saved 2025-05-21
Now playing Castlevania: Bloodlines on the Mega Drive 🦇 Time to shake off the rust before going for that 1cc run! Been a while... #megadrive
🇺🇦 Auf radioeins läuft...
Ben Böhmer:
🎵 Rust (Radio Edit)
#NowPlaying #BenBöhmer
https://benbohmer.bandcamp.com/track/rust
https://open.spotify.com/track/4XdQO9wxIeIy7eM65A5kk8
Wooo, first Rust macro written...things continue to progress. Still need to figure out exactly how I want to represent the `F` register though.
#rust #z80 #emulation
I was asked if I could send a screenshot of my Rust learning project to possibly help to be installed. A server that deals with binary encryption, among other things, is not so simply clear to see 😅🤷♂️
(This is now in the INFO login, it's just for showing the request as a demo and doesn't make sense)
#rust
Pyrefly vs. ty: Comparing Python’s Two New Rust-Based Type Checkers
#types
@… Thanks, those are great! I’ve been eyeing Rust, enjoying the really well thought out support it has on STM32. I’m a C guy and wrapping my head around Rust is a whole other project. I’d really love it if there was something as clear as your series but using arm-gcc!
"For the 6 months or so I’ve been quietly porting tmux from C to Rust. I’ve recently reached a big milestone: the code base is now 100% (unsafe) Rust."
https://richardscollin.github.io/tmux-rs/
This https://arxiv.org/abs/2505.21323 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csSE_…
vitalics/rslike: Rust-like but for TypeScript/JavaScript
https://github.com/vitalics/rslike
Python is also the most desired programming language in the Stack Overflow developer survey, while Rust remains the most admired: https://survey.stackoverflow.co/2025/technology#2-programming-scripting-and-markup-languages
This https://arxiv.org/abs/2504.09642 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_ees…
Waiting for issues (read them :-) to be resolved in 0.2.1 before I curl | sudo sh
https://unix.family/@farrokhi/114584340700417951
Kiedy piszesz bibliotekę w #RustLang, bo chcesz bezpiecznego kodu, a zamiast tego dostajesz jakiś paskudny #heisenbug z przekłamaniem danych.
https://…
from my link log —
Simple and fast derived traits in Rust using rules_derive.
https://matx.com/about
saved 2025-07-29 https://dotat.at/:/5O…
@… Have you seen this yet as a Mac person? https://oldbytes.space/@smallsco/114747196289375530
Decompiling Rust: An Empirical Study of Compiler Optimizations and Reverse Engineering Challenges
Zixu Zhou
https://arxiv.org/abs/2507.18792 https://arxiv.…
deepSURF: Detecting Memory Safety Vulnerabilities in Rust Through Fuzzing LLM-Augmented Harnesses
Georgios Androutsopoulos, Antonio Bianchi
https://arxiv.org/abs/2506.15648
I've finally finished the #rustlings #rust challenge! :ablobcheer:
Brian Schottenheimer: Knock the Rust Off | Dallas Cowboys 2025 https://www.youtube.com/watch?v=DjmXqj9X4S0
Don't Unwrap Options: There Are Better Ways #Rust
https://corrode.dev/blog/rust-option-handling-best-practices/
Rust brings day-to-day happiness. 🥰 🦀
https://www.infoq.com/news/2025/07/meta-rust-dx/
from my link log —
Pattern matching and exhaustiveness checking algorithms implemented in Rust.
https://github.com/yorickpeterse/pattern-matching-in-rust
saved 2025-06-02
#Rust is mummy's new favorite, hm? 🤔
Ubuntu 25.10 Replaces sudo With a Rust-Based Equivalent
https://thenewstack.io/ubuntu-25-10-replaces-su…
from my link log —
Bringing runtime index checks to compile time in Rust.
https://ktkaufman03.github.io/blog/2023/04/20/rust-compile-time-checks/
saved 2023-04-27
What I really like about Rust is how much it feels like the code is practically writing itself thanks to all the excellent crates out there.
Once again, I am making great use of the zerocopy crate, specifically Ref:
https://docs.rs/zerocopy/latest/zerocopy/struct.Ref.html
Beyond C/C : Probabilistic and LLM Methods for Next-Generation Software Reverse Engineering
Zhuo Zhuo, Xiangyu Zhang
https://arxiv.org/abs/2506.03504 http…
Zeroize: The Tiny and Memory-Safe Rust Crate - Sensitive Data in Memory: A Hidden Threat
In a secure environment, one of the most overlooked threats is the presence of sensitive data in memory, such as passwords, tokens, cryptographic keys, or card numbers. Even when using Rust, where we emphasize ownership and thread safety, there's another crucial question to consider: What remains in the heap or stack after we no longer need it?
🛡️
So, making slow progress as I learn `rust` things. Instead of going with my usual `union`/`struct` combination in C, I'm resorting to not overflowing/underflowing primitive types and doing things more safely. This snippet of code took far longer than it should've, but it gets the job done.
#programming
Design and Reliability of a User Space Write-Ahead Log in Rust
Vitor K. F. Pellegatti, Gustavo M. D. Vieira
https://arxiv.org/abs/2507.13062 https://arxiv.…
🇺🇦 Auf radioeins läuft...
Ben Böhmer:
🎵 Rust (Radio Edit)
#NowPlaying #BenBöhmer
https://benbohmer.bandcamp.com/track/rust
https://open.spotify.com/track/1c0gopa3ANBpKL59SKU3EZ
from my link log —
Some pitfalls of safe Rust.
https://corrode.dev/blog/pitfalls-of-safe-rust/
saved 2025-04-04 https://
Euphonica is a Rust-Powered MPD Client Heavy on Bling
MPD (Music Player Daemon) is a server-client audio player long popular with Linux users. The headless daemon runs as a background service, typically on a remote audio server. Music is then accessed via a GUI client frontend, which connects to the MPD server to stream content.
🎶
from my link log —
Thoughts on hashing in Rust.
https://purplesyringa.moe/blog/thoughts-on-rust-hashing/
saved 2024-12-13
#OpenAI #Codex CLI Goes Native with #Rust Rewrite 🚀
⚡ Rewritten from #TypeScript to
CISA just published Thorium - and it's written in Rust. 🥳✨🦀
https://github.com/cisagov/thorium
🇺🇦 Auf radioeins läuft...
Ben Böhmer:
🎵 Rust (Radio Edit)
#NowPlaying #BenBöhmer
https://benbohmer.bandcamp.com/track/rust
https://open.spotify.com/track/1c0gopa3ANBpKL59SKU3EZ
from my link log —
Type-level bounded recursion in Rust.
https://catgirl.ai/log/typelevel-bounded-recursion/
saved 2025-05-26
"Bypassing" #specialization in #Rust or How I Learned to Stop Worrying and Love Function Pointers
https://
from my link log —
Adding lookbehinds to Rust’s regex crate.
https://systemf.epfl.ch/blog/rust-regex-lookbehinds/
saved 2025-07-15
from my link log —
Lock-free Rust: how to build a rollercoaster while it’s on fire.
https://yeet.cx/blog/lock-free-rust/
saved 2025-05-16 https://
Replaced article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- Place Capability Graphs: A General-Purpose Model of Rust's Ownership and Borrowing Guarantees
Grannan, B\'il\'y, Fiala, Geer, de Medeiros, M\"uller, Summers
from my link log —
Diagnosing a double-free concurrency bug in Rust's unbounded channels.
https://materialize.com/blog/rust-concurrency-bug-unbounded-channels/
saved 2025-05-15
🇺🇦 Auf radioeins läuft...
Ben Böhmer:
🎵 Rust (Radio Edit)
#NowPlaying #BenBöhmer
https://benbohmer.bandcamp.com/track/rust
https://open.spotify.com/track/1c0gopa3ANBpKL59SKU3EZ
from my link log —
Zero-cost 'tagless initial' in Rust with GADT-style enums.
https://www.inferara.com/en/blog/rust-tagless-final-gadt/
saved 2025-06-03
I just saw someone at Aschaffenburg station with patches on their backpack: the Rust logo and Ferris. 🦀 🎒
from my link log —
faer: a general-purpose linear algebra library for Rust.
https://docs.rs/faer/
saved 2025-03-24 https://dotat.at/:/ILSBW.…
from my link log —
Postgres extensions in Rust.
https://depth-first.com/articles/2021/08/25/postgres-extensions-in-rust/
saved 2021-08-29
sad :3 https://github.com/qilingframework/qiling/issues/253
someone's gotta retry ^^
from my link log —
Re-implementing the Nix protocol in Rust.
https://tweag.io/blog/2024-04-25-nix-protocol-in-rust/
saved 2024-05-06
I just applied for a Rust developer/promoter position at @… - wish me luck y'all! 🥳✨🦀
from my link log —
A Rust API inspired by Python, powered by Serde.
https://ohadravid.github.io/posts/2025-05-serde-reflect/
saved 2025-05-15
Maximize Your #Rust Enums With Strum
https://www.youtube.com/watch?v=NoIqPYLpCFg
»Static Site Generators - Hugo:
Hugo ist einer der beliebtesten Open-Source-Generatoren für statische Websites. Mit seiner erstaunlichen Geschwindigkeit und Flexibilität macht das Erstellen von Websites mit Hugo wieder Spaß.«
Ich pers. bevorzuge Zola, da ich ein Rust Fanboy bin und es extrem schnell ist aber im allgemeinen sind jegliche statische Seiten in den meisten Fällen absolut ausreichend.
🌐
from my link log —
comrak: a CommonMark and GFM compatible Markdown parser and renderer in Rust.
https://github.com/kivikakk/comrak
saved 2025-03-31 …
from my link log —
Optimizing a simple expression parser in Rust.
https://rpallas92.github.io/math-parser/
saved 2025-07-10 https://
from my link log —
LALRPOP: a parser generator for Rust.
https://smallcultfollowing.com/babysteps/blog/2015/09/14/lalrpop/
saved 2025-03-31
from my link log —
Sneak peek: A new ASN.1 API for Python.
https://blog.trailofbits.com/2025/04/18/sneak-peek-a-new-asn.1-api-for-python/
saved 2025-04-18
from my link log —
A survey of every iterator variant in Rust.
https://blog.yoshuawuyts.com/a-survey-of-every-iterator-variant
saved 2025-02-28
from my link log —
facet: type reflection, serialization, deserialization — know the shape of your types in Rust.
https://github.com/facet-rs/facet
saved 2025-04-09
from my link log —
Towards fearless SIMD in Rust, 7 years later.
https://linebender.org/blog/towards-fearless-simd/
saved 2025-03-30