Romain Ruetschi
romac.hachyderm.io.ap.brid.gy
Romain Ruetschi
@romac.hachyderm.io.ap.brid.gy
Rust dev at work • Playing around with Swift and SwiftUI at home • Used to work on formal verification for Scala • Haskell enthusiast • Web dev in a previous […]

[bridged from https://hachyderm.io/@romac on the fediverse by https://fed.brid.gy/ ]
Show the app switcher on all displays on #macos:

$ defaults write com.apple.Dock appswitcher-all-displays -bool true
$ killall Dock
August 3, 2025 at 5:39 PM
Reposted by Romain Ruetschi
My deck for my April talk at Armasuisse's Deftech on AI and Trust. I added the high level narrative/argument behind my slides below.

https://www.whispersandgiants.com/2025/06/11/ai-and-trust-deftech-talk-at-armasuisse/
June 11, 2025 at 12:49 PM
Finally upgraded Neovim to 0.11 and AstroNvim to v5, was almost totally painless 🎉 "Almost" because I did not read the migration guide close enough and forgot to nuke my .cache/nvim folder, which got lazy.nvim super confused 🤦🏼‍♂️
April 5, 2025 at 12:24 PM
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
March 12, 2025 at 12:47 PM
The new https://oxide.computer homepage is 🔥 🔥 🔥
Oxide Computer Company
Servers as they should be. Hardware, with the software baked in, for running infrastructure at scale.
oxide.computer
January 21, 2025 at 5:45 PM
Flappy Bird implemented in Typescript types by compiling type-level computations into bytecode and executing it on a VM: https://zackoverflow.dev/writing/flappy-bird-in-type-level-typescript #rust #rustlang #Zig #ziglang #typescript
Flappy Bird Implemented in Typescript types
The ultimate type-level trickery
zackoverflow.dev
January 15, 2025 at 8:22 AM
TIL about https://diff.rs, a web app for viewing source code diffs between two versions of a crate. Neat! #rustlangstlang
diff.rs
View what is changed between different versions of crates published on crates.io.
diff.rs
December 11, 2024 at 10:49 AM
Nice hack! I guess that's the closest we'll get to proper linear types for a while, due to reasons outlined in https://faultlore.com/blah/linear-rust/
https://geo-ant.github.io/blog/2024/rust-linear-types-use-once/
November 27, 2024 at 10:32 AM
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 😛 #rustlang
November 25, 2024 at 5:16 PM