Cryptography for the Everyday Developer: Number Theory for Public Key Cryptography
sookocheff.com·8h
🔐Cryptographic Archaeology
Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
arxiv.org·16h
⚡Proof Automation
Is ChatGPT-5 Able to Provide Proofs for Advanced Mathematics?
machinelearningmastery.com·9h
🎯Proof Tactics
Using Palm Jumeirah's Design to Visualize the Elliptic Curve Method
codingpirate.com·1d·
Discuss: Hacker News
📐Mathematical Art
Triple Threat: Signal's Ratchet Goes Post-Quantum
blog.quarkslab.com·22h
🔐Quantum Security
Toy Binary Decision Diagrams
philipzucker.com·1d
🧮Algebraic Datatypes
Building Apache Phoenix DynamoDB Compatibility: Zero-Code Multi-Cloud Database Migrations at Scale
engineering.salesforce.com·6h
💿ZFS Archaeology
A Complex Qutrit Inside an Octonionic One
golem.ph.utexas.edu·1d
⏰Time Crystals
Latency vs. Accuracy for LLM Apps — How to Choose and How a Memory Layer Lets You Win Both
dev.to·9h·
Discuss: DEV
⚡Performance Mythology
The Chip That Spoke Lisp
jxself.org·9h
🤖Lisp Machines
On This Day in Math - October 6
pballew.blogspot.com·1d·
Discuss: www.blogger.com
📐Interval Arithmetic
Hybrid Schemes of NIST Post-Quantum Cryptography Standard Algorithms and Quantum Key Distribution for Key Exchange and Digital Signature
arxiv.org·1d
🔐Quantum Security
Property-based testing of batch-invariant operations
mmaaz.ca·1d·
Discuss: Hacker News
🧪Property-Based Testing
This Puzzle Shows Just How Far LLMs Have Progressed in a Little Over a Year
towardsdatascience.com·7h
📐Mathematical Art
The Mondrian introduction to functional optics
marcosh.github.io·11h·
Discuss: Hacker News
⟷Bidirectional Programming
Embedding Lua in Nim
lambdacreate.com·1d
🦀Rust Macros
Self-Extracting F3
buttondown.com·1d·
Discuss: Hacker News
✅Format Verification
News for September 2025
ptreview.sublinear.info·3d
🧪Property-Based Testing
2 Math Problems Fall to LLM: Tsumura's 554 solved, Majority Optimality Disproved
nednex.com·1d·
Discuss: Hacker News
🧮SMT Solvers
LLM Optimization Notes: Memory, Compute and Inference Techniques
gaurigupta19.github.io·1d·
Discuss: Hacker News
💻Local LLMs