Reproducing the AWS Outage Race Condition with a Model Checker
🔄Protocol State Machines
Flag this post
Gröbner Bases Explained: From Abstract Algebra to Real-World Optimization
🧩Constraint Solvers
Flag this post
How to Convert Cubic Bézier Curves into Euler Spirals for GPU Optimization
hackernoon.com·3d
🧮Combinator Calculus
Flag this post
Mathematics solves problems by pen and paper. CS helps us to go far beyond that
🧩Constraint Solvers
Flag this post
Some Fun Videos on Optimizing NES Code
bumbershootsoft.wordpress.com·1d
🌊Loop Invariant Motion
Flag this post
Objects as Random Access Memory
tbr.bearblog.dev·22h
🤐Zipper Structures
Flag this post
Can Your AI Blackmail You? Inside the Security Risk of Agentic Misalignment
🛡️Security Type Systems
Flag this post
So I made a Full-stack coding framework at 16 years old called ScrollForge: Causal Graph Programming which unifies state, logic, and style in one causal graph.
🌊Reactive Languages
Flag this post
0055: consulting, sql needed structure, slow forum, on the line, out of thin air, papers, other stuff
scattered-thoughts.net·2d
🔄Bootstrapping
Flag this post
Enhanced SPH Turbulence Modeling via Adaptive Kernel Correction & Multi-Scale Data Assimilation
🌪️V8 TurboFan
Flag this post
Web Developer Travis McCracken on Modular Monoliths: Backend Architecture That Works
📦Monorepos
Flag this post
Becoming a Core Developer
stefaniemolin.com·8h
⚙️TOML Parsers
Flag this post
Loading...Loading more...