Linear Risk Sharing on Networks
freakonometrics.hypotheses.org·1d
🤝Consensus Networks
Cactus Language • Semantics 3
inquiryintoinquiry.com·21h
🔢Denotational Semantics
Triple Threat: Signal's Ratchet Goes Post-Quantum
blog.quarkslab.com·4d
🔐Quantum Security
Multi-Core By Default
rfleury.com·1d·
Discuss: Lobsters, Hacker News
🔩Systems Programming
Automated Fault Isolation & Healing in Linear Control Systems via Multi-Modal Data Fusion & Reinforcement Learning
dev.to·6h·
Discuss: DEV
🛡️Error Boundaries
Defeating Return Type Polymorphism
philipphagenlocher.de·2d·
Discuss: Hacker News
🧬Functional Programming
I built a translator for spatial thinking (because I can't interview in Python)
graemefawcett.ca·18h·
Discuss: Hacker News
🔗Concatenative Programming
SPAD: Specialized Prefill and Decode Hardware for Disaggregated LLM Inference
arxiv.org·1d·
Discuss: r/LLM
💻Local LLMs
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·3h·
Discuss: DEV
📊Multi-vector RAG
LINQ and Learning to Be Declarative
nickstambaugh.dev·1d·
Discuss: Hacker News
🔗Concatenative Programming
Evaluating Gemini 2.5 Deep Think's math capabilities
epoch.ai·23h·
Discuss: Hacker News
🎯Performance Proofs
Neuro-Symbolic AI
en.wikipedia.org·22h·
Discuss: Hacker News
🔲Cellular Automata
Why Haskell is the perfect fit for renewable energy tech
mrcjkb.dev·3d·
Discuss: Hacker News
🧬Functional Programming
MetaGraph: Scalable annotated de Bruijn graphs for DNA indexing and alignment
github.com·2d·
Discuss: Hacker News
🔄Burrows-Wheeler
An enough week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
📈Linear programming
Ship Broken Things
matmul.net·1d·
Discuss: Hacker News
🔗Topological Sorting
Why Low-Precision Transformer Training Fails: An Analysis on Flash Attention
huggingface.co·2d·
Discuss: Hacker News
📊Learned Metrics
End-to-end testing of Gen AI Apps
dev.to·57m·
Discuss: DEV
🔍Concolic Testing
Programmer in Wonderland
binaryigor.com·1d·
Discuss: Hacker News
🔩Systems Programming
Sandy Maguire: Theorems for Free Redux
reasonablypolymorphic.com·2d·
Discuss: Hacker News
λLambda Encodings