Pleopods Weekly #20 — July 24, 2026

This Week on Lobste.rs

Trending topics: vibecoding vcs programming linux web

1. How Our Rust-to-Zig Rewrite is Going compilers rust zig

submitted by rrampage — 184 points (+163 this week) — 70 comments

The Roc compiler team finished their 487-day rewrite in Zig with a working feature parity and some real wins: hot reloading, zero-allocation pattern matching, and 50% smaller WebAssembly output—but the real story is how rearchitecting the lambda set resolution system (a mostly academic optimization) cascaded into those improvements across the board.

2. Regressive JPEGs graphics programming

submitted by lcamtuf — 137 points (+122 this week) — 2 comments

Progressive JPEGs can encode multiple images as separate scans, and a creative hack packs them into a single file that cycles through frames as it downloads — hitting the scan limit (around 90 frames in Chrome) before decoders give up.

3. Protecting our FLOSS commons from LLMs vibecoding

submitted by FedericoSchonborn — 121 points (+115 this week) — 72 comments

Codeberg voted to ban LLM training on its hosted code and prohibit AI-generated projects, arguing that the infrastructure costs of training models are being pushed onto the platform while degrading service for human developers.

4. Linus Torvalds on LLM usage in kernel development linux vibecoding

submitted by thang — 148 points (+114 this week) — 138 comments

Linus takes a direct stance: AI tools are useful and the kernel will use them based on technical merit, not ideology — anyone uncomfortable with that can fork the project or leave, but the foundation won't entertain arguments against LLM use in kernel development.

5. So Reddit has decided that plain HTML is unsafe rant web

submitted by cole-k — 114 points (+111 this week) — 73 comments

Reddit says plain HTML is unsafe, but the author dug into the network calls and found New Reddit loads five times more data and needs JavaScript mainly to block scrapers — the real issue Reddit's avoiding.

6. What is your favorite blog to read recently? ask programming

submitted by oceanhaiyang — 112 points (+91 this week) — 60 comments

Engineers sharing the blogs they actually read regularly, with specific recommendations ranging from well-known deep dives like Fabien Sanglard's game engine work to Julia Evans's technical explainers to lesser-known sites people have genuinely discovered and stuck with.

7. SQLite should have (Rust-style) editions databases

submitted by mort — 139 points (+80 this week) — 36 comments

SQLite's silent defaults create real data corruption risks — foreign keys are ignored by default (and ROWID reuse can cause new users to inherit deleted users' posts), while columns happily store the wrong type unless you explicitly tag each table as strict.

8. LG to Ban Residential Proxies from Smart TV Apps security

submitted by raymii — 94 points (+76 this week) — 16 comments

LG discovered that nearly half its TV app store quietly monetizes your bandwidth through residential proxy SDKs and is forcing developers to remove them — but the deeper issue, per security firm Spur, is that most people don't think to audit what their TVs are actually doing.

9. Faulty Towers, vibe sickness, and the vibe bobsled vibecoding

submitted by vivicat — 75 points (+71 this week) — 12 comments

Lemmer-Webber traces how AI coding went from understanding generated code to just trusting it works—and shows why the economics almost guarantee that slide: reviews take time, generation is instant, and broken code is nearly impossible to untangle in production.

10. Linux kernel will support $ORIGIN, sort of c linux nix osdev

submitted by ysun — 67 points (+65 this week) — 9 comments

A Nix developer's kernel patch for $ORIGIN support spiraled into a broader eBPF-based binary format handler—Christian Brauner proposed letting userspace code pick interpreters dynamically, which fixes a longstanding bug where /proc/self/exe points to the loader instead of the actual binary.

11. Calm technologies that excite me hardware

submitted by abhin4v — 75 points (+64 this week) — 26 comments

The author argues for devices that do one thing well and vanish from your attention—tracing the appeal through phone fatigue and iPod Shuffle nostalgia, then into current examples like e-ink tablets and restored iPods that sidestep algorithmic feeds and subscription models.

12. git --end-of-options vcs

submitted by robalex — 66 points (+61 this week) — 11 comments

--end-of-options separates revision arguments from options in git (since 2.24.0), solving a problem where untrusted refs starting with - get misparsed as flags — but package managers rarely use it because most still need to support distributions with older git versions.

13. Learning a few things about running SQLite databases

submitted by tumdum — 68 points (+60 this week) — 12 comments

Running SQLite on a Django site revealed that ANALYZE—which generates query planner statistics—cuts a 5-second FTS5 query down to under 100ms, and that unbatched DELETE operations block other writers hard enough to crash the process.

14. Justif: Knuth-Plass justification and microtypography for the web design show web

submitted by lyall — 63 points (+59 this week) — 17 comments

Brings Knuth-Plass line-breaking (the algorithm behind TeX's typesetting) to the browser, with a side-by-side comparison tool showing how justified text looks against native browser rendering — you can actually see what microtypography features like protrusion and expansion do.

15. GitRoot vcs

submitted by Hasnep — 60 points (+59 this week) — 17 comments

A self-hosted git forge that stores repos, permissions, issues, and boards as plain files in git—meaning you can fork and customize your entire forge's config instead of bending your workflow to fit someone else's design.

16. GitHub suddenly rejected my SSH key (the fix was a .pub file?!) devops vcs

submitted by GLaDER — 59 points (+58 this week) — 18 comments

GitHub tightened SSH validation and now rejects OpenSSH's fallback when the public key file is missing, which forced users to regenerate .pub files that had survived a laptop reinstall.

17. I Inspected My Take-Home Interview Project. It Was a Whole Operation security

submitted by trousers — 70 points (+54 this week) — 9 comments

A developer accepted a remote job, completed the take-home assignment, and realized the zip file's git hooks were executing hidden payloads—each with a unique ID, a second-stage script that installs Node.js, and obfuscated code for clipboard and wallet theft.

18. Free Ink · An open ecosystem for e-readers hardware

submitted by Yogthos — 62 points (+54 this week) — 15 comments

A team is building open-source e-reader software and testing it on cheap Android tablets as an alternative to locked-down Kindle hardware.

19. Forgejo v16.0 is available release

submitted by hugoarnal — 75 points (+52 this week) — 10 comments

Forgejo v16 patches a critical auth bypass in reverse-proxy setups: if you enabled proxy authentication but didn't explicitly whitelist trusted proxies, any user could impersonate anyone else. The fix breaks existing unsafe configurations, so check the upgrade notes before updating.

20. Human mathematicians are being outcounterexampled math vibecoding

submitted by sanxiyn — 67 points (+52 this week) — 11 comments

ChatGPT resolved a 60-year-old conjecture in May 2026, then AI systems started formalizing proofs in Lean so quickly that mathematicians couldn't keep up—one proof of global class field theory went from seemingly impossible to complete in months. The real bottleneck flipped from "can AI do math?" to "can we understand it?"

Pleopods is a weekly digest of the top links from Lobste.rs. Unsubscribe | Archive