Lobster Roll

Stories by ocramz

(Almost) Every infrastructure decision I endorse or regret after 4 years running infrastructure at a startup (cep.dev)
L 123 pts 57 comments by ocramz Feb 9, 2024 devopsdistributed Data / Databases / InfrastructureProductivity / Career / Business thread
Less Glue, More Product: Why Elixir Shrinks Architectural Complexity (iamkonstantin.eu)
L 29 pts 0 comments by ocramz Aug 2, 2025 distributedelixirerlang Programming Languages / CS TheoryData / Databases / Infrastructure thread
How much do you spend on AI-assisted tools?
L 25 pts 34 comments by ocramz Jul 24, 2025 askvibecoding AI / Machine Learning thread
How much do you/your team/your org (whatever you're qualified and comfortable to comment on) spend on tokens and subscriptions for AI coding? If you comment on the team use please give a sense of team size and sector/market/vertical as well. This is just out of curiosity and not market research; ...
The internals of Veilid - a new decentralized application framework (veilid.com)
L 22 pts 14 comments by ocramz Aug 20, 2023 networkingprivacysecurityslides Programming (General)Data / Databases / InfrastructureSecurity / Privacy thread
Christien 'DilDog' Rioux and Katelyn 'Medus4' Bowden at DefCon 31
State of Knuckledragger, a Semi-Automated Python Proof Assistant (philipzucker.com)
L 14 pts 0 comments by ocramz Aug 6, 2024 formalmethodspython Programming (General)Programming Languages / CS Theory thread
The What, Why and How of Containers (annwan.me)
L 12 pts 1 comments by ocramz Mar 25, 2024 devopslinuxosdevunix Systems / Low-Level / OSData / Databases / Infrastructure thread
Lambda Calculus Explorer (kmicinski.com)
L 7 pts 0 comments by ocramz 1d ago compilersformalmethods Systems / Low-Level / OSProgramming Languages / CS TheoryScience / Math / Physics thread
IceDB v3 - Third Time’s the Charm (blog.danthegoodman.com)
L 7 pts 10 comments by ocramz Jul 15, 2024 databasesdistributed Data / Databases / Infrastructure thread
Ergonomic abstractions for numerical computing: My story so far (ocramz.github.io)
L 6 pts 1 comments by ocramz Jan 16, 2026 haskellpracticesscience Programming Languages / CS TheoryScience / Math / PhysicsProductivity / Career / Business thread
Text similarity search via normalized compression distance (discourse.haskell.org)
L 6 pts 3 comments by ocramz Dec 21, 2025 aihaskellvibecoding AI / Machine LearningProgramming Languages / CS Theory thread
Reconstructing a music recommendation model (ocramz.github.io)
L 6 pts 5 comments by ocramz Dec 17, 2024 showvibecoding AI / Machine LearningProgramming (General) thread
TLA+ in Practice and Theory Part 3: The (Temporal) Logic of Actions (pron.github.io)
L 5 pts 0 comments by ocramz Dec 25, 2025 formalmethods Programming Languages / CS Theory thread
Minimum bipartite matching via Riemann optimization (ocramz.github.io)
L 5 pts 1 comments by ocramz Jan 5, 2025 math Science / Math / Physics thread
Building containers programmatically, self-hosted
L 5 pts 10 comments by ocramz Mar 23, 2024 askdevopsdistributed Programming (General)Data / Databases / Infrastructure thread
Hi, I am planning a very simplified, domain-specific app serving platform. The deployment will be based on linux containers, but I want users to interact with the platform only via a software library (they don't need to install docker or set up CI scripts or indeed follow the git flow). So my qu...
Why Writing Correct Software Is Hard (2016) (pron.github.io)
L 4 pts 3 comments by ocramz May 18, 2024 compilersformalmethodsmath Systems / Low-Level / OSProgramming (General)Programming Languages / CS TheoryScience / Math / Physics thread
Practical Vector Search: NeurIPS 2023 Competition Leaderboard (github.com)
L 4 pts 1 comments by ocramz Mar 2, 2024 aidatabases AI / Machine LearningData / Databases / Infrastructure thread
Cordoku - multiplayer sudoku (cordoku.vercel.app)
L 4 pts 3 comments by ocramz Oct 14, 2023 distributedgames Data / Databases / InfrastructureGaming / Retro Computing thread
lightning-extra: PyTorch Lightning plugins and utilities for cloud-native machine learning (github.com)
L 3 pts 3 comments by ocramz Dec 18, 2025 aidevopsdistributed AI / Machine LearningData / Databases / Infrastructure thread
dp_knapsack_sliding_hirschberg, a new activation memory budget solver for PyTorch (jedrzej.maczan.pl)
L 3 pts 0 comments by ocramz Dec 5, 2025 compilersmathperformance AI / Machine LearningSystems / Low-Level / OSProgramming Languages / CS TheoryData / Databases / InfrastructureScience / Math / Physics thread
Proof Tree Playground (kmicinski.com)
L 2 pts 0 comments by ocramz 1d ago formalmethodsmath Programming Languages / CS TheoryScience / Math / Physics thread
ascend : run Python functions on Kubernetes (ocramz.github.io)
L 2 pts 1 comments by ocramz 6d ago devopsdistributedpythonscaling Programming (General)Programming Languages / CS TheoryData / Databases / InfrastructureProductivity / Career / Business thread
A practical guide to Diffusion Models (2022) (selflein.github.io)
L 2 pts 1 comments by ocramz May 4, 2024 aimathpython AI / Machine LearningProgramming (General)Science / Math / Physics thread
Stanford AI Syllabus (1980) (saildart.org)
L 2 pts 4 comments by ocramz Apr 21, 2024 aiformalmethods AI / Machine LearningProgramming Languages / CS Theory thread