The Big Oops in Type Systems: This Problem Extends to FP as Well
danieltan.weblog.lol·11h·
Discuss: Hacker News
⚙️Programming
Trustworthy Reasoning: Evaluating and Enhancing Factual Accuracy in LLM Intermediate Thought Processes
arxiv.org·3h
🛡️AI Safety
Gödel: The Limits of Logic and the Foundations of Modern Mathematics
quantumzeitgeist.com·23h·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Constraint Catalog
sofdem.github.io·5h
⚙️Programming
Write Code Like Sherlock Holmes: The Art of Deductive Development 🔍
dev.to·16h·
Discuss: DEV
🛡️AI Safety
Prompt Engineering for Security. Innovation in Verification
semiwiki.com·1d
🔧MLIR
Should You Validate Again? A Smarter Way to Handle Data Trust
hackernoon.com·2d
📜Smart Contracts
Symbolic-numeric programming in scientific computing
dspace.mit.edu·2d
⚙️Programming
Tired of Pydantic? Try These 5 Game-Changing Python Libraries
dev.to·42m·
Discuss: DEV
⚙️Programming
The Math Is Haunted
overreacted.io·2d·
Discuss: Lobsters, Hacker News, r/javascript, r/programming
⚙️Programming
Bay Area startup Harmonic gets gold medal at 2025 IMO with formal verification
harmonic.fun·2d·
Discuss: Hacker News
🧮Homomorphic Encryption
A Tree-Shaped Tableau for Checking the Satisfiability of Signal Temporal Logic with Bounded Temporal Operators
arxiv.org·2d
⚙️Programming
Atomic operations
en.wikipedia.org·19h·
Discuss: r/AskProgramming
🔧MLIR
Concrete Security Bounds for Simulation-Based Proofs of Multi-Party Computation Protocols
arxiv.org·1d
🔐Zero-Knowledge Proofs
Show HN: Formalizing Strong Goldbach for AI Reasoning in HOL(Standard Semantics)
medium.com·1d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
I Built an Vibe Coding Misalignment Detector (and Used It to Build Itself)
github.com·15h·
Discuss: Hacker News
🔧MLIR
Questa One Avery VIP: Accelerated Confidence In Complex Protocol Verification
semiengineering.com·1d
📜Smart Contracts
RePaCA: Leveraging Reasoning Large Language Models for Static Automated Patch Correctness Assessment
arxiv.org·1d
🤖AI
Footnotes, Gödel exercises, Purcell
logicmatters.net·18h
⚙️Programming
LLGuidance: Making Structured Outputs Go Brrr
guidance-ai.github.io·19h·
Discuss: Hacker News
🔧MLIR