Lobster Roll

All Programming (General) 796 Systems / Low-Level / OS 583 AI / Machine Learning 541 Programming Languages / CS Theory 428 Data / Databases / Infrastructure 377 Web Development 276 Security / Privacy 233 Culture / Philosophy / History / Reading 210 Productivity / Career / Business 162 Gaming / Retro Computing 129 Design / UX / Visualization 112 Maker / DIY / Hardware 112 Science / Math / Physics 72 Apple / macOS / iOS 67 Internet / Digital Culture 48 Health / Fitness / Lifestyle 5

Cellpond: Spatial programming without escape (youtube.com)

1 pts 0 comments by james 42m ago compscigraphicsvideovisualization Programming (General)Programming Languages / CS Theory Design / UX / Visualization

Embrace the uncertainty (brittanyellich.com)

1 pts 0 comments by codekobold 51m ago practicesvibecoding AI / Machine Learning Productivity / Career / Business

23: Containers - What's in the box???? (buzzsprout.com)

1 pts 0 comments by jrwren 1h ago audiodevops Data / Databases / Infrastructure

AI should help us produce better code (simonwillison.net)

2 pts 1 comments by simonw 1h ago vibecoding AI / Machine Learning

Enamored with Macy (addisoncrump.info)

1 pts 1 comments by addison 1h ago science Science / Math / Physics

Unions merged into dotnet 11 preview 3 (github.com)

2 pts 1 comments by martinald 2h ago dotnet Programming (General)

TLA+ as a Design Accelerator: Lessons from the Industry (muratbuffalo.blogspot.com)

1 pts 0 comments by eatonphil 2h ago databasesformalmethods Programming Languages / CS Theory Data / Databases / Infrastructure Design / UX / Visualization

Debian decides not to decide on AI-generated contributions (lwn.net)

3 pts 0 comments by telemachus 2h ago vibecoding AI / Machine Learning

A new LLM-friendly library for Model-Based Testing (quint-lang.org)

1 pts 0 comments by amw-zero 2h ago formalmethodstestingvibecoding AI / Machine Learning Programming (General)Programming Languages / CS Theory Culture / Philosophy / History / Reading

Examples for the tcpdump and dig man pages (jvns.ca)

2 pts 1 comments by dzwdz 2h ago unix Systems / Low-Level / OS

LLM Neuroanatomy: How I Topped the AI Leaderboard Without Changing a Single Weight (dnhkng.github.io)

7 pts 0 comments by knl 3h ago ai AI / Machine Learning

RISC-V is sloooow (marcin.juszkiewicz.com.pl)

10 pts 1 comments by raymii 4h ago linux Systems / Low-Level / OS

AlmaLinux in 2026 (almalinux.org)

1 pts 0 comments by Aks 4h ago linux Systems / Low-Level / OS

Play the long game when learning to code (2020) (stackoverflow.blog)

1 pts 0 comments by mysticmode 4h ago compsciprogramming Programming (General)Programming Languages / CS Theory Gaming / Retro Computing

Building a Package Manager on Top of Meson's Wrap System (collider.ee)

2 pts 0 comments by Aks 4h ago programming Programming (General)

LLMs are bad at vibing specifications (buttondown.com)

5 pts 1 comments by hwayne 4h ago formalmethodsvibecoding AI / Machine Learning Programming Languages / CS Theory

Qt Sql under LGPL Despite MariaDB under GPL (smallstepsystems.com)

0 pts 1 comments by raymii 5h ago law Data / Databases / Infrastructure

Formalizing Data Structures and Algorithms with Agents (risemsr.github.io)

1 pts 0 comments by hath995 5h ago aiformalmethods AI / Machine Learning Programming Languages / CS Theory

A rough review of Capers Jones' Applied Software Measurement (blog.proton.gay)

1 pts 0 comments by hwayne 6h ago practices Programming (General)Productivity / Career / Business

Load-Bearing Walls (brianschrader.com)

1 pts 0 comments by sonicrocketman 6h ago historicalphilosophypractices Productivity / Career / Business Culture / Philosophy / History / Reading

I built a programming language using Claude Code (ankursethi.com)

3 pts 2 comments by abhin4v 7h ago pltvibecoding AI / Machine Learning Programming (General)Programming Languages / CS Theory

Proof Tree Playground (kmicinski.com)

2 pts 0 comments by ocramz 7h ago formalmethodsmath Programming Languages / CS Theory Science / Math / Physics

Source-available projects and their AI contribution policies (theconsensus.dev)

12 pts 1 comments by eatonphil 8h ago vibecoding AI / Machine Learning

Tony Hoare (1934-2026) (blog.computationalcomplexity.org)

78 pts 5 comments by hwayne 8h ago person Culture / Philosophy / History / Reading

Amazon holds engineering meeting about GenAI based outages (arstechnica.com)

34 pts 15 comments by dustyweb 9h ago vibecoding AI / Machine Learning

Rebasing in Magit (entropicthoughts.com)

22 pts 3 comments by fanf 9h ago emacsvcs Programming (General)

New Attack Against Wi-Fi (schneier.com)

2 pts 2 comments by sjamaan 9h ago networkingsecurity Data / Databases / Infrastructure Security / Privacy

Sending Jabber/XMPP Messages via HTTP (gultsch.de)

6 pts 0 comments by singpolyma 10h ago networking Data / Databases / Infrastructure

syft: CLI tool and library for generating a Software Bill of Materials from container images and filesystems (github.com)

1 pts 0 comments by linkdd 10h ago devopssecurity Systems / Low-Level / OS Programming (General)Data / Databases / Infrastructure Security / Privacy Culture / Philosophy / History / Reading

What's My JND? (keithcirkel.co.uk)

5 pts 1 comments by outervale 10h ago design Design / UX / Visualization