Silence, the First Music
comment.org·23h
📊Information Theory
Flag this post
Software design is refinement, not abstraction (2022)
sicpers.info·4h·
Discuss: Hacker News
🧮Programming Language Theory
Flag this post
Gated DeltaNet (Linear Attention variant in Qwen3-Next and Kimi Linear)
sebastianraschka.com·4d·
Discuss: r/LLM, r/LocalLLaMA
🎲Probabilistic Programming
Flag this post
Algorithmic Fairness Auditing via Dynamic Contrastive Learning in Personalized Recommendation Systems
dev.to·1h·
Discuss: DEV
⚖Algorithmic Game Theory
Flag this post
@CollinRugg Tucker Carlson is out of his depth when it comes to where the principles of Western civilization are found as well as American history. How he and o...
threadreaderapp.com·1h
🔗Parser Combinators
Flag this post
WTF is Machine Learning Operations (MLOps)?
dev.to·18h·
Discuss: DEV
🎲Probabilistic Programming
Flag this post
Qartographer: Quantum Chip Design... Reimagined!
dev.to·2h·
Discuss: DEV
🔐Cryptography
Flag this post
Not Over Or Under Indexed
lesswrong.com·2d
🗄️Database Theory
Flag this post
Designing Data-Intensive Applications [Book Review]-The Big Ideas Behind Reliable, Scalable and Maintainable Systems
dev.to·1d·
Discuss: DEV
🧮Programming Language Theory
Flag this post
Programming Languages Lie: Variables Aren’t What You Think They Are
dev.to·1d·
Discuss: DEV
🧮Programming Language Theory
Flag this post
Graph Neural AI with Temporal Dynamics for Comprehensive Anomaly Detection in Microservices
arxiv.org·22h
🧭SMT Solvers
Flag this post
Advancing Cognitive Science with LLMs
arxiv.org·2d
🧮Programming Language Theory
Flag this post
Position: Vibe Coding Needs Vibe Reasoning: Improving Vibe Coding with Formal Verification
arxiv.org·2d
✅Formal Verification
Flag this post
MammoClean: Toward Reproducible and Bias-Aware AI in Mammography through Dataset Harmonization
arxiv.org·1d
🎲Probabilistic Programming
Flag this post
7 Prompt Engineering Tricks to Mitigate Hallucinations in LLMs
machinelearningmastery.com·3d
🧩Theorem Proving
Flag this post
Association-sensory spatiotemporal hierarchy and functional gradient-regularised recurrent neural network with implications for schizophrenia
arxiv.org·22h
🔄Category Theory
Flag this post
Beyond Citations: Measuring Idea-level Knowledge Diffusion from Research to Journalism and Policy-making
arxiv.org·22h
📊Information Theory
Flag this post
Spring AI RAG, Demystified: From Toy Demos to Production-Grade Retrieval
dev.to·1d·
Discuss: DEV
🔗Parser Combinators
Flag this post
A Modular, Data-Free Pipeline for Multi-Label Intention Recognition in Transportation Agentic AI Applications
arxiv.org·22h
🎲Probabilistic Programming
Flag this post
Formal Verification’s Value Grows
semiengineering.com·1d
🧩Theorem Proving
Flag this post