🦞🌯 Lobster Roll

Stories by cod1r

“Erdos problem #728 was solved more or less autonomously by AI” (mathstodon.xyz)
HN 619 pts 363 comments by cod1r Jan 9, 2026 AI / Machine Learning thread
OCaml 5.4.0 Released (discuss.ocaml.org)
HN 14 pts 0 comments by cod1r Oct 10, 2025 Programming Languages / CS Theory thread
OCaml Cross Compilation: An Experiment (chrisarmstrong.dev)
HN 8 pts 0 comments by cod1r May 3, 2025 Programming Languages / CS Theory thread
ARM Has a JavaScript Instruction (notnotp.com)
HN 7 pts 1 comments by cod1r Jan 10, 2026 Web Development thread
A JavaScript engine written in Zig (codeberg.org)
HN 7 pts 0 comments by cod1r Oct 15, 2025 Web DevelopmentProgramming Languages / CS Theory thread
Chromium Browser DoS Attack via Document.title (github.com)
HN 5 pts 0 comments by cod1r Oct 31, 2025 Web Development thread
A Break from Programming Languages (lexi-lambda.github.io)
HN 5 pts 0 comments by cod1r May 30, 2025 Programming (General) thread
I Told You So (geohot.github.io)
HN 4 pts 0 comments by cod1r Feb 13, 2026 thread
Template Interpreters (zackoverflow.dev)
HN 4 pts 0 comments by cod1r Nov 12, 2025 thread
Obamify (obamify.com)
HN 4 pts 1 comments by cod1r Oct 22, 2025 thread
C++ and Rust: Different tools for the Job [video] (youtube.com)
HN 4 pts 0 comments by cod1r May 10, 2025 Systems / Low-Level / OS thread
Bun 1.1.21 (bun.sh)
HN 4 pts 1 comments by cod1r Jul 27, 2024 thread
LLMs and Your Career (notes.eatonphil.com)
HN 3 pts 0 comments by cod1r Jan 19, 2026 Productivity / Career / Business thread
Flow Match Statements (github.com)
HN 3 pts 0 comments by cod1r Jun 28, 2025 thread
Corrosive C - Compiling Rust to C to target new platforms (youtube.com)
HN 3 pts 0 comments by cod1r Jun 10, 2025 Systems / Low-Level / OS thread
Shader Slang (shader-slang.org)
HN 3 pts 0 comments by cod1r Apr 18, 2025 thread
3D Terrain Renderer with React and the DOM (trashmoon.com)
HN 3 pts 0 comments by cod1r Dec 7, 2024 Web Development thread
What is WebM? (2012) [video] (youtube.com)
HN 3 pts 0 comments by cod1r Aug 17, 2024 thread
An OpenClaw-powered game world builder (github.com)
HN 2 pts 0 comments by cod1r Feb 17, 2026 Gaming / Retro Computing thread
My Thoughts on AI (sarah.engineer)
HN 2 pts 0 comments by cod1r Feb 10, 2026 AI / Machine Learning thread
Accepting that you won't know it all (blog.prdai.dev)
HN 2 pts 0 comments by cod1r Nov 22, 2025 thread
ImGui React Runtime (github.com)
HN 2 pts 0 comments by cod1r Nov 8, 2025 Web Development thread
Liquid Glass Using SVG Filters (github.com)
HN 2 pts 0 comments by cod1r Jun 26, 2025 thread
Why 26.6? (lists.nongnu.org)
HN 2 pts 0 comments by cod1r Feb 28, 2025 thread
Bun 1.1.25 (bun.sh)
HN 2 pts 1 comments by cod1r Aug 21, 2024 thread
Printf Is Weird (sarah.engineer)
HN 2 pts 0 comments by cod1r Aug 3, 2024 thread
First Proof (1stproof.org)
HN 1 pts 1 comments by cod1r Feb 14, 2026 thread
A programming language for libraries translated to all the others (github.com)
HN 1 pts 0 comments by cod1r Jan 14, 2026 Programming (General)Programming Languages / CS Theory thread
Memory Management (memorymanagement.org)
HN 1 pts 1 comments by cod1r Feb 20, 2025 Systems / Low-Level / OSProductivity / Career / Business thread
Console.mihai() (incompleteness.me)
HN 1 pts 0 comments by cod1r Nov 9, 2024 thread