Turing, Wagner, Ruth
blog.computationalcomplexity.org·23h·
Discuss: blog.computationalcomplexity.org
📐Mathematical Art
Denmark taps Microsoft to build world’s most powerful quantum computer
thenextweb.com·7h
🇩🇰Danish Computing
Parsing Safetensors File Format in C
leetarxiv.substack.com·2d·
Discuss: Substack, r/programming
✅Format Verification
CVE-2025-4919: Corruption via Math Space in Mozilla Firefox
thezdi.com·2d
🦀Rust Verification
W1seGuy | TryHackMe Walkthrough — XOR? BrUt3_F0rC3 iT
infosecwriteups.com·3d
🔐Cryptographic Archaeology
My favorite use-case for AI is writing logs
vickiboykis.com·1d
🌳Incremental Parsing
C++ Trailing Return Types (2022)
danielsieger.com·8h·
Discuss: Lobsters, Hacker News
🔗Concatenative Programming
Gradual negation types and the Python type system
jellezijlstra.github.io·11h·
Discuss: Hacker News
🔬Refinement Types
A Minimal DDPM
github.com·1d·
Discuss: Hacker News
🧠Machine Learning
How a 12% Tax Rule Becomes Code: Grammar, Law, and Machine Execution
dev.to·1d·
Discuss: DEV
📝Concrete Syntax
Book Notes: The Dark Art of Linear Algebra by Seth Braver — Chapter 1 Review
ruslanspivak.com·2d
📐Mathematical Art
Why pull-based pipelines are faster
blog.sequinstream.com·2h·
Discuss: Lobsters, Hacker News
🌊Stream Processing
Why Even Legendary Games Like Wesnoth Hide Bugs in Plain Sight
hackernoon.com·10h
📜Proof Carrying Code
SIEVE: Effective Filtered Vector Search with Collection of Indexes
arxiv.org·14h
🗂️Vector Databases
Benford's Law and the Ahlstrom Conjecture
jamesmccaffrey.wordpress.com·2d·
Discuss: Hacker News
🎯Arithmetic Coding Theory
Training a Chunker with Burn
elijahpotter.dev·21h·
Discuss: Hacker News
📝Concrete Syntax
State of the Art of Prompt Engineering • Mike Taylor • GOTO 2025
youtube.com·6h
🖥️Terminal Renaissance
Python Fundamentals: case
dev.to·5h·
Discuss: DEV
✅Format Verification
Zig Interface Revisited
williamw520.github.io·1d·
Discuss: Hacker News
🧩WASM Components
Shaping AI's Mind from the Shadows: My Journey with ArXiv and Alpay Algebra
lightcapai.medium.com·2h·
Discuss: Hacker News
🔲Cellular Automata