Interactive Theorem Proving, Tactic Languages, Proof Development, Automation

Faster, safer, stronger: Sophos Firewall v22 security enhancements
news.sophos.com·7h
🛡️eBPF Security
Flag this post
This New Drug Could Knock Out Superbugs. It’s Been Hiding in Plain Sight for Decades.
popularmechanics.com·13h
Proof Automation
Flag this post
Optimizing filtered vector queries from tens of seconds to single-digit milliseconds in PostgreSQL
clarvo.ai·17h
🧠Query Planners
Flag this post
Announcing the Lean TDD book
pythontest.com·4d
⚔️Lean Tactics
Flag this post
The Power Problem – A Silicon Valley Story
syntheticauth.ai·3h·
Discuss: Hacker News
🖥️Terminal Renaissance
Flag this post
Thoughts on this backend role?
reddit.com·9h·
Discuss: r/golang
📝ABNF Parsing
Flag this post
At 23: From failing university in Turkey to AI research in Germany
lightcapai.medium.com·1d·
Discuss: Hacker News
🎯Content Recommendation
Flag this post
How I Prepared for a Data Science Interview at a Large Tech Company
kdnuggets.com·9h
🧪Data science
Flag this post
Why your SOC's new AI agent might be a malicious actor in disguise
techradar.com·11h
🔐Capability Systems
Flag this post
Zama Announces Strategic Acquisition of KKRT Labs to Scale Confidentiality On Public Blockchains
hackernoon.com·9h
🔗Hash Chains
Flag this post
Enhanced Volcanic Plume Dispersion Forecasting via Hybrid Cellular Automata & Particle-Based Lagrangian Modeling
dev.to·1d·
Discuss: DEV
🔲Cellular Automata
Flag this post
Math Game Monday: Distributive Dice
denisegaskins.com·2d
⚔️Lean Tactics
Flag this post
The AI ick
stackoverflow.blog·9h·
Discuss: Hacker News
🤖AI Curation
Flag this post
Quantum-Resistant Federated Learning: Implementing Post-Quantum Cryptography in Cross-Silo Model Aggregation
dev.to·2d·
Discuss: DEV
🔐Quantum Security
Flag this post
Byzantine Attacks in RIS-Enhanced Cooperative Spectrum Sensing: A Decision Fusion Perspective
arxiv.org·2d
🛡️Byzantine Fault Tolerance
Flag this post
Iterative Cut-Based PWA Approximation of Multi-Dimensional Nonlinear Systems
arxiv.org·1d
Effect Handlers
Flag this post
LA-MARRVEL: A Knowledge-Grounded and Language-Aware LLM Reranker for AI-MARRVEL in Rare Disease Diagnosis
arxiv.org·21h
🌸Bloom Variants
Flag this post
How to Build a RAG Solution with Llama Index, ChromaDB, and Ollama
dev.to·19h·
Discuss: DEV
🤖Archive Automation
Flag this post
Vibe Coding Vibe Deployment: The Next Big DevOps Shift
dev.to·22h·
Discuss: DEV
🖥️Modern Terminals
Flag this post