-- 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,
})
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
12.03.2025 12:46 — 👍 1 🔁 1 💬 0 📌 0
Flappy Bird Implemented in Typescript types
The ultimate type-level trickery
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
15.01.2025 08:24 — 👍 4 🔁 0 💬 0 📌 0
diff.rs
View what is changed between different versions of crates published on crates.io.
TIL about diff.rs, a web app for viewing source code diffs between two versions of a crate. Neat! #rust
11.12.2024 10:45 — 👍 1 🔁 0 💬 0 📌 0
I fondly remember giving a Rust workshop at EPFL with a friend back in November 2014, shortly after discovering the language. The workshop itself didn't go so well as I didn't understand all the subtleties and implications of borrow checking and other stuff, but it was still fun 😅 #rust #rustlang
23.11.2024 12:29 — 👍 3 🔁 0 💬 0 📌 0
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
23.11.2024 12:29 — 👍 3 🔁 0 💬 2 📌 0
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.
23.11.2024 11:51 — 👍 6 🔁 0 💬 0 📌 0
