Romain Ruetschi
LightNews LightNews
banner
romac.me
Romain Ruetschi
@romac.me
88 followers 710 following 7 posts
Hi! I am Romain (or Romac).

At work, I strive to build correct and resilient distributed systems using Rust and formal methods.

At home, I like writing mini-compilers and all sorts of software in Rust, Scala, Swift and Haskell.
Posts Replies Media Videos
romac.me
@maybevoid.com Have you seen this? cel.cs.brown.edu/blog/an-inte... Might be useful for debugging cgp errors
An Interactive Debugger for Rust Trait Errors
Advanced type systems can cause bewhildering error messages and Rust's trait system certainly is no exception! In this paper we present Argus, an IDE extension for interactively debugging Rust traits,...
cel.cs.brown.edu
May 6, 2025 at 7:49 AM
Reposted by Romain Ruetschi
romac.hachyderm.io.ap.brid.gy
Protip: To automatically change the Wezterm tab title to match the current Neovim buffer, add this to your Neovim config (code in alt) #wezTerm #neovim
-- WezTerm integration vim.api.nvim_create_autocmd({ "BufEnter" }, { callback = function(event) local title = "nvim" if event.file ~= "" then title = string.format("nvim: %s", vim.fs.basename(event.file)) end vim.fn.system { "wezterm", "cli", "set-tab-title", title } end, }) vim.api.nvim_create_autocmd({ "VimLeave" }, { callback = function() -- Setting title to empty string causes wezterm to revert to its -- default behavior of setting the tab title automatically vim.fn.system { "wezterm", "cli", "set-tab-title", "" } end, })
March 12, 2025 at 12:47 PM
romac.me
Flappy Bird implemented in Typescript types by compiling type-level computations into bytecode and executing it on a VM

zackoverflow.dev/writing/flap...

#rust #rustlang #zig #ziglang #typescript
Flappy Bird Implemented in Typescript types
The ultimate type-level trickery
zackoverflow.dev
January 15, 2025 at 8:24 AM
romac.me
TIL about diff.rs, a web app for viewing source code diffs between two versions of a crate. Neat! #rust
diff.rs
View what is changed between different versions of crates published on crates.io.
diff.rs
December 11, 2024 at 10:45 AM
romac.me
Nice hack! geo-ant.github.io/blog/2024/ru...

I guess that's the closest we'll get to proper linear types for a while, due to reasons outlined in faultlore.com/blah/linear-...
Cursed Linear Types In Rust
Inspired by Jack Wrenn’s post on Undroppable Types in Rust, I set out to see if it’s possible to create types that must be used exactly once. From my understanding, those things are called linear type...
geo-ant.github.io
November 27, 2024 at 10:34 AM
romac.me
Just realized that as of this month, I can now claim to have 10 years of Rust experience (but only 5 professionally)🥳 Whether or not I am good at it is a whole other question 😛 #rust #rustlang
November 23, 2024 at 12:29 PM
romac.me
Hi! I am Romain (or Romac).

At work, I strive to build correct and resilient distributed systems using Rust and formal methods.

At home, I like writing mini-compilers and all sorts of software in Rust, Scala, Swift and Haskell.
November 23, 2024 at 11:51 AM