Lobsters

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

Thrive: free, open-source game about the evolution of life via @confusedalex@indieweb.social https://lobste.rs/s/33k7ln #show #games https://www.revolutionarygamesstudio.com/index

Clojure in the Age of Language Models https://lobste.rs/s/xtgwsd #ai #clojure https://yogthos.net/posts/2026-10-07-clojure-llms.html

Recreating an 80s hit song as a shader https://lobste.rs/s/kwi4it #audio #graphics https://www.shadertoy.com/view/fXc3RB

When Submarine Cables Go Dark: Understanding and Preparing for the Risks of Taiwan's International Internet Disconnection https://lobste.rs/s/hhga98 #networking https://resilience.ocf.tw/web/report/en.html

A rant about APIs https://lobste.rs/s/jiphkt #api #practices https://dev.clintonblackburn.com/2026/10/08/a-rant-about-apis.html

Thinking will become a hobby https://lobste.rs/s/mosbat #ai #philosophy https://www.spinellis.gr/blog/20261008/?li261008

Automata and Flowers https://lobste.rs/s/ly4io4 #compsci #culture https://luisacicolini.github.io/posts/automata-flowers/

Escape Analysis in Go: Stack or Heap? https://lobste.rs/s/vzcqqd #video #go https://www.youtube.com/watch?v=BanG_wLnSfE

Float and integer arithmetic follow two different paradigms https://lobste.rs/s/yjz4o6 #c #math #rust https://blog.pkh.me/p/49-float-and-integer-arithmetic-follow-two-different-paradigms.html

How to Fix autoconf-style Configuration Probing https://lobste.rs/s/skbqta #c https://build2.org/blog/fix-autoconf.xhtml

SPA vs. Hypermedia: A Collaborative Kanban Board Measured Against PLANKA https://lobste.rs/s/5evbvq #web https://zweiundeins.gmbh/en/blog/spa-vs-hypermedia-a-collaborative-kanban-board-measured-against-planka

Ending the Casuarina Linux Experiment https://lobste.rs/s/sdlhhs #linux https://casuarina.org/news/ending-the-casuarina-linux-experiment/

Will Linux phones become a viable alternative to the Android/iOS duopoly? https://lobste.rs/s/slsj46 #linux #mobile https://amosbbatto.wordpress.com/2026/10/05/linux-phones-alternative/

Query Plan Rewriting in PostgreSQL via @fanf@mendeddrum.org https://lobste.rs/s/qlxpzx #databases https://theconsensus.dev/p/2026/09/13/query-plan-rewriting-in-postgresql.html

Calling a function in C without naming it https://lobste.rs/s/ucwapn #c #security https://wiro.world/posts/calling-c-func-without-naming-it/

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

The Slow Formation of Durable Software https://lobste.rs/s/8mm3ec #practices #programming https://newsletter.dancohen.org/archive/the-slow-formation-of-durable-software/

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

How to Believe a Machine-Checked Proof (1997) https://lobste.rs/s/8nfjfc #pdf #formalmethods #math https://www.brics.dk/RS/97/18/BRICS-RS-97-18.pdf

Gentoo infrastructure sponsors wanted via @arch@floofy.tech https://lobste.rs/s/jmqi5h #linux https://www.gentoo.org/news/2026/10/07/infrastructure-sponsors-wanted.html

I've Been Deindexed by Google https://lobste.rs/s/en3vgh #practices https://kennyqin.com/deindexed-by-google/

On Git Refs https://lobste.rs/s/u88nlh #vcs https://matklad.github.io/2026/10/07/git-ref.html

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

Impossibility Proof for Instant 8-tuple Piston Extenders https://lobste.rs/s/r07fdn #video #formalmethods #games #math #reversing https://www.youtube.com/watch?v=I-MMyRzmqFI

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

The Performance Cost of RwLock in Our Read-Heavy Workload https://lobste.rs/s/pioj21 #performance #rust https://pranitha.dev/posts/rwlock-vs-lockfree/

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

Beauty in DVD Menus https://lobste.rs/s/9mykk7 #art https://vale.rocks/posts/dvd-menus

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

The history of the Hetzner Cloud network stack https://lobste.rs/s/aco14q #networking https://www.hetzner.com/blog/the-hetzner-cloud-network-stack-history-and-technical-overview/

notes on how glibc and musl handle math errors https://lobste.rs/s/yudulr #c https://sebsite.pw/w/20261004-math_errhandling.html

New gTLD Program: 2026 Round applications via @robalex@indieweb.social https://lobste.rs/s/gyr21i #networking https://newgtldprogram-aps.icann.org/applications

Migrating Git repos to SHA-256 https://lobste.rs/s/ug8erg #vcs https://exa.y2k.diy/garden/git-sha256/

Hello, my name is Orca via @goldstein@im-in.space https://lobste.rs/s/ffn6sm #a11y #linux #security https://linnemanlabs.com/posts/hello-my-name-is-orca/

jujutsu (jj) 0.46.0 via @kingmob@hachyderm.io https://lobste.rs/s/nz3b1h #release #vcs https://github.com/jj-vcs/jj/releases/tag/v0.46.0

Software developers are not okay https://lobste.rs/s/0gvyif #philosophy https://www.baldurbjarnason.com/2026/05-software-developers-are-not-okay/

Lustre, Mist, and BEAM messages https://lobste.rs/s/8s4rbw #gleam https://blog.guillheu.dev/articles/lustre-mist-and-beam-messages/

rat's minimal register allocator https://lobste.rs/s/frav12 #compilers #performance https://hexrat.cc/pages/blog/2026_10_07

Beyond the & https://lobste.rs/s/wks0s9 #rust https://lwn.net/SubscriberLink/1096028/7524dbcae1be7205/

Extending Guix via @tusharhero@mathstodon.xyz https://lobste.rs/s/qfzzmi #nix https://guix.gnu.org/en/blog/2026/extending-guix/

The Missing Piece in Rust Error Handling https://lobste.rs/s/3vfu09 #rust https://mcmah309.github.io/posts/the-missing-piece-in-rust-error-handling/

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/

The people holding up the internet https://lobste.rs/s/lhr4oy #historical #web https://sheets.works/data-viz/holding-up-the-internet

How can undefined opcodes ud0 and ud1 have parameters? https://lobste.rs/s/hzwqzv #assembly #hardware https://devblogs.microsoft.com/oldnewthing/20261007-00/?p=112759/

Monte-Carlo simulations https://lobste.rs/s/pift8w #math https://eli.thegreenplace.net/2026/monte-carlo-simulations/

Margaret Hamilton, computing pioneer who led software development for the Apollo program, dies at 90 via @rk@mastodon.well.com https://lobste.rs/s/9qtgrm #person https://news.mit.edu/2026/margaret-hamilton-computing-pioneer-dies-1007

connect-go v2 is here · Buf Blog https://lobste.rs/s/lpnmlt #go https://buf.build/blog/connect-go-v2

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