@davy.quest - yamafaktory

29 Aug 2026 10:16 +0000

The current state of politics on Earth is utterly vile and disconnected from reality. We need a sortition awakening now.

26 Aug 2026 14:55 +0000

If you don't use Knip yet, you definitely should! [contains quote post or other embedded content]

24 Aug 2026 14:12 +0000

Super interesting AGENTS.md from @fabinou.bsky.social fabiensanglard.net/agent.md/ https://fabiensanglard.net/agent.md/

24 Aug 2026 13:54 +0000

@neovim.io 0.12.5 has been released 🚀! https://github.com/neovim/neovim/releases/tag/v0.12.5 #nvim #neovim

23 Aug 2026 13:59 +0000

Someone has built an English <-> Claudish translator https://github.com/programasweights/claudish

20 Aug 2026 21:28 +0000

In a Zig project, if you're using a just file you probably don't need it. Just use the build system - no pun intended).

20 Aug 2026 08:14 +0000

@bsky.app what's the plan with https://github.com/bluesky-social/social-app/issues/5895?

20 Aug 2026 07:44 +0000

And now @vitejs/plugin-react got the experimental native React Compiler support 🚀! https://github.com/vitejs/vite-plugin-react/releases/tag/plugin-react%406.1.0 At work (rather big monorepo): 32.8s -> 5.3s 😍 [contains quote post or other embedded content]

19 Aug 2026 20:25 +0000

Another version of whetū has been released 🚀! v0.1.15 introduces a new upgrade command - the status line will indicate when a new version is available. Run `whetuu upgrade` to install it (use the --check flag to perform a dry run). yamafaktory.github.io/whetuu/ #terminal #opensource #zig https://yamafaktory.github.io/whetuu/

19 Aug 2026 14:14 +0000

Stop being skeptical about AI for development with @charity.wtf & @pragmaticengineer.com https://www.youtube.com/watch?v=HC8T1OlgYi0 #engineering #ai #llm

19 Aug 2026 10:03 +0000

Just released a new version of whetū - An opinionated, zero-config status line and history picker for fish, bash and zsh, written in Zig https://github.com/yamafaktory/whetuu yamafaktory.github.io/whetuu/

18 Aug 2026 10:37 +0000

I've just started reading Eve: How the Female Body Drove 200 Million Years of Human Evolution by @catbohannon.bsky.social . I'm hooked! Highly recommend it! #book

17 Aug 2026 11:47 +0000

Tasty Phở 🍜!

17 Aug 2026 09:48 +0000

Formal has been migrated to #rust https://github.com/yamafaktory/formal 🚀 #lean #lean4

17 Aug 2026 07:02 +0000

Finally a full rainy day in Elsass!

16 Aug 2026 06:38 +0000

Software Engineering fundamentals matter more than ever https://rhonabwy.com/2026/08/15/software-engineering-fundamentals-matter-more-than-ever/

14 Aug 2026 08:53 +0000

@atproto.com I made another AT Protocol SDK in pure Zig here, which should be fully compliant :) https://github.com/yamafaktory/atproto-zig If this is irrelevant, please ignore 🙇!

12 Aug 2026 16:18 +0000

It's been a bit more than half a year since we switched to Claude Code at work. I've always been a terminal user, now basically my whole dev environment is mostly plain terminal all day long. Claude Code + Ghostty + Neovim + Lazygit + whetū. On top of CachyOS, with Niri and Noctalia.

12 Aug 2026 15:36 +0000

Did some work on formal - LLM-driven property checker for code, backed by Lean 4 and Mathlib. It's not using Docker anymore, you can install it using uv directly. Also fixed a bunch of issues. Give it a try! https://github.com/yamafaktory/formal

12 Aug 2026 08:45 +0000

Awesome conversation, go watch it! I'm convinced that Lean will become the de facto tool for software verification. I played with something similar a while ago https://github.com/yamafaktory/formal. [contains quote post or other embedded content]

10 Aug 2026 18:56 +0000

Just released atproto-zig - A pure-Zig implementation of the AT Protocol, with no dependencies 🚀! https://github.com/yamafaktory/atproto-zig #atproto #zig

11 Aug 2026 10:53 +0000

Claude will soon watermark AI-generated content https://support.claude.com/en/articles/16266773-how-claude-marks-ai-generated-content #claude

11 Aug 2026 10:15 +0000

✅ "Hey Claude, there's a concurrency bug in this code. Fix it" "Here the fix. I did xyz" ❌ "Claude, make this readme 50% smaller" "x words — that's a 40% cut, not 50%. Tightening further" "y words — not there yet. Trying again" "z words — almost there"

10 Aug 2026 18:56 +0000

Just released atproto-zig - A pure-Zig implementation of the AT Protocol, with no dependencies 🚀! https://github.com/yamafaktory/atproto-zig #atproto #zig

10 Aug 2026 16:16 +0000

First issue tackled on whetū - An opinionated, zero-config status line and history picker for #fish, #bash and #zsh, written in #Zig. TAB now returns the selection, which is more intuitive. https://github.com/yamafaktory/whetuu

09 Aug 2026 19:03 +0000

🚀 [contains quote post or other embedded content]

06 Aug 2026 22:25 +0000

Zig’s Io.Threaded is Neat https://matklad.github.io/2026/08/06/neat-io-threaded.html #zig

06 Aug 2026 17:07 +0000

Latest lazygit release was quite massive! https://github.com/jesseduffield/lazygit/releases/tag/v0.64.0 The spinner for long-running operations is quite neat.