Jackknife Transmittance and MIS Weight Estimation
🎨GADTs
Flag this post
are-dependent-types-actually-erased
❓Existential Types
Flag this post
Gated DeltaNet (Linear Attention variant in Qwen3-Next and Kimi Linear)
📚Automata Learning
Flag this post
Notes by djb on using Fil-C with Debian multiarch
❄️NixOS
Flag this post
The Illustrated NeurIPS 2025: A Visual Map of the AI Frontier
newsletter.languagemodels.co·11h
🔲Cellular Automata
Flag this post
Enhancing LOD Integrity via Hyperdimensional Semantic Graph Normalization & Automated Anomaly Detection
🧠Automated Reasoning
Flag this post
Claude Skills Market
💻CLI Tools
Flag this post
Can-t stop till you get enough
📐Linear Algebra
Flag this post
Told myself I'd switch back to Windows after I get my RAM back... Now I don't think I'm ever going back to Windows
🔬Unikernels
Flag this post
ClickHouse node upgrade on EKS (1.28 → 1.29) — risk of data loss with i4i instances?
❄️NixOS
Flag this post
Pressure to change
🧪Concolic Testing
Flag this post
GraphMD – LLMs Powered Literate Programming Environment for Markdown Documents
✓Automated Theorem Proving
Flag this post
Byrrgis Founder: "Mass Adoption Won't Happen Until We Fix These DeFi Problems
hackernoon.com·12h
🌐ActivityPub
Flag this post
In AI, Everything is Meta
🔲Cellular Automata
Flag this post
Show HN: The Best Tools To Ever Exist
💻CLI Tools
Flag this post
I built a JBOD from a dead r710
🔧Unikernel Development
Flag this post
Loading...Loading more...