whetū v0.1.11 has been released 🚀! yamafaktory.github.io/whetuu/ github.com/yamafaktory/... #opensource #zig #dev #terminal

whetū — a zero-config status line and history picker in Zig

One binary, no config file. Git state, 39 toolchains and a syntax-highlighted history picker, in about 2 ms.

yamafaktory.github.io

Any #dev using devenv.sh at work? How is the experience?

devenv

Fast, Declarative, Reproducible, and Composable Developer Environments using Nix

devenv.sh

That's interesting to see the direction Rust is taking VS the one Zig took regarding LLMs' usage. blog.rust-lang.org/inside-rust/... ziglang.org/code-of-cond... #rust #zig

Og that's neat, Polonius is finally on nightly! blog.rust-lang.org/2026/08/04/e... #rust

Enabling the next iteration of the borrow checker on nightly | Rust Blog

Empowering everyone to build reliable and efficient software.

blog.rust-lang.org

Hey folks 🖖, I'm Davy, a senior software engineer based in France, building for #startups in Germany since 2014. I love #nature, #opensource, #science, and plenty more. At work I write a lot of #java and #typescript. Outside of it, my focus these days is #zig and #rust. #introduction #dev

Alright, just migrated to @eurosky.social 🚀! Great work & pretty straightforward process!

Great, another day with totally unbearable temperatures 🔥🧟 (35°C in Colmar - France).

Rust in the age of Generative AI www.youtube.com/watch?v=2937... #rust #rustlang #llm #ai

A while ago, I toyed with a LLM-driven property checker for code, backed by Lean 4 and Mathlib: github.com/yamafaktory/... #lean4 #mathlib

GitHub - yamafaktory/formal: LLM-driven property checker for code, backed by Lean 4 and Mathlib

LLM-driven property checker for code, backed by Lean 4 and Mathlib - yamafaktory/formal

github.com

🚀

Vite@vite.dev · 6d ago

Vite 8.2 is out 🚀 • Top-level `input` option: No need to use `build.rolldownOptions` • Warnings for config features the native loader can't handle yet • PostCSS config type export for type-safe configs • Dev URLs now labeled by their interfaces More info in the changelog github.com/vitejs/vite/...

That looks really neat! One of the biggest pain points with agents is definitely their tendency to be super verbose. github.com/danyuchn/asd... #Claude #llm

GitHub - danyuchn/asd-ste100-skill: ASD-STE100 Simplified Technical English rules, repurposed as a Claude Code skill for rewriting ambiguous agent-facing English.

ASD-STE100 Simplified Technical English rules, repurposed as a Claude Code skill for rewriting ambiguous agent-facing English. - danyuchn/asd-ste100-skill

github.com

@cachyos.org + Niri + Noctalia is the ultimate #Wayland combo. That's what you need for productivity.

HypergraphZ – directed hypergraph library in #Zig with #Python bindings github.com/yamafaktory/...

Today I'm doing a full migration at my company from ESLint to Oxlint @voidzero.dev thanks to Type-Aware Linting & JS Plugins Alpha. It's a big win on many front (memory consumption + speed in the CI). And it was pretty straightforward!

Inside Zig's Incremental Compilation mlugg.co.uk/posts/increm... #zig

I made a thing I'm using as my daily driver, it's basically replacing both atuin and starship. Whetū - An opinionated, zero-config status line and history picker for fish, bash and zsh, written in #zig yamafaktory.github.io/whetuu #terminal #shell

whetū — a zero-config status line and history picker in Zig

One binary, no config file. Git state, 39 toolchains and a syntax-highlighted history picker, in about 2 ms.

yamafaktory.github.io

#kdc2 #games #gaming

yamafaktory@davy.quest · last wk.

Kutná Hora - Central Bohemian Region of Czechia

#kdc2 #games #gaming

yamafaktory@davy.quest · last wk.

Kutná Hora - Central Bohemian Region of Czechia

Kutná Hora - Central Bohemian Region of Czechia

I made a thing I'm using as my daily driver, it's basically replacing both atuin and starship. Whetū - An opinionated, zero-config status line and history picker for fish, bash and zsh, written in #zig yamafaktory.github.io/whetuu #terminal #shell

whetū — a zero-config status line and history picker in Zig

One binary, no config file. Git state, 39 toolchains and a syntax-highlighted history picker, in about 2 ms.

yamafaktory.github.io