Dissecting My Recent Argument (Are Error Theories Offensive?)
nakedcapitalism.com·1d
⚔️Lean Theorem
I am smarter than ChatGPT (at Clues by Sam)
goose.leaflet.pub·20h·
Discuss: Hacker News
🔲Cellular Automata
Variations on Knuth’s Twindragon
johndcook.com·22h·
Discuss: Hacker News
📐Mathematical Art
Explaining Fully Homomorphic Encryption to My Mom
olshansky.medium.com·12h·
Discuss: Hacker News
🔐Homomorphic Encryption
A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·2d·
Discuss: Lobsters, Hacker News, r/programming
🔗Functional Compilers
FLINT: Fast Library for Number Theory
flintlib.org·21h
🧮Algebraic Datatypes
Formal verification effort for the ABDK Math 64.64 library using echidna/hevm
github.com·1d·
Discuss: Hacker News
✅Format Verification
Sharing Is Scaring: Why Is Cloud File-Sharing Hard?
blog.brownplt.org·23h·
Discuss: Lobsters, Hacker News, r/programming
💧Liquid Types
The Future Isn't Model Agnostic
future.forem.com·4h·
Discuss: DEV
⚡Incremental Computation
Reimagining Web3 Interactions: How Gaia Powers Smart Token Creation on Linea with MetaMask Delegation Toolkit
dev.to·2h·
Discuss: DEV
🔒WASM Capabilities
k-NN Classification and Model Evaluation
dev.to·8h·
Discuss: DEV
🧠Machine Learning
Deep Think with Confidence
arxiviq.substack.com·2d·
Discuss: Substack
💻Local LLMs
How Many Paths of Length K Are There Between a and B?
horace.io·1d·
Discuss: Hacker News
🕸️Graph Algorithms
Reloading classes in python and shared borders
andrewpwheeler.com·5h·
Discuss: Hacker News
🦀Rust Macros
Quantifying Sycophancy as Deviations from Bayesian Rationality in LLMs
arxiv.org·12h
💻Local LLMs
Propose and Rectify: A Forensics-Driven MLLM Framework for Image Manipulation Localization
arxiv.org·12h
🖼️JPEG Forensics
A Model for all Ranges
qt.io·1h·
Discuss: Lobsters, Hacker News
🧩SQLite Extensions
Fair Auctions, Automata Routing, and Rebalancing for Distributed Mobility‑On‑Demand Assignment
hackernoon.com·18h
🎯Performance Proofs
Show HN: DataCompose – Prevent downstream data failures with composite functions
datacompose.io·20h·
Discuss: Hacker News
✅Format Validation
Simpler Category Theory
ryanbrewer.dev·6d·
Discuss: Hacker News
🔀Category Theory