🦞🌯 Lobster Roll

Stories by smaddox

Introducing Dawn (Part 1) (dawn-lang.org)
L 81 pts 44 comments by smaddox Apr 9, 2021 haskellrelease Programming Languages / CS Theory thread
Sort By Controversial (slatestarcodex.com)
L 41 pts 3 comments by smaddox Dec 23, 2019 aisatire AI / Machine Learning thread
Galactic algorithm (en.m.wikipedia.org)
L 30 pts 4 comments by smaddox Jan 5, 2023 compsci Programming Languages / CS Theory thread
Great Works in Computer Science (cs.virginia.edu)
L 29 pts 3 comments by smaddox Sep 6, 2022 compsci Programming Languages / CS TheoryScience / Math / Physics thread
Magma: A dependently-typed language (github.com)
L 29 pts 10 comments by smaddox Nov 27, 2021 plt Programming Languages / CS Theory thread
Foundations of Dawn: The Untyped Concatenative Calculus (dawn-lang.org)
L 29 pts 28 comments by smaddox Nov 20, 2021 plt Programming Languages / CS TheoryScience / Math / Physics thread
Foundations of Dawn: The Untyped Multistack Concatenative Calculus (dawn-lang.org)
L 24 pts 8 comments by smaddox Feb 25, 2022 plt Programming Languages / CS TheoryScience / Math / Physics thread
Stable Diffusion 2.0 Release (stability.ai)
L 21 pts 5 comments by smaddox Nov 26, 2022 ai AI / Machine Learning thread
I built a startup in Rust, I would do it again (cloak.software)
L 20 pts 11 comments by smaddox Mar 18, 2023 rust Systems / Low-Level / OSProductivity / Career / Business thread
A Lock-Free Vector (ibraheem.ca)
L 16 pts 7 comments by smaddox Aug 6, 2023 rust Systems / Low-Level / OS thread
The tiny ultrabright laser that can melt steel (spectrum.ieee.org)
L 13 pts 1 comments by smaddox Jan 5, 2025 hardware Maker / DIY / Hardware thread
Using Rustlang's Async Tokio Runtime for CPU-Bound Tasks (thenewstack.io)
L 13 pts 13 comments by smaddox Jan 16, 2022 rust Systems / Low-Level / OS thread
Using lightweight formal methods to validate a key-value storage node in Amazon S3 (amazon.science)
L 11 pts 1 comments by smaddox Nov 1, 2021 formalmethods Programming Languages / CS Theory thread
Darke Files - a version control and file synchronization system (darke.handmade.network)
L 7 pts 3 comments by smaddox Apr 22, 2023 vcs Programming (General) thread
JIT compilation is coming to Unison: an early progress report (unison-lang.org)
L 7 pts 1 comments by smaddox Mar 29, 2022 compilers Systems / Low-Level / OSProgramming Languages / CS Theory thread
We're Open Sourcing BitCraft Online (bitcraftonline.com)
L 5 pts 2 comments by smaddox Apr 28, 2025 games Gaming / Retro Computing thread
Modular Formal Verification of Rust Programs with Unsafe Blocks (arxiv.org)
L 5 pts 0 comments by smaddox Jan 2, 2023 formalmethodsrust Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
VectorFusion: Text-to-SVG by Abstracting Pixel-Based Diffusion Models (ajayj.com)
L 3 pts 0 comments by smaddox Nov 23, 2022 ai AI / Machine LearningDesign / UX / VisualizationGaming / Retro Computing thread
Annotated history of modern AI and deep neural networks (people.idsia.ch)
L 2 pts 0 comments by smaddox Sep 6, 2023 aihistorical AI / Machine LearningCulture / Philosophy / History / Reading thread
ChatGPT + Code Interpreter = Magic (andrewmayneblog.wordpress.com)
L 2 pts 5 comments by smaddox Mar 26, 2023 vibecoding AI / Machine LearningProgramming (General) thread
How to Optimize a CUDA Matmul Kernel for cuBLAS-like Performance: a Worklog (siboehm.com)
L 2 pts 0 comments by smaddox Jan 5, 2023 performance Systems / Low-Level / OSData / Databases / Infrastructure thread
Casey Muratori on whiteboard interviews (2015) (youtube.com)
L 2 pts 0 comments by smaddox Jun 2, 2018 practicesvideo Productivity / Career / Business thread
In this Handmade Hero Q/A session, Casey Muratori shares his thoughts on whiteboard interviews.
Building, launching, and scaling ChatGPT Images (newsletter.pragmaticengineer.com)
L 1 pts 1 comments by smaddox May 14, 2025 aiscaling AI / Machine LearningProductivity / Career / Business thread
The Shakespeare Programming Language (2001) (shakespearelang.sourceforge.net)
L 1 pts 0 comments by smaddox Jan 15, 2019 programmingsatire Programming (General)Programming Languages / CS Theory thread
Civic honesty around the globe (science.sciencemag.org)
L -2 pts 0 comments by smaddox Jun 28, 2019 science Science / Math / Physics thread