Dealing with domain modelling mismatches on external services
blog.shalvah.me·4h
🛡️Error Ergonomics
Flag this post
EP190: Cloudflare vs. AWS vs. Azure
blog.bytebytego.com·15h
🌍Minimal HTTP
Flag this post
Student projects in complex function theory – The Prime Number Theorem and Riemann’s paper
noncommutativeanalysis.wordpress.com·23h
📐Mathematical Computing
Flag this post
RFT Theorems
🔢Algebraic Datatypes
Flag this post
The Easiest Way to Build a Type Checker
✅Type Checking
Flag this post
<p>**Abstract:** This paper introduces a novel system for automating the formalization and verification of proofs within Homotopy Type Theory (HoTT). Leveraging...
freederia.com·1d
⚖️Inference Rules
Flag this post
Making SLH-DSA 10x-100x Faster
conduition.io·8h
🔗Hash Algorithms
Flag this post
The Sacrilegious Coder
📚Self-Documenting Code
Flag this post
Is it possible for a 16-thread processor 4GHz to run a single-threaded program in a virtual machine program at 64 Giga computations/s? Latency?
🔀SIMD Programming
Flag this post
The Bitcoin “security budget” error for block miners
stacker.news·8h
🔗Hash Functions
Flag this post
Trying Out C++26 Executors
🔮Speculative Execution
Flag this post
Show HN: OriGen – A Deterministic Workflow Compiler (Maps → IR → CI/K8s)
🎯Symbolic Execution
Flag this post
Where "Simulation" Came From
📡Binary Protocols
Flag this post
Is Matrix Multiplication Ugly?
💫Effect Systems
Flag this post
<p>**Abstract:** This paper introduces a novel approach to constructing minimal polynomials for matrices within numerical linear algebra using reinforcement lea...
freederia.com·1d
🧩Constraint Solvers
Flag this post
Zig in 30 Minutes
🦀MIR Optimization
Flag this post
Pitch Multiplication (2017)
🔶Lattice Theory
Flag this post
Taming the Data Beast: Build Pipelines That Bend, Not Break by Arvind Sundararajan
📋JSON Parsing
Flag this post
Verifying and testing timeliness constraints of Haskell programs
⚡Interpreter Optimization
Flag this post
Concept-Based Generic Programming -- Bjarne Stroustrup
isocpp.org·10h
🗂️Type Indexing
Flag this post
Loading...Loading more...