🦞🌯 Lobster Roll

Stories by smaddox

Introducing Dawn (Part 1) (dawn-lang.org)
Sort By Controversial (slatestarcodex.com)
Galactic algorithm (en.m.wikipedia.org)
Great Works in Computer Science (cs.virginia.edu)
Magma: A dependently-typed language (github.com)
Foundations of Dawn: The Untyped Concatenative Calculus (dawn-lang.org)
Foundations of Dawn: The Untyped Multistack Concatenative Calculus (dawn-lang.org)
Stable Diffusion 2.0 Release (stability.ai)
I built a startup in Rust, I would do it again (cloak.software)
A Lock-Free Vector (ibraheem.ca)
The tiny ultrabright laser that can melt steel (spectrum.ieee.org)
Using Rustlang's Async Tokio Runtime for CPU-Bound Tasks (thenewstack.io)
Using lightweight formal methods to validate a key-value storage node in Amazon S3 (amazon.science)
Darke Files - a version control and file synchronization system (darke.handmade.network)
JIT compilation is coming to Unison: an early progress report (unison-lang.org)
We're Open Sourcing BitCraft Online (bitcraftonline.com)
Modular Formal Verification of Rust Programs with Unsafe Blocks (arxiv.org)
VectorFusion: Text-to-SVG by Abstracting Pixel-Based Diffusion Models (ajayj.com)
Annotated history of modern AI and deep neural networks (people.idsia.ch)
ChatGPT + Code Interpreter = Magic (andrewmayneblog.wordpress.com)
How to Optimize a CUDA Matmul Kernel for cuBLAS-like Performance: a Worklog (siboehm.com)
Casey Muratori on whiteboard interviews (2015) (youtube.com)
In this Handmade Hero Q/A session, Casey Muratori shares his thoughts on whiteboard interviews.
Building, launching, and scaling ChatGPT Images (newsletter.pragmaticengineer.com)
The Shakespeare Programming Language (2001) (shakespearelang.sourceforge.net)
Civic honesty around the globe (science.sciencemag.org)