derived set
ncatlab.org·2d
🧮Algebraic Archives
Many Ways Up the Mountain: The Scrappy, Creative World of Open Source
exposingtheinvisible.org·37m
🔓Hacking
Golang and Let's Encrypt: a free software story
dotat.at·2d·
Discuss: Hacker News
🌳Archive Merkle Trees
Ranking generative AI companies from most to least evil
cwodtke.medium.com·15h·
Discuss: Hacker News
🔲Cellular Automata
Blazing matrix products
panadestein.github.io·1d·
Discuss: Lobsters, Hacker News
⚡SIMD Optimization
Speeding up sideeffects with JIT in mountaineer
pierce.dev·1d·
Discuss: Hacker News
🦀Rust Macros
CSS Functions and Mixins Module
w3.org·1d·
Discuss: Hacker News
🔗Concatenative Programming
The Internal Inconsistency of Large Language Models
blog.kortlepel.com·3d·
Discuss: Hacker News
💻Local LLMs
Show HN: Clip All King Soopers and Other Kroger Stores' Digital Coupons
github.com·1d·
Discuss: Hacker News
📦Deflate
Self-Improving CLI Agents in 5 minutes
colinharman.substack.com·20h·
Discuss: Substack
⚡Proof Automation
[rant] Rust: The Safety Language That Still Isn’t Safe Enough
dev.to·14h·
Discuss: DEV
🦀Embedded Rust
SlimMoE: Structured Compression of Large MoE Models via Expert Slimming and Distillation
arxiv.org·4d
⚡Modern Compression
TITAN: Query-Token based Domain Adaptive Adversarial Learning
arxiv.org·1d
📊Learned Metrics
From Manual API Testing to AI-Powered Automation: My Experience with Keploy
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Self-referential structs that can actually move in Rust
reddit.com·4d·
Discuss: r/rust
🦀Rust Borrowing
scMamba: A Scalable Foundation Model for Single-Cell Multi-Omics Integration Beyond Highly Variable Feature Selection
arxiv.org·1d
🧠Machine Learning
Machine Learning Fundamentals: adam optimizer example
dev.to·1d·
Discuss: DEV
📊Quantization
Language Bottleneck Models: A Framework for Interpretable Knowledge Tracing and Beyond
arxiv.org·5d
🧮Kolmogorov Complexity
ColumnTransformer and Pipelines in Scikit-Learn: Clean, Scalable, and Powerful Preprocessing
dev.to·1d·
Discuss: DEV
🌊Streaming Compression
Dialogic Pedagogy for Large Language Models: Aligning Conversational AI with Proven Theories of Learning
arxiv.org·3d
🤖Grammar Induction