Lobster Roll

All Programming (General) 798 Systems / Low-Level / OS 583 AI / Machine Learning 542 Programming Languages / CS Theory 429 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

Writing my own text editor, and daily-driving it (blog.jsbarretto.com)

2 pts 0 comments by Aks 33m ago editors Programming (General)

AI Artist, Literally (youtube.com)

1 pts 0 comments by addison 40m ago satirevibecodingvideo AI / Machine Learning

Pristan: The simplest way to create a plugin infrastructure in Python (github.com)

1 pts 0 comments by pomponchik 1h ago pythonrelease Programming (General)Programming Languages / CS Theory

Cellpond: Spatial programming without escape (youtube.com)

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

Embrace the uncertainty (brittanyellich.com)

1 pts 0 comments by codekobold 3h ago practicesvibecoding AI / Machine Learning Productivity / Career / Business

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

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

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

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

Enamored with Macy (addisoncrump.info)

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

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

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

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

1 pts 0 comments by eatonphil 4h 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 5h ago vibecoding AI / Machine Learning

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

1 pts 0 comments by amw-zero 5h 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 5h 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 6h ago ai AI / Machine Learning

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

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

AlmaLinux in 2026 (almalinux.org)

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

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

1 pts 0 comments by mysticmode 6h 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 7h ago programming Programming (General)

LLMs are bad at vibing specifications (buttondown.com)

5 pts 1 comments by hwayne 7h 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 8h ago law Data / Databases / Infrastructure

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

1 pts 0 comments by hath995 8h 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 9h ago practices Programming (General)Productivity / Career / Business

Load-Bearing Walls (brianschrader.com)

1 pts 0 comments by sonicrocketman 9h 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 9h ago pltvibecoding AI / Machine Learning Programming (General)Programming Languages / CS Theory

Proof Tree Playground (kmicinski.com)

2 pts 0 comments by ocramz 10h 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 10h ago vibecoding AI / Machine Learning

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

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

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

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

Rebasing in Magit (entropicthoughts.com)

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

New Attack Against Wi-Fi (schneier.com)

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