CVE-2024-12029 – InvokeAI Deserialization of Untrusted Data vulnerability
offsec.com·13h
🌐WASI
Detection Engineering: Practicing Detection-as-Code – Repository – Part 2
blog.nviso.eu·22h
🔄Reproducible Builds
SFT Is Bad RL
justinchiu.netlify.app·1d·
Discuss: Hacker News
🧠Machine Learning
Not Even Bronze? Evaluating LLMs on 2025 International Math Olympiad
matharena.ai·45m·
Discuss: Hacker News
🧮SMT Solvers
Quadratic Forms Beyond Arithmetic
ams.org·5h·
Discuss: Hacker News
🔱Galois Theory
John Wheeler and the "It from Bit" (2023)
johnhorgan.org·5h·
Discuss: Hacker News
⚛️Quantum Archives
Undone Computer Science
undonecs.org·18h·
Discuss: Hacker News
🌍Cultural Algorithms
MirageLSD: The First Live-Stream Diffusion AI Video Model
about.decart.ai·8h·
Discuss: Hacker News
⚡LZ4 Streaming
You Are in a Box
jyn.dev·3d·
Discuss: Lobsters, Hacker News
🐚Shell Calculus
Code Execution Through Email: How I Used Claude to Hack Itself
pynt.io·23h·
Discuss: Hacker News
🔓Hacking
Stability of lattice Boltzmann schemes for initial boundary value problems in raw formulation
arxiv.org·2h
📐Linear Algebra
AtCoder Finals Problem Statement
atcoder.jp·1d·
Discuss: Hacker News
🇯🇵Japanese Computing
Reaction to the PlanetScale PostgreSQL Benchmarks
xata.io·1d·
Discuss: Lobsters, Hacker News
📊Performance Profiling
Why Even Legendary Games Like Wesnoth Hide Bugs in Plain Sight
hackernoon.com·22h
📜Proof Carrying Code
Agent DB
agentdb.dev·10h·
Discuss: Hacker News
🗄️Database Internals
Zero Knowledge Proofs in DApp Development Essential Insights for Developers
dev.to·20h·
Discuss: DEV
🌳Archive Merkle Trees
Why We Develop EloqDB Mainly in C++
eloqdata.com·15h·
Discuss: Hacker News
🦀Rust Borrowing
Proof-theoretic Semantics for First-order Logic
arxiv.org·2h
🏗️Constructive Logic
Generating Production-Ready MCP Servers
withcoherence.com·15h·
Discuss: Hacker News
🔌Interface Evolution
Show HN: Kannel SMS gateway fork with WAP removed
sysadmin.lol·3d·
Discuss: Hacker News
🔌Interface Evolution