#vibecoding

I'm sorry, but you still have to think https://lobste.rs/s/k2natg #vibecoding https://itsallaboutthebit.com/i-am-sorry-but-you-still-have-to-think/

What we ended up doing about alias propagation via @fanf@mendeddrum.org https://lobste.rs/s/lwwtpu #plt #vibecoding https://futhark-lang.org/blog/2026-10-11-what-we-did-about-aliasing.html

culpert - rust heap profiling with span awareness and regression tooling https://lobste.rs/s/a1ser9 #performance #rust #vibecoding https://github.com/rupert648/culpert

The Lightbulb Computer: Reimagining Spatial & Ambient Computing with Projectors https://lobste.rs/s/0g9ctg #design #vibecoding https://lightbulbcomputer.com/

There's little that's "inevitable" about AI https://lobste.rs/s/lgxq91 #vibecoding https://deadsimpletech.com/blog/llms-arent-inevitable

No Man Is an Island https://lobste.rs/s/nxspz6 #philosophy #vibecoding https://borretti.me/article/no-man-is-an-island

Two Futures for LLMs in Mathematics https://lobste.rs/s/sriqip #math #vibecoding https://wiredream.com/llm-two-futures/

Shopify went back to native. I think the bigger shift is formal verification https://lobste.rs/s/9dc1n3 #vibecoding https://martinalderson.com/posts/shopify-native-formal-verification/

Why Are Coding Agents So Dumb? https://lobste.rs/s/t5htlf #vibecoding https://mtlynch.io/why-are-coding-agents-so-dumb/

There are many themes, but this one is yours https://lobste.rs/s/3zcaxw #a11y #design #vibecoding https://earendil.com/posts/system-theme/

Reverse Engineer Anything https://lobste.rs/s/pbjhnt #reversing #vibecoding https://github.com/morluto/rea

The Goose Programming Language https://lobste.rs/s/bk6pte #plt #vibecoding https://github.com/aardappel/goose

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