Sign in

Davy

@davy.quest
51 followers 119 following 107 posts

Fullstack engineer who loves to build things 🛠️ #Zig #Rustlang #TypeScript #Nature #Science davy.quest

PostsRepliesMedia
Reposted by Davy
rain 🌦️ @sunshowers.io · 6h
sunshowers.io
Anthropic's Scion is heavily inspired by Mononoke
It is important to provide credit.
112120
Davy @davy.quest · 13/10/2026
It's fascinating to see engineering evolve and thrive through new challenges 🛠️!
010
Reposted by Davy
Kevin Beaumont @doublepulsar.com · 12/10/2026
I recreated it, super easy to pull off. cyberplace.social/@GossiTheDog...
cyberplace.social
Kevin Beaumont (@GossiTheDog@cyberplace.social)
Attached: 1 image Regarding the Danfoss fridge thing doing the rounds in the media - there’s several thousand of them that are directly internet facing. The username is admin and the password chang...
072
Davy @davy.quest · 13/10/2026
Today's experiment: using Claude evals to test and grade our engineering skills. That's actually quite neat!
000
Davy @davy.quest · 13/10/2026
A hole in #rust 's borrow checker has been discovered github.com/rust-lang/ru...
github.com
struct's lifetime requirements can be bypassed via covariant field assignment · Issue #164250 · rust-lang/rust
In the following code: use std::sync::Mutex; static KEPT: Mutex<Vec<Box<dyn std::any::Any + Send>>> = Mutex::new(Vec::new()); struct Q<T: 'static + Send>(Option<T>); impl<T: 'static + Send> Drop fo...
000
Davy @davy.quest · 12/10/2026
💯
000
Davy @davy.quest · 12/10/2026
@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 :)
000
Reposted by Davy
Skye @skydeval.nearhorizon.app · 12/10/2026
Hello. I noticed Clearsky has been down for a while. So I made this.
github.com
GitHub - skydeval/farsight: A self-hosted index of public block records on the AT Protocol network, with an API
A self-hosted index of public block records on the AT Protocol network, with an API - skydeval/farsight
4216
Davy @davy.quest · 10/10/2026
Autumn nature walk 🍂🍁
Autumn nature walk in the woods
010
Davy @davy.quest · 10/10/2026
Nothing beats an autumn nature walk 🍁🍂
Autumn nature walk in the forest
000
Davy @davy.quest · 09/10/2026
Goodbye Deno ☠️ blog.cloudflare.com/deno-joins-c...
blog.cloudflare.com
Deno is joining Cloudflare
The Deno team is joining Cloudflare to radically simplify self-hosting Workers and Durable Objects, so developers can use the same primitives in more places.
000
Davy @davy.quest · 07/10/2026
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...
reddit.com
From the ClaudeAI community on Reddit
Explore this post and more from the ClaudeAI community
000
Davy @davy.quest · 06/10/2026
Perhaps formal might be of use github.com/yamafaktory/... ? I'd be curious to see it running against nextest :)
010
Davy @davy.quest · 05/10/2026
Note to self: when starting a remote controlled session in Claude Code, don't check the /usage and leave it toggled in the terminal otherwise you can't control your session at all 🙈.
000
Davy @davy.quest · 04/10/2026
Just finished The Blood of Dawnwalker. That game was epic! Looking forward to the sequel 🦇.
000
Davy @davy.quest · 04/10/2026
Homemade quince paste #cooking
Homemade quince paste
020
Reposted by Davy
Doll @dollspace.gay · 02/10/2026
Those who commune with demons unprotected risk their very minds and souls
5775
Davy @davy.quest · 02/10/2026
Zig v0.17 is expected to be released soon codeberg.org/ziglang/zig/... 🚀
000
Davy @davy.quest · 01/10/2026
Looking forward to it!
010
Davy @davy.quest · 01/10/2026
Google is massively migrating its C/C++ codebase to Rust using Argon blog.google/innovation-a...
blog.google
Gemini 4 Argon: our next era of frontier intelligence
Announcing Gemini 4 Argon, our frontier model for real-world coding, enterprise knowledge work, and cyber defense, rolling out soon.
010
Davy @davy.quest · 30/09/2026
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/...
github.com
GitHub - yamafaktory/formal: A Lean 4 + Mathlib proof service for the agent working on your code
A Lean 4 + Mathlib proof service for the agent working on your code - yamafaktory/formal
000
Davy @davy.quest · 30/09/2026
Oh, that Claude free reset is very welcomed :)
001
Davy @davy.quest · 29/09/2026
rm -rf -- !(dog)
020
Davy @davy.quest · 29/09/2026
It's all about gamification these days. I can't tell if I'm looking at Instagram or LinkedIn. Same vibe. Plus the fact that they intentionally slow down scrolling is so bad.
020
Davy @davy.quest · 28/09/2026
Thanks for sharing, this is super interesting. I'm building github.com/yamafaktory/formal, which might be of interest to you.
010
Davy @davy.quest · 28/09/2026
We see a clear acceleration in tooling performance these days. I'm assuming that it might be directly correlated to LLMs usage. It has drastically improved local development and production builds at work 🚀!
000
Davy @davy.quest · 28/09/2026
The Opus 5.5 + Figma combo is very impressive now. If you have a proper design system in place, Claude is really good and produces excellent results.
010
Davy @davy.quest · 27/09/2026
@jevbot.bsky.social ask yourself a recursive question, reply by another one, don't stop.
110
Davy @davy.quest · 27/09/2026
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.
github.com
GitHub - Themaister/pyrowave
Contribute to Themaister/pyrowave development by creating an account on GitHub.
010
Davy @davy.quest · 26/09/2026
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
100
Davy @davy.quest · 24/09/2026
And it's more token efficient!
000
Davy @davy.quest · 24/09/2026
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
github.com
GitHub - yamafaktory/formal: A Lean 4 + Mathlib proof service for the agent working on your code
A Lean 4 + Mathlib proof service for the agent working on your code - yamafaktory/formal
010
Reposted by Davy
Matt Henderson @matthen.com · 23/09/2026
Repeatedly subdividing a triangle using its centroids
1022137
Davy @davy.quest · 21/09/2026
Eguisheim - Elsass
Eguisheim - Elsass
000
Davy @davy.quest · 21/09/2026
AX - Google's open agentic orchestrator github.com/google/ax
github.com
GitHub - google/ax: Google's open agentic orchestrator
Google's open agentic orchestrator. Contribute to google/ax development by creating an account on GitHub.
000
Davy @davy.quest · 19/09/2026
So far it's doing its job quite well.
000
Davy @davy.quest · 18/09/2026
That was a super interesting reading, thanks for sharing your experience!
040
Davy @davy.quest · 18/09/2026
I'm very confident that some folks are cooking a new programming language that will get the best parts of #Rust & #Zig (and #lean perhaps). All that empowered and accelerated by LLM usage. We've seen this trend over the years, where basically all programming languages tend to converge.
000
Davy @davy.quest · 18/09/2026
Another LLM migration to Rust github.blog/ai-and-ml/ge...
github.blog
Migrating the GitHub Copilot runtime to Rust, using Copilot
A rewrite this size wasn't affordable before agents. Here's what porting the Copilot agent runtime to 800,000 lines of production Rust actually took.
110
Davy @davy.quest · 17/09/2026
Oh man, that's next level, a mix of social engineering plus some real hacking involved blog.rust-lang.org/2026/09/17/t...
blog.rust-lang.org
Be alert: targeted attacks on prominent Rustaceans | Rust Blog
Empowering everyone to build reliable and efficient software.
000
Reposted by Davy
Nicolas Hénin @nicolashenin.net · 17/09/2026
Nice campaign by the Norwegian Consumer Council about the declining lifespan of products. Enjoy!
181141086480
Davy @davy.quest · 17/09/2026
Got access to Jev this morning! Thinking about what to do next with it.
000
Davy @davy.quest · 16/09/2026
The idea of replacing pull requests is quite interesting! zed.dev/blog/delta-p...
zed.dev
Replacing Pull Requests with Delta - Zed Blog
From the Zed Blog: Delta is now in public beta. Replacing pull requests is our first step toward replacing GitHub.
000
Davy @davy.quest · 16/09/2026
Have you read about seldo.com/posts/nobody... ? Interesting times indeed!
121
Davy @davy.quest · 15/09/2026
Today I've built a Gitlab merge trains dashboard as a Python CLI with Claude at work. Getting an overview and some ETAs was so annoying on a big monorepo. Now the whole thing is visual and addictive.
110
Davy @davy.quest · 14/09/2026
Interesting talk with Demis Hassabis & Hannah Fry on the AI Revolution, the Future of AI and Human Creativity www.youtube.com/watch?v=rDte...
youtube.com
Sir Demis Hassabis on the AI Revolution, the Future of AI and Human Creativity | Hannah Fry
YouTube video by Royal Society of Arts
000
Reposted by Davy
Shaw @shaw.city · 12/09/2026
Oops. I invented a new CSS shrink-wrap technique and blogged about it. blog.codepen.io/2026/09/11/s...
blog.codepen.io
Shrink-wrap Text with `position-anchor`
Normal text wrapping can leave big gaps in your container, which can become even more exaggerated with the new-ish CSS values of text-wrap: balance and text-wrap: pretty. You almost certainly want …
69116
Davy @davy.quest · 11/09/2026
#caturday
Cat under grapevine
030
Davy @davy.quest · 11/09/2026
Hate it or love it, but LLMs are clearly driving engineering decisions shopify.engineering/back-to-native. I clearly see that trend with strongly typed languages taking over, in particular the ones that are "LLM-friendly".
000