There are exponentially many vectors with small inner product
lmao.bearblog.dev·1d·
Discuss: Hacker News
➡️Category Theory
Text 2 shorts AI POWERED VIDEO AUTOMATION
github.com·2d·
Discuss: r/programming
🎮Verification Games
Rsyslog Goes AI First – A New Chapter Begins
rsyslog.com·11h·
Discuss: Hacker News
👁️System Observability
An InfoSec Architect's First Taste of Temporal
supasaf.com·3d·
Discuss: Hacker News
⚙️PL Implementation
Book review: A New Kind of Science (2005)
bactra.org·2d·
Discuss: Hacker News
💻CS
Exploiting Partial Compliance: The Redact-and-Recover Jailbreak
generalanalysis.com·3d·
Discuss: Hacker News
🧪Property-Based Testing
Emergent misalignment as prompt sensitivity: A research note
arxiv.org·2d
🎮Verification Games
Building MCP servers the easy way with Apache OpenServerless
opensource.net·2d·
Discuss: Hacker News
🛡️seL4
Introducing Rudy: A Toolchain for Rust Debuginfo
samjs.io·1d·
Discuss: Lobsters, Hacker News, r/programming
🐫Embedded OCaml
The Next Wave
dumindu.github.io·1d·
Discuss: Hacker News, r/programming
🤖Program Synthesis
GTA1: GUI Test-time Scaling Agent
arxiv.org·3d
🧪Property-Based Testing
Enable AI agents to find and access any data product while enforcing governance
github.com·1d·
Discuss: Hacker News
🛡️seL4
Ready lists
11011110.github.io·4d·
Discuss: Hacker News
💻CS
Read Quietly, Think Aloud: Decoupling Comprehension and Reasoning in LLMs
arxiv.org·4d
🎮Verification Games
From Answers to Rationales: Self-Aligning Multimodal Reasoning with Answer-Oriented Chain-of-Thought
arxiv.org·4d
🎮Verification Games
Building Real-Time AI Streaming Services with AWS Lambda and Architect
metaduck.com·15h·
Discuss: Hacker News
🌐NetworkProtocols
MagiC: Evaluating Multimodal Cognition Toward Grounded Visual Reasoning
arxiv.org·1d
🎮Verification Games
ArchiveGPT: A human-centered evaluation of using a vision language model for image cataloguing
arxiv.org·1d
➡️Category Theory
The Prompt War: How AI Decides on a Military Intervention
arxiv.org·2d
🎮Verification Games
Modeling (Deontic) Modal Operators With the s(CASP) Goal-directed Predicated Answer Set Programming System
arxiv.org·3d
🔍Formal Verification