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 · 4h
sunshowers.io
Anthropic's Scion is heavily inspired by Mononoke
It is important to provide credit.
110417
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 · 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
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 · 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
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 · 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 · 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
Davy @davy.quest · 11/09/2026
Saor - Carved In Stone MMXXVI www.youtube.com/watch?v=lH9a...
youtube.com
Saor - Carved In Stone MMXXVI (Official Music Video)
YouTube video by Season of Mist
000
Davy @davy.quest · 10/09/2026
It's just a tool in your belt, a powerful one though. We need to stop splitting the dev community in two halves. We want good engineering - empowered by AI / LLMs - to survive at the age of agentic coding. That's the way to go :) !
000
Davy @davy.quest · 09/09/2026
The Blood of Dawnwalker is so addictive and the combat system is really great!
000
Davy @davy.quest · 08/09/2026
And now jql has an online documentation with examples yamafaktory.github.io/jql/ 🚀
yamafaktory.github.io
jql — JSON Query Language
jql is a fast, lightweight command-line tool to query JSON. The complete grammar, with every example generated by running jql itself.
000
Davy @davy.quest · 08/09/2026
jql is now using simd-json with some great performance improvements 🚀! github.com/yamafaktory/... #rust #cli #opensource #tool
github.com
GitHub - yamafaktory/jql: A JSON Query Language CLI tool
A JSON Query Language CLI tool. Contribute to yamafaktory/jql development by creating an account on GitHub.
020
Davy @davy.quest · 07/09/2026
Rust / Zig fuzzing all the things 🛠️!
000
Davy @davy.quest · 07/09/2026
Great, 2027 dystopia is definitely on its way! www.theguardian.com/world/2026/s...
theguardian.com
Far-right AfD wins key German state election but falls just short of majority
Alternative für Deutschland surges to victory in Saxony-Anhalt as Friedrich Merz’s CDU slumps to disastrous result
000
Davy @davy.quest · 05/09/2026
1/2 Code review is now the biggest bottleneck when using LLMs. I was reading lobste.rs/s/7tpc5q/sur... and I'm convinced that the solution is to tackle most of the pain upfront.
lobste.rs
Surviving Code Reviews in the era of AI
81 comments
100
Reposted by Davy
Dr. Serge Zaka @sergezaka.bsky.social · 04/09/2026
Notre climat est littéralement en train de partir en cacahuète. Pour cette 6ᵉ #canicule de l’année, les 40 °C sont de nouveau dépassés, en plein mois de septembre. 1/3
19726380
Davy @davy.quest · 03/09/2026
🚀
000
Reposted by Davy
Melissa Gira Grant @melissagiragrant.com · 31/08/2026
feels like it’s inevitable these days that every tool you rely on is one garbage founder or funder away from their app’s version of this post
alilleybrinker.com
1Password Supports the Ethnic Cleansing of Europe — Andrew Lilley Brinker
1Password has committed $300,000 to Omarchy. This is unacceptable and must be rescinded.
10701284