Crown Ethers
johncarlosbaez.wordpress.com·10m
⚛️Quantum Tape
A long-lost ancient Roman artifact reappears in a New Orleans backyard
the-independent.com·3h
📜Palimpsest Analysis
Evidence Preservation: Why iPhone Data Can Expire
blog.elcomsoft.com·1d
🌡️Preservation Entropy
Advanced ZFS Dataset Management: Snapshots, Clones, and Bookmarks
klarasystems.com·2d
📸ZFS Snapshots
Planning Out My First Home Server/Camera System
i.redd.it·3h·
Discuss: r/homelab
🏠HomeLab
How we built a structured Streamlit Application Framework in Snowflake
about.gitlab.com·1d
🌊Streaming Systems
Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.org·1d
🧮Theorem Proving
Laion, the dataset behind Stable Diffusion (2023)
deeplearning.ai·1h·
Discuss: Hacker News
🎓Academic Torrents
Slip – A Lisp System in JavaScript
lisperator.net·17h·
Discuss: Hacker News
🔗Lisp
OBCache: Optimal Brain KV Cache Pruning for Efficient Long-Context LLM Inference
arxiv.org·1d
💻Local LLMs
Faking a Rational Design Process in the AI Era: Why Documentation Matters
albertsikkema.com·23h·
Discuss: Hacker News
⚙️Proof Engineering
Building the Reasoning Engine at Axiom
axiommath.ai·11h·
Discuss: Hacker News
⚔️Lean Tactics
I Built the Perfect Workflow and attracted some friends in the process
graemefawcett.ca·8h·
Discuss: Hacker News
⚡Proof Automation
[R] How to retrieve instructions given to annotators - RLHF
reddit.com·22h·
Discuss: r/MachineLearning
📚Documentation Archaeology
Why it took 4 years to get a lock files specification
snarky.ca·3h·
Discuss: Lobsters, Hacker News
🔄Language Evolution
Integral Signatures of Activation Functions: A 9-Dimensional Taxonomy and Stability Theory for Deep Learning
arxiv.org·1d
🧠Machine Learning
CIR-CoT: Towards Interpretable Composed Image Retrieval via End-to-End Chain-of-Thought Reasoning
arxiv.org·1d
🧮Vector Embeddings
Three Solutions to Nondeterminism in AI
blog.hellas.ai·2d·
Discuss: Hacker News
🎯Performance Proofs
In-Depth Analysis: "Attention Is All You Need"
dev.to·16h·
Discuss: DEV
🧠Intelligence Compression
Bidirectional type checking step by step (in Ruby)
luizpvas.github.io·8h·
Discuss: Hacker News
⬌Bidirectional Typing