Davy
Davy
@davy.quest
Fullstack engineer who loves to build things π οΈ #Zig #Rustlang #TypeScript #Nature #Science https://davy.quest
73 followers127 following125 posts
Oh, that sounds promising, I need to give it a try! blaze - incremental rust builds up to 92x faster than cargo/rustc github.com/indexable-in...
I built a Claude skill for clearer technical writing. It enforces concrete rules and audits its output for sentence length, structure, word choice, and clarity. Validated with evals at work, now adopted by our team for specs, PRs, and code reviews. github.com/yamafaktory/...
Davy reposted
Friday vibes (β―Β°β‘Β°)β―οΈ΅ β»ββ» ! youtu.be/-5ZXrO_lYSA?...
Davy reposted
This era will be remembered as the Great Agentic Rustification π¦!
Introducing tsrs: a Rust port of the TypeScript compiler π¦ We are not forking TypeScript! β In close collab with the TypeScript team β Up to 8x faster than TS 7.0 & ~70% less memory β Runs in WASM (works in your browser & workers) β Soon part of Oxc npx tsrs blog.cloudflare.com/typescript-r...
Davy reposted
LayerFS: a Git-like environment for agents itβs extremely fast, because it uses Linuxβ layered filesystems to avoid any file copies for files that donβt change github.com/Ephemeral-AI...
Oh, No Rest for the Wicked 1.0 is bringing so much on the table! Can't wait to play it again youtu.be/9M236rDAfgQ
Super interesting article that clearly highlights why Rust and agentic coding are a super powerful combo. smallcultfollowing.com/babysteps/bl...
Davy reposted
JPEG XL has arrived on the web, but how does it stack up against AVIF? jakearchibald.com/2026/jpeg-xl...
Davy reposted
Davy reposted
Replying to @joetidy.bsky.social
I recreated it, super easy to pull off. cyberplace.social/@GossiTheDog...
A hole in #rust 's borrow checker has been discovered github.com/rust-lang/ru...
@mu.social is any update of the Android app planned. The last version is from end of September, and I guess you might have a bunch of fixes already prepared :)
Davy reposted
Hello. I noticed Clearsky has been down for a while. So I made this.
Someone used Claude Code to find a planet, this isn't confirmed yet but the whole approach is really neat! www.reddit.com/r/ClaudeAI/c...
Davy reposted
Those who commune with demons unprotected risk their very minds and souls
It is a little disconcerting that so many people who know a lot about LLMs on a technical level appear to go a little insane. It would be like if there was a really cool and effective new kind of pen, and for some reason about 40% of the people involved in the pen making process went mad.
Google is massively migrating its C/C++ codebase to Rust using Argon blog.google/innovation-a...
Got a coworker to use formal to prepare some implementation plan for the first time π. He got some scenarios & gaps to iterate it, helping with more rules. By the way, binaries are now downloadable via curl! github.com/yamafaktory/...
@jevbot.bsky.social ask yourself a recursive question, reply by another one, don't stop.
PyroWave is the new low latency codec Valve is using github.com/Themaister/p.... It's using Vulkan and it's optimized for extremely fast GPU encode.
Yesterday I ran formal (github.com/yamafaktory/...) against our backend at work. Claude Code found several critical bugs with it when formalizing proofs and when checking them. Pretty happy with the outcome! #lean4 #rust
formal - a property checker for code, backed by Lean 4 and Mathlib. Your agent writes the properties and the proofs; formal checks them. github.com/yamafaktory/... #lean #mathlib #rust #dev #llm #code
Davy reposted
Oh man, that's next level, a mix of social engineering plus some real hacking involved blog.rust-lang.org/2026/09/17/t...
Davy reposted
The idea of replacing pull requests is quite interesting! zed.dev/blog/delta-p...