A systems-theoretic approach for identifying security vulnerabilities in machine learning-enhanced industrial control systems
sciencedirect.com·1d
🔐Cryptography
Flag this post
Viruses of the Mind
grokipedia.com·21h·
Discuss: Hacker News
🔄Category Theory
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.com·2d·
Discuss: Hacker News
🔗Parser Combinators
Flag this post
VISTA Score: Verification In Sequential Turn-based Assessment
arxiv.org·5h
🎲Probabilistic Programming
Flag this post
Phased DMD: Few-step Distribution Matching Distillation via Score Matching within Subintervals
arxiv.org·5h
🎲Probabilistic Programming
Flag this post
LLM-generated text is not testimony
lesswrong.com·1d
🧮Programming Language Theory
Flag this post
Semantic search with embeddings in PHP: a hands-on guide using Neuron AI and Ollama
ollama.com·1d·
Discuss: DEV
🔗Parser Combinators
Flag this post
Reasoning Models Sometimes Output Illegible Chains of Thought
arxiv.org·5h
🎲Probabilistic Programming
Flag this post
2025 Gold Glove Award winners: 3 players win for the fourth time
nytimes.com·7h
🧫Cellular Automata
Flag this post
Second Quantization and the Kepler Problem
golem.ph.utexas.edu·1h
🔐Cryptography
Flag this post
New prompt injection papers: Agents Rule of Two and The Attacker Moves Second
simonwillison.net·11h·
Discuss: Hacker News
🤝Protocol Design
Flag this post
Horn Clauses
youtube.com·2d
💭Prolog
Flag this post
Title cannot be empty
reddit.com·3h·
Discuss: r/APEXracers
🧮Programming Language Theory
Flag this post
Practical Design Patterns for Agentic Systems
pub.towardsai.net·4h
🏗️Software Architecture
Flag this post
Attention Illuminates LLM Reasoning: The Preplan-and-Anchor Rhythm EnablesFine-Grained Policy Optimization
paperium.net·23h·
Discuss: DEV
🎲Probabilistic Programming
Flag this post
The Tacit Appropriation of Indian Algebra in Renaissance Practical Arithmetic
reddit.com·1d·
Discuss: r/IndicKnowledgeSystems
🧮Programming Language Theory
Flag this post
Build reliable AI systems with Automated Reasoning on Amazon Bedrock – Part 1
aws.amazon.com·2d
🧩Theorem Proving
Flag this post
Speedrunning an RL Environment
sidb.in·1d·
Discuss: Hacker News
⚙Functional Programming
Flag this post
Reflections on Trusting Trust (1984)
web.archive.org·18h·
Discuss: Hacker News
🤝Protocol Design
Flag this post
ZkML Breakthrough: 13B Models Verified in 15 Minutes
lightcapai.medium.com·18h·
Discuss: Hacker News
🔐Cryptography
Flag this post