Proof-Carrying Numbers (PCN): A Protocol for Trustworthy Numeric Answers from LLMs via Claim Verification
arxiv.org·1d
📜Proof Carrying Code
The bloat of edge-case first libraries
43081j.com·21h·
Discuss: Lobsters, Hacker News
🧪Binary Fuzzing
Keeping Data Safe with OpenZFS: Security, Encryption, and Delegation
klarasystems.com·46m
💿ZFS Internals
How to Prove False Statements: Practical Attacks on Fiat-Shamir
eprint.iacr.org·22h·
Discuss: Lobsters, Hacker News
🌳Archive Merkle Trees
From Physical Archives to Digital Preservation: Reflecting on a Forty-Year Transformation
dpconline.org·8h
🌐Archive Networks
Context Pruning in Conversational Agent
poonai.xyz·7h·
Discuss: Hacker News
⚡Proof Automation
Verification power of rational-valued automata with deterministic and affine states
arxiv.org·13h
🎯Automata theory
Charles Sanders Peirce, George Spencer Brown, and Me • 19
inquiryintoinquiry.com·4h
🔤Type Theory
Defeating Nondeterminism in LLM Inference
thinkingmachines.ai·20m·
Discuss: Hacker News
⚡Homebrew CPUs
Rich Answered That
gist.github.com·1d·
Discuss: Lobsters, Hacker News
🧠Lisp Dialects
10 Common Misconceptions About Large Language Models
machinelearningmastery.com·3h
💻Local LLMs
How Pixel and Android are bringing a new level of trust to your images with C2PA Content Credentials
security.googleblog.com·1h·
Discuss: www.blogger.com
🎬WebCodecs
Continuous Improvement in LLM Code Generation
blogger.com·4h
⚔️Lean Tactics
Show HN: SwiftLake – Lightweight SQL Engine for Iceberg Tables
github.com·1d·
Discuss: Hacker News
🌊Streaming Systems
Oldcastle accelerates document processing with Amazon Bedrock
aws.amazon.com·1h
🤖Archive Automation
**Essential Python Security Practices: Building Robust, Attack-Resistant Applications**
dev.to·52m·
Discuss: DEV
🛡️WASM Security
Effects as Capabilities in Scala
nrinaudo.github.io·5h·
Discuss: Lobsters, Hacker News
⬆️Lambda Lifting
Contradictions
arxiv.org·13h
🔲Proof Irrelevance
On the Bit Size of Sum-of-Squares Proofs for Symmetric Formulations
arxiv.org·1d
🎯Performance Proofs
Compiling a Functional Language to LLVM
danieljharvey.github.io·1d·
Discuss: Lobsters, Hacker News
🔗Lisp