Slate Mini Crossword for Aug. 19, 2025
slate.com·9h
🧭SMT Solvers
Excel's Latest Feature Will Make Your Cells Way Smarter
howtogeek.com·7h
🧩Theorem Proving
The Weight of a Cell
asimov.press·1d·
Discuss: Hacker News
🧮Programming Language Theory
Strange new shapes may rewrite the laws of physics
sciencedaily.com·1d
🔄Category Theory
Elephants Don't Write Sonnets
whattotelltherobot.com·1d·
Discuss: Hacker News
🤖Sci-Fi
gpt-oss is not for developers. It’s for agents.
tigrisdata.com·18h
🤖Sci-Fi
My Claude Code Setup on Windows
harishgarg.com·8h
💻Operating Systems
AI Agents Are Finally Delivering on the Semantic Web’s Promise
thenewstack.io·6h
🤖Sci-Fi
Scientists discover new phenomenon in chiral symmetry breaking
phys.org·1h
🔐Cryptography
Experience-dependent maternal defense behavior mediated by profrontal cortical projections to the medial preoptic area in mice
nature.com·1d
🎲Probabilistic Programming
My notes from "Energy: A Beginner's Guide"
lesswrong.com·22h
📊Information Theory
Content Accuracy and Quality Aware Resource Allocation Based on LP-Guided DRL for ISAC-Driven AIGC Networks
arxiv.org·14h
📊Information Theory
UAV-VL-R1: Generalizing Vision-Language Models via Supervised Fine-Tuning and Multi-Stage GRPO for UAV Visual Reasoning
arxiv.org·1d
🎲Probabilistic Programming
Dissecting pOXA-48 fitness effects in clinical Enterobacterales using plasmid-wide CRISPRi screens
nature.com·16h
🤝Protocol Design
Speciesism in AI: Evaluating Discrimination Against Animals in Large Language Models
arxiv.org·1d
🧮Programming Language Theory
Accelerated Vulcanization Prediction via Multi-Modal Hypervector Analysis
dev.to·15h·
Discuss: DEV
🎲Probabilistic Programming
Claude Memory Lazy Method v2.1 - Quick Update**
reddit.com·3d·
Discuss: r/ClaudeAI
🧠Memory Management
Efficient and accurate solution of wind-integrated optimal power flow based on enhanced second-order cone relaxation with rolling cutting plane technique
arxiv.org·14h
🎲Probabilistic Programming
Lumen: Consistent Video Relighting and Harmonious Background Replacement with Video Generative Models
arxiv.org·14h
🎲Probabilistic Programming
Lantronix Provisioning Manager 7.10.3 XML Injection
packetstorm.news·1d
🔌Network Programming