CVE-2024-12029 – InvokeAI Deserialization of Untrusted Data vulnerability
offsec.com·17h
🌐WASI
Detection Engineering: Practicing Detection-as-Code – Repository – Part 2
blog.nviso.eu·1d
🔄Reproducible Builds
Not Even Bronze? Evaluating LLMs on 2025 International Math Olympiad
matharena.ai·4h·
Discuss: Hacker News
🧮SMT Solvers
Quadratic Forms Beyond Arithmetic
ams.org·9h·
Discuss: Hacker News
🔱Galois Theory
SFT Is Bad RL
justinchiu.netlify.app·1d·
Discuss: Hacker News
🧠Machine Learning
John Wheeler and the "It from Bit" (2023)
johnhorgan.org·9h·
Discuss: Hacker News
⚛️Quantum Archives
Undone Computer Science
undonecs.org·22h·
Discuss: Hacker News, r/compsci
🌍Cultural Algorithms
MirageLSD: The First Live-Stream Diffusion AI Video Model
about.decart.ai·12h·
Discuss: Hacker News
⚡LZ4 Streaming
Code Execution Through Email: How I Used Claude to Hack Itself
pynt.io·1d·
Discuss: Hacker News
🔓Hacking
Why Even Legendary Games Like Wesnoth Hide Bugs in Plain Sight
hackernoon.com·1d
📜Proof Carrying Code
Agent DB
agentdb.dev·14h·
Discuss: Hacker News
🗄️Database Internals
5 Features Every AI-Powered SOC Platform Needs in 2025
securityaffairs.com·1h
🌊Stream Processing
Why We Develop EloqDB Mainly in C++
eloqdata.com·19h·
Discuss: Hacker News
🦀Rust Borrowing
Zero Knowledge Proofs in DApp Development Essential Insights for Developers
dev.to·1d·
Discuss: DEV
🌳Archive Merkle Trees
Generating Production-Ready MCP Servers
withcoherence.com·18h·
Discuss: Hacker News
🔌Interface Evolution
Proof-theoretic Semantics for First-order Logic
arxiv.org·6h
🏗️Constructive Logic
Building High-Performance GraphQL Servers in Golang with Optimized Resolver Patterns
dev.to·3d·
Discuss: DEV
🌊Stream Processing
You Are in a Box
jyn.dev·3d·
Discuss: Lobsters, Hacker News
🐚Shell Calculus
Show HN: Kannel SMS gateway fork with WAP removed
sysadmin.lol·3d·
Discuss: Hacker News
🔌Interface Evolution
How Apex Fusion and Well-Typed Are Shaping the Future of Institutional DeFi on Cardano
hackernoon.com·1d
🤝Distributed Consensus