Prime Portraits
archive.bridgesmathart.org·1d
📐Mathematical Art
Erlang-Red Walkthrough – Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.com·18h·
Discuss: Hacker News
🌐Protocol Synthesis
An enough week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
📈Linear programming
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.org·1d·
Discuss: Hacker News, r/programming
🌳Incremental Parsing
On the Pure Quantum Polynomial Hierarchy and Quantified Hamiltonian Complexity
arxiv.org·2d
⚛️Quantum Algorithms
In-Depth Analysis: "Attention Is All You Need"
dev.to·17h·
Discuss: DEV
🧠Intelligence Compression
Let's Write a Macro in Rust
hackeryarn.com·16h·
Discuss: Hacker News
🦀Rust Macros
Neural Networks from Scratch in Python: Simpler Than You Think
hamza.se·12h·
Discuss: Hacker News
📊Quantization
TRIM: Token-wise Attention-Derived Saliency for Data-Efficient Instruction Tuning
arxiv.org·2d
🔨Compilers
Defeating Return Type Polymorphism
philipphagenlocher.de·2d·
Discuss: Hacker News
🧬Functional Programming
LLM Optimization Notes: Memory, Compute and Inference Techniques
gaurigupta19.github.io·4d·
Discuss: Hacker News
💻Local LLMs
Cactus Language • Semantics 2
inquiryintoinquiry.com·2d
🔢Denotational Semantics
Data-Error Scaling Laws in Machine Learning on Combinatorial Mutation-prone Sets: Proteins and Small Molecules
arxiv.org·1d
🧮Kolmogorov Complexity
SLip - An aspiring Common Lisp environment in the browser.
lisperator.net·19h·
Discuss: r/programming
🧠Lisp Dialects
Refactoring: A way to write better Code
dev.to·6h·
Discuss: DEV
⚙️Operational Semantics
Nearly Instance-Optimal Parameter Recovery from Many Trajectories via Hellinger Localization
arxiv.org·2d
🧮Kolmogorov Bounds
Scalable Semantic Map Generation via Hierarchical Graph Optimization
dev.to·12h·
Discuss: DEV
⚡Incremental Computation
The Trillion Dollar AI Software Development Stack
a16z.com·11h·
Discuss: Hacker News
⚡Proof Automation
Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
arxiv.org·4d
⚡Proof Automation
The Custom Conveyor: Building Your Own Iterators
dev.to·4h·
Discuss: DEV
🔄Burrows-Wheeler