Microsoft is named a Leader in the 2025 Gartner® Magic Quadrant™ for Endpoint Protection Platforms
microsoft.com·11h
🏺Kerberos Archaeology
Security-Focused Homelab
reddit.com·2h·
Discuss: r/homelab
🏠HomeLab
Checking data integrity
eclecticlight.co·22h
✅Checksum Validation
Fully Patched SonicWall Gear Under Likely Zero-Day Attack
darkreading.com·11h
🔓Hacking
govalid - A compile-time validation library that's up to 45x faster than reflection-based validators
reddit.com·18h·
Discuss: r/golang
🦀Rust Verification
How a 12% Tax Rule Becomes Code: Grammar, Law, and Machine Execution
dev.to·16h·
Discuss: DEV
📝Concrete Syntax
Dollars per token considered harmful
modal.com·16h·
Discuss: Hacker News
💻Local LLMs
The key to understanding “Dynamic Programming” is that it’s not referring to “computer programming”
vidarholen.net·7h·
Discuss: Hacker News
💻Programming languages
A Bayesian Incentive Mechanism for Poison-Resilient Federated Learning
arxiv.org·59m
🤐Secure Multiparty
Uncensored Multi-Agent AI Debate System Locally with Knowledge Base Now with a UI! (Part 3)Full code.
dev.to·1d·
Discuss: DEV
📝ABNF Parsing
Effective Practices for Coding with a Chat-Based AI
infoq.com·5h·
Discuss: Hacker News
🔄Language Evolution
The Fundamental Failure-Mode Theorem: Systems lie about their proper functioning
devblogs.microsoft.com·14h·
Discuss: Hacker News
💾Persistence Strategies
Game Theory Meets LLM and Agentic AI: Reimagining Cybersecurity for the Age of Intelligent Threats
arxiv.org·1d
🔲Cellular Automata
Cancellative Convex Semilattices
arxiv.org·1d
🔲Proof Irrelevance
I'm Switching to Python and Actually Liking It
cesarsotovalero.net·21h·
Discuss: Hacker News
🌀Brotli Internals
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·2d·
Discuss: Hacker News
🔍Type Inference
VoTranhAbyssCore: An AI Oracle Mapping the Entropic Pathway to Systemic Collapse
github.com·2d·
Discuss: Hacker News
🔲Cellular Automata
CoCre-Sam (Kokkuri-san): Modeling Ouija Board as Collective Langevin Dynamics Sampling from Fused Language Models
arxiv.org·59m
🔲Cellular Automata
On the Complexity of the Optimal Correlated Equilibria in Extensive-Form Games
arxiv.org·1d
🔲Cellular Automata
Advancing Retrieval-Augmented Generation for Structured Enterprise and Internal Data
arxiv.org·59m
🔍Information Retrieval