🦞🌯 Lobster Roll

Stories by typesanitizer

How AI Impacts Skill Formation (arxiv.org)
L 52 pts 10 comments by typesanitizer Jan 30, 2026 vibecoding AI / Machine Learning thread
On the purported benefits of effect systems (typesanitizer.com)
L 39 pts 17 comments by typesanitizer Nov 1, 2025 plt Programming Languages / CS Theory thread
Pedagogy Recommendations (parentheticallyspeaking.org)
L 38 pts 1 comments by typesanitizer Dec 20, 2025 education thread
What Functional Programmers Get Wrong About Systems (iankduncan.com)
L 36 pts 25 comments by typesanitizer Feb 10, 2026 distributedvibecoding AI / Machine LearningProgramming (General)Programming Languages / CS TheoryData / Databases / Infrastructure thread
A programmer's field guide to assertions (typesanitizer.com)
L 36 pts 10 comments by typesanitizer Aug 17, 2025 practices Programming (General)Productivity / Career / Business thread
Welcome to Town Al-Gasr (muratbuffalo.blogspot.com)
L 35 pts 3 comments by typesanitizer Jan 24, 2026 satirevibecoding AI / Machine Learning thread
Property-Based Testing of OCaml 5’s Runtime System (janmidtgaard.dk)
L 33 pts 0 comments by typesanitizer Sep 27, 2025 pdftesting Programming (General)Programming Languages / CS Theory thread
Vibe code is legacy code (blog.val.town)
L 33 pts 11 comments by typesanitizer Aug 1, 2025 vibecoding AI / Machine LearningProgramming (General) thread
Deeper theories of program design (typesanitizer.com)
L 29 pts 12 comments by typesanitizer Jul 21, 2025 philosophy Programming (General)Design / UX / VisualizationCulture / Philosophy / History / Reading thread
Solving Package Management via Hypergraph Dependency Resolution (arxiv.org)
L 22 pts 2 comments by typesanitizer Feb 1, 2026 pdfprogramming Programming (General)Productivity / Career / Business thread
Abstract: Package managers are everywhere, with seemingly every language and operating system implementing their own solution. The lack of interoperability between these systems means that multi-lingual projects are unable to express precise dependencies across language ecosystems, and external sy...
If writing the code is the easy part, why would I want someone else to write it? (tldraw.dev)
L 22 pts 3 comments by typesanitizer Jan 17, 2026 culturevibecoding AI / Machine LearningProgramming (General)Culture / Philosophy / History / Reading thread
There and Back Again: From Quickstrom to Bombadil (wickstrom.tech)
L 21 pts 9 comments by typesanitizer Jan 28, 2026 testingweb Web DevelopmentProgramming (General) thread
The dangers of SSL certificates (surfingcomplexity.blog)
L 17 pts 19 comments by typesanitizer Dec 28, 2025 practicessecurity Security / PrivacyProductivity / Career / Business thread
How ClickHouse handles strings (rushter.com)
L 16 pts 3 comments by typesanitizer Jan 17, 2026 databases Data / Databases / Infrastructure thread
You’re missing your near misses (surfingcomplexity.blog)
L 15 pts 5 comments by typesanitizer Feb 2, 2025 practices Productivity / Career / Business thread
The Nuanced Reality of Throttling: It's Not Just About Preventing Abuse (blog.joemag.dev)
L 14 pts 1 comments by typesanitizer Jun 17, 2025 devops Data / Databases / Infrastructure thread
Announcing rules_img: a faster path to container images in Bazel (tweag.io)
L 11 pts 6 comments by typesanitizer Dec 25, 2025 performance Data / Databases / Infrastructure thread
Computer Says No: Error Reporting for LTL (wickstrom.tech)
L 9 pts 4 comments by typesanitizer Nov 1, 2025 formalmethods Programming Languages / CS Theory thread
Because coordination is expensive (surfingcomplexity.blog)
L 8 pts 5 comments by typesanitizer Jan 25, 2026 practices Productivity / Career / Business thread
Lifetime Dispersion and Generational GC: An Intellectual Abstract (dl.acm.org)
L 8 pts 0 comments by typesanitizer Jun 24, 2025 plt Programming Languages / CS Theory thread
Towards A Simple and Expressive Query Language (youtube.com)
L 8 pts 8 comments by typesanitizer Feb 19, 2025 databasesvideo Data / Databases / Infrastructure thread
Related paper: - [A Critique of Modern SQL And A Proposal Towards A Simple and Expressive Query Language (PDF)](https://www.cidrdb.org/cidr2024/papers/p48-neumann.pdf)
From Steam to Floppy: Porting Modern TypeScript to Run on DOS (jimb.ly)
L 6 pts 1 comments by typesanitizer Sep 24, 2025 retrocomputing Web DevelopmentGaming / Retro Computing thread
Reasoning about systems' state spaces (youtu.be)
L 6 pts 2 comments by typesanitizer Aug 7, 2025 formalmethodspracticesvideo Programming Languages / CS TheoryProductivity / Career / Business thread
33 Hot Takes on Systems Programming (m.youtube.com)
L 5 pts 0 comments by typesanitizer Feb 4, 2026 programmingvideo Programming (General) thread
The history of C# and TypeScript with Anders Hejlsberg (youtu.be)
L 5 pts 0 comments by typesanitizer Jan 29, 2026 historicalvideo Web DevelopmentCulture / Philosophy / History / Reading thread
One Human + One Agent = One Browser From Scratch in 20K LOC (emsh.cat)
L 5 pts 6 comments by typesanitizer Jan 28, 2026 vibecoding AI / Machine LearningWeb Development thread
Myths we tell ourselves about software engineering (medium.com)
L 5 pts 7 comments by typesanitizer Jan 16, 2026 practices Programming (General)Productivity / Career / Business thread
The Design & Implementation of Sprites (fly.io)
L 5 pts 0 comments by typesanitizer Jan 15, 2026 distributed Data / Databases / InfrastructureDesign / UX / Visualization thread
The Importance of Sandboxing (garden-lang.org)
L 5 pts 0 comments by typesanitizer Jan 7, 2026 pltsecurity Programming Languages / CS TheorySecurity / Privacy thread
Where good ideas come from (for coding agents) (sunilpai.dev)
L 5 pts 3 comments by typesanitizer Jan 4, 2026 vibecoding AI / Machine LearningProgramming (General) thread