Lobsters

LineageOS 24.0 released https://lobste.rs/s/ecxril #android #mobile #release https://lineageos.org/Changelog-32/

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

Why 'externalized' proofs of cyclic trait impls does not work via @fanf@mendeddrum.org https://lobste.rs/s/gytcvn #rust https://smallcultfollowing.com/babysteps/blog/2026/10/10/modular-vs-external-proofs/

How To Write Shared Libraries (2011) https://lobste.rs/s/tenn7k #pdf #programming https://www.cs.dartmouth.edu/sergey/cs108/ABI/UlrichDrepper-How-To-Write-Shared-Libraries.pdf

Whistle: Speech to Text in 16.9 MB https://lobste.rs/s/lpomuo #ai https://cactuscompute.com/blog/whistle

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

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

The wild west of polyglot docs sites https://lobste.rs/s/wyxufm #c #c++ #practices #python #rust https://technicalwriting.dev/blog/2026/10/polyglot/index.html

Iframes that finally fit their content via @abnv@fantastic.earth https://lobste.rs/s/ka6d0y #css #web https://alfy.blog/2026/10/09/iframe-that-finally-fit-their-content.html

Kiesel Devlog #15: Release 0.4.0 https://lobste.rs/s/4zmka2 #javascript #zig https://linus.dev/posts/kiesel-devlog-15/

The importance of communities around software https://lobste.rs/s/o8xo9z #culture https://lumi.codeberg.page/blog/software-community.html

Inside a 1980s filter chip that uses switched capacitors https://lobste.rs/s/mbyawi #hardware #historical #reversing http://www.righto.com/2026/10/ML10-switched-capacitor-filter.html

Voxlocal: a minimal voice agent written in Rust https://lobste.rs/s/gqaqgq #ai #programming #rust https://samkhawase.com/blog/voxlocal-minimal-voice-agent/

How big is a Git commit? - ratfactor https://lobste.rs/s/9wcfld #vcs https://ratfactor.com/cards/git-commit-size

Consistency is not a localized property https://lobste.rs/s/rhy5zp #ai #databases #programming https://n-the-loop.com/blog/consistency-is-not-a-localized-property/

Adding Go's defer to the TypeScript Compiler via @nemin@ohai.social https://lobste.rs/s/skpliy #compilers #go #javascript https://healeycodes.com/adding-defer-to-the-typescript-compiler

The next-gen borrow checker, a drop-in replacement for Rust borrow checking https://lobste.rs/s/sqftld #compilers #plt #rust https://gist.github.com/FlameyosSnowy/a49a35ba006238be55d8c3e410c31061

"Robot" Is A Social Construct: Why Your Dishwasher Is Not A Robot https://lobste.rs/s/ha0qt7 #philosophy https://robotgirlgang.com/2026/10/08/robot-is-a-social-construct-why-your-dishwasher-is-not-a-robot/

D-Bus Hell https://lobste.rs/s/qgybwb #person #satire https://dbushell.com/2026/10/11/d-bus-hell/

Branches in branch-free code https://lobste.rs/s/dsbt5a #assembly #c #compilers #rust #zig https://00f.net/2026/10/09/llvm-compiles-branch-free-code-into-branches-on-risc-v/

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

On modern hardware, who handles what bit of hardware state can be unclear https://lobste.rs/s/veh9eo #hardware https://utcc.utoronto.ca/~cks/space/blog/tech/HardwareWhoHandlesWhatNotClear

What's Wrong with GitHub via @tusharhero@mathstodon.xyz https://lobste.rs/s/u9ue6c #vcs https://www.gnu.org/philosophy/whats-wrong-with-github.html

Mars Pathfinder Priority Inversion Bug: What Really Happened https://lobste.rs/s/pmwc4h #compsci #debugging https://nerdyelectronics.com/mars-pathfinder-what-really-happened/

Python 3.15.0 https://lobste.rs/s/rpiwtb #python #release https://www.python.org/downloads/release/python-3150/

Valen's Memory Safety: A New Kind of Borrow Checking https://lobste.rs/s/gmnqhj #compilers #plt https://verdagon.dev/blog/valen-group-borrowing

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

Unison Cloud is now open source https://lobste.rs/s/zubabn #release https://www.unison-lang.org/blog/unison-cloud-open-source/

I'm still around.. I'm just not writing here https://lobste.rs/s/4ehrkn #culture https://rachelbythebay.com/w/2026/10/08/idle/

A Practical Guide to “Plug&Pwn” for Pentesters and Defenders https://lobste.rs/s/yrcmjj #security https://blog.scrt.ch/2026/10/06/a-practical-guide-to-plugpwn-for-pentesters-and-defenders/

How shredding JSON is giving Logfire 1000x query speedups https://lobste.rs/s/6vjx1k #databases #performance https://pydantic.dev/articles/dynamic-shredding-2026-01-26

Telegram Desktop: one-click account takeover via IPC injection https://lobste.rs/s/vq6ly4 #security https://beaksec.github.io/posts/telegram-desktop-one-click-account-takeover/

oh, apparently it's not possible to portably check for string-to-float conversion errors in standard c https://lobste.rs/s/rb2ulg #c https://sebsite.pw/w/20261009-strtod.html

SNTPings, draw on a canvas using ICMPv6 https://lobste.rs/s/5zbbd0 #education #networking https://pings.utwente.io/

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/

Building Dn-FamiTracker on Linux via @hugoarnal@mastodon.social https://lobste.rs/s/isilhy #c https://rexim.github.io/blog/building-dn-famitracker-on-linux.html

What are you doing this weekend? by @caius@ruby.social https://lobste.rs/s/t3xjln #ask #programming

Lifeguard: A static analyzer for Python lazy imports compatibility https://lobste.rs/s/qwqne6 #python https://github.com/Facebook/lifeguard

1-click MMI execution in Android https://lobste.rs/s/txa6dj #android #security https://karansaini.com/mmi-android/

The 2D physics prototype behind GTA’s vehicles https://lobste.rs/s/9ros7d #games https://patkerr.co.uk/2d-vehicles/

Vectorized CLZ and CTZ via @fanf@mendeddrum.org https://lobste.rs/s/9xcc2g #performance https://purplesyringa.moe/blog/vectorized-clz-and-ctz/

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/

Hacking the Eufy Doorbell and Base Station https://lobste.rs/s/e84scc #hardware #security https://adepts.of0x.cc/Eufy-DoorBell-hacking/

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

JSON Tiles: Fast Analytics on Semi-Structured Data (2021) https://lobste.rs/s/7mllxi #pdf #databases #performance https://db.cit.tum.de/~durner/papers/json-tiles-sigmod21.pdf

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

Equality Saturation: An “Incomplete” Project https://lobste.rs/s/5n7zxa #compilers https://blog.sigplan.org/2026/10/01/equality-saturation-an-incomplete-project/

Arena Allocators in C https://lobste.rs/s/zziknb #c https://eliasebner.com/blog/guides/arena-allocators-in-c/

Byte Language Models: Scaling, Emergent Abstractions, and Information Allocation https://lobste.rs/s/t2fxpt #ai https://arxiv.org/html/2610.05978v1

Making np.searchsorted up to 25× Faster in NumPy 2.5 https://lobste.rs/s/fbs3k7 #performance https://blog.scientific-python.org/numpy/searchsorted/