Reposted by Davyrain 🌦️ @sunshowers.io · 4hsunshowers.ioAnthropic's Scion is heavily inspired by MononokeIt is important to provide credit. 110417
Reposted by DavyKevin Beaumont @doublepulsar.com · 12/10/2026I recreated it, super easy to pull off. cyberplace.social/@GossiTheDog...cyberplace.socialKevin 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/2026Today's experiment: using Claude evals to test and grade our engineering skills. That's actually quite neat! 000
Davy @davy.quest · 13/10/2026A hole in #rust 's borrow checker has been discovered github.com/rust-lang/ru...github.comstruct's lifetime requirements can be bypassed via covariant field assignment · Issue #164250 · rust-lang/rustIn 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@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 DavySkye @skydeval.nearhorizon.app · 12/10/2026Hello. I noticed Clearsky has been down for a while. So I made this.github.comGitHub - skydeval/farsight: A self-hosted index of public block records on the AT Protocol network, with an APIA self-hosted index of public block records on the AT Protocol network, with an API - skydeval/farsight 4216
Davy @davy.quest · 09/10/2026Goodbye Deno ☠️ blog.cloudflare.com/deno-joins-c...blog.cloudflare.comDeno is joining CloudflareThe 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/2026Someone 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.comFrom the ClaudeAI community on RedditExplore this post and more from the ClaudeAI community 000
Davy @davy.quest · 05/10/2026Note 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/2026Just finished The Blood of Dawnwalker. That game was epic! Looking forward to the sequel 🦇. 000
Reposted by DavyDoll @dollspace.gay · 02/10/2026Those who commune with demons unprotected risk their very minds and souls 5775
Davy @davy.quest · 02/10/2026Zig v0.17 is expected to be released soon codeberg.org/ziglang/zig/... 🚀 000
Davy @davy.quest · 01/10/2026Google is massively migrating its C/C++ codebase to Rust using Argon blog.google/innovation-a...blog.googleGemini 4 Argon: our next era of frontier intelligenceAnnouncing 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/2026Got 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.comGitHub - yamafaktory/formal: A Lean 4 + Mathlib proof service for the agent working on your codeA Lean 4 + Mathlib proof service for the agent working on your code - yamafaktory/formal 000
Davy @davy.quest · 28/09/2026The 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/2026PyroWave 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.comGitHub - Themaister/pyrowaveContribute to Themaister/pyrowave development by creating an account on GitHub. 010
Davy @davy.quest · 26/09/2026Yesterday 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/2026formal - 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 #codegithub.comGitHub - yamafaktory/formal: A Lean 4 + Mathlib proof service for the agent working on your codeA Lean 4 + Mathlib proof service for the agent working on your code - yamafaktory/formal 010
Reposted by DavyMatt Henderson @matthen.com · 23/09/2026Repeatedly subdividing a triangle using its centroids 1022137
Davy @davy.quest · 21/09/2026AX - Google's open agentic orchestrator github.com/google/axgithub.comGitHub - google/ax: Google's open agentic orchestratorGoogle's open agentic orchestrator. Contribute to google/ax development by creating an account on GitHub. 000
Davy @davy.quest · 18/09/2026I'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/2026Another LLM migration to Rust github.blog/ai-and-ml/ge...github.blogMigrating the GitHub Copilot runtime to Rust, using CopilotA 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/2026Oh 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.orgBe alert: targeted attacks on prominent Rustaceans | Rust BlogEmpowering everyone to build reliable and efficient software. 000
Reposted by DavyNicolas Hénin @nicolashenin.net · 17/09/2026Nice campaign by the Norwegian Consumer Council about the declining lifespan of products. Enjoy! 181141086480
Davy @davy.quest · 17/09/2026Got access to Jev this morning! Thinking about what to do next with it. 000
Davy @davy.quest · 16/09/2026The idea of replacing pull requests is quite interesting! zed.dev/blog/delta-p...zed.devReplacing Pull Requests with Delta - Zed BlogFrom 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/2026Today 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/2026Interesting talk with Demis Hassabis & Hannah Fry on the AI Revolution, the Future of AI and Human Creativity www.youtube.com/watch?v=rDte...youtube.comSir Demis Hassabis on the AI Revolution, the Future of AI and Human Creativity | Hannah FryYouTube video by Royal Society of Arts 000
Reposted by DavyShaw @shaw.city · 12/09/2026Oops. I invented a new CSS shrink-wrap technique and blogged about it. blog.codepen.io/2026/09/11/s...blog.codepen.ioShrink-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/2026Hate 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/2026Saor - Carved In Stone MMXXVI www.youtube.com/watch?v=lH9a...youtube.comSaor - Carved In Stone MMXXVI (Official Music Video)YouTube video by Season of Mist 000
Davy @davy.quest · 10/09/2026It'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/2026The Blood of Dawnwalker is so addictive and the combat system is really great! 000
Davy @davy.quest · 08/09/2026And now jql has an online documentation with examples yamafaktory.github.io/jql/ 🚀yamafaktory.github.iojql — JSON Query Languagejql 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/2026jql is now using simd-json with some great performance improvements 🚀! github.com/yamafaktory/... #rust #cli #opensource #toolgithub.comGitHub - yamafaktory/jql: A JSON Query Language CLI toolA JSON Query Language CLI tool. Contribute to yamafaktory/jql development by creating an account on GitHub. 020
Davy @davy.quest · 07/09/2026Great, 2027 dystopia is definitely on its way! www.theguardian.com/world/2026/s...theguardian.comFar-right AfD wins key German state election but falls just short of majorityAlternative für Deutschland surges to victory in Saxony-Anhalt as Friedrich Merz’s CDU slumps to disastrous result 000
Davy @davy.quest · 05/09/20261/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.rsSurviving Code Reviews in the era of AI81 comments 100
Reposted by DavyDr. Serge Zaka @sergezaka.bsky.social · 04/09/2026Notre 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
Reposted by DavyMelissa Gira Grant @melissagiragrant.com · 31/08/2026feels 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 postalilleybrinker.com1Password Supports the Ethnic Cleansing of Europe — Andrew Lilley Brinker1Password has committed $300,000 to Omarchy. This is unacceptable and must be rescinded. 10701284