🦞🌯 Lobster Roll

Stories by aiono

Algebraic Types are not Scary, Actually (blog.aiono.dev)
L 67 pts 79 comments by aiono Sep 15, 2025 mlplt Programming Languages / CS Theory thread
Wasm 2.0 Completed (webassembly.org)
L 51 pts 2 comments by aiono May 9, 2025 wasm Web DevelopmentProgramming Languages / CS Theory thread
Using The Corne Split Keyboard For Half A Year (rugu.dev)
L 39 pts 12 comments by aiono Dec 31, 2025 hardware Maker / DIY / Hardware thread
C++ move semantics from scratch (2022) (cbarrete.com)
L 17 pts 1 comments by aiono Nov 3, 2025 c++ Systems / Low-Level / OS thread
Understanding C++ Ownership System (blog.aiono.dev)
L 16 pts 0 comments by aiono Jan 19, 2026 c++ Systems / Low-Level / OS thread
The shell and its problems in handling of whitespace (2023) (blog.plover.com)
L 14 pts 18 comments by aiono May 23, 2025 unix Systems / Low-Level / OS thread
Can LLMs SAT? (blog.aiono.dev)
L 13 pts 6 comments by aiono Feb 26, 2026 vibecoding AI / Machine Learning thread
What I Always Wanted to Know about Second Class Values (dl.acm.org)
L 9 pts 1 comments by aiono 2d ago plt Programming Languages / CS Theory thread
TLA+ Modeling of AWS outage DNS race condition (muratbuffalo.blogspot.com)
L 8 pts 0 comments by aiono Nov 6, 2025 distributedformalmethods Programming Languages / CS TheoryData / Databases / Infrastructure thread
Minimal Scala Container Images using Nix (blog.aiono.dev)
L 8 pts 0 comments by aiono Aug 4, 2025 javanixscala Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
I tagged it with `java` because most of the article is about bundling a JRE which works the same way for any language that runs on JVM.
Rethinking Modern Asynchronous Paradigms (blog.dogac.dev)
L 8 pts 12 comments by aiono May 15, 2025 programming Programming (General) thread
IO is special (blog.ploeh.dk)
L 7 pts 0 comments by aiono Sep 9, 2025 haskellplt Programming Languages / CS Theory thread
In defence of correctness (blog.ploeh.dk)
L 3 pts 0 comments by aiono Mar 3, 2026 formalmethodsvibecoding AI / Machine LearningProgramming Languages / CS Theory thread
Test, don't (just) verify (alperenkeles.com)
L 3 pts 0 comments by aiono Jan 15, 2026 formalmethodstesting Programming (General)Programming Languages / CS Theory thread
Design Microservice Architectures the Right Way (infoq.com)
L 3 pts 0 comments by aiono Aug 26, 2025 apipracticesvideo Programming (General)Data / Databases / InfrastructureDesign / UX / VisualizationProductivity / Career / Business thread
I think the video contains generally applicable advice regardless if you use microservices or you have coarser services. I generally liked the advice in the video, especially it being based on a real company practices and not just talk.
Against Single-File Codebases (rugu.dev)
HN 2 pts 2 comments by aiono Jul 17, 2025 thread