After using OpenCode for only 5 min, I can't believe how bad Claude Code actually is. It's like it vibe-coded itself into a messy, laggy, buggy piece of software.
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
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/
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 🤦🏼♂️
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
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
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/
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