#vibecoding

Nix wrote half of my debugger https://lobste.rs/s/bwmolc #debugging #nix #vibecoding https://fzakaria.com/2026/10/07/nix-wrote-half-of-my-debugger

On ideation https://lobste.rs/s/zktx4m #vibecoding https://amit.prasad.me/blog/on-ideation

Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs https://lobste.rs/s/axmhji #pdf #formalmethods #math #reversing #vibecoding https://arxiv.org/abs/2610.08144

Campfire on Ruby 4 Ractors https://lobste.rs/s/daa9vy #ruby #vibecoding https://static.lutke.dev/KTK6Vb/campfire-ruby-explainer/

Property Testing with Agent Swarms https://lobste.rs/s/ycmpvw #testing #vibecoding https://recursion.wtf/posts/agents-and-property-tests/

Uncle Bob Martin says he no longer reads AI-generated code and the developer world is split https://lobste.rs/s/tfcilp #vibecoding https://startupfortune.com/uncle-bob-martin-says-he-no-longer-reads-ai-generated-code-and-the-developer-world-is-split/

On using AI as a writing assistant https://lobste.rs/s/jfxvvk #vibecoding https://ninashamsi.com/writing/i-am-a-bad-writer.html

The Mathocalypse via @mseri@mathstodon.xyz https://lobste.rs/s/zlhyss #math #vibecoding https://scottaaronson.blog/?p=10169

All our houses are built on sand now https://lobste.rs/s/l252ms #vibecoding https://po-ru.com/2026/10/07/all-our-houses-are-built-on-sand-now

Introducing mapsnap: Automated Georeferencing for Historic Sanborn Insurance Maps https://lobste.rs/s/b1iafm #vibecoding https://www.danvk.org/2026/09/10/mapsnap.html

An open-source, clean-room reimplementation of Adobe Photoshop in pure Rust https://lobste.rs/s/qn61ip #rust #vibecoding https://github.com/storytold/photocraft

Pared - remove unwanted Apple Intelligence models without disabling SIP https://lobste.rs/s/tcmpcw #show #mac #vibecoding https://github.com/4evy/pared

What is Codemode https://lobste.rs/s/sshhsl #javascript #vibecoding #wasm https://lucumr.pocoo.org/2026/10/6/codemode/

🎉 È finalmente arrivato il professionista IT che nessun CTO voleva, ma che ogni azienda finirà per avere! E gli sta bene! 🎓 Formato su ChatGPT. 🧠 Certificato da “Promptami Questo S.r.l.” 💻 Specializzato in: “Non so cosa faccia, ma funziona.” #redhotcyber #cybersecurity #vibecoding #vibecoder #AI #hacking #infosec #cybersecurity #coding #programming #DevSecOps #AppSec #meme #satira #Ammiocuggino

hutch: local code reviews in emacs for the mildly disenfranchised via @abnv@fantastic.earth https://lobste.rs/s/vqm1fy #emacs #release #vibecoding https://kitallis.in/p/hutch-a-local-code-review-interface-for-magit/

Open Source as We Know It Is Dead https://lobste.rs/s/1hnx0k #vcs #vibecoding https://jross.me/open-source-as-we-know-it-is-dead/

Golang tool to check SPF, DKIM, TLSA, and TLS settings for mailservers https://lobste.rs/s/bw7k1r #email #go #vibecoding https://git.sig-io.nl/Sig-IO/mailcheck/

Ephemeral testing https://lobste.rs/s/ymannf #testing #vibecoding https://lemire.me/blog/2026/10/05/ephemeral-testing/

Building a RAG Pipeline for Semantic Code Search https://lobste.rs/s/ok0m3n #editors #plt #vibecoding https://blog.jetbrains.com/ai/2026/09/building-a-rag-pipeline-for-semantic-code-search-a-developer-diary-and-field-notes/

A new, bespoke static site generator to replace Jekyll https://lobste.rs/s/yj99wd #c #vibecoding https://nullprogram.com/blog/2026/10/04/