Verification power of rational-valued automata with deterministic and affine states
arxiv.org·20h
🔐Zero-Knowledge Proofs
Editorial Board
sciencedirect.com·1h
🛡️AI Safety
**Essential Python Security Practices: Building Robust, Attack-Resistant Applications**
dev.to·7h·
Discuss: DEV
🔒Hardware Security
Continuous Improvement in LLM Code Generation
blogger.com·11h
🔧MLIR
Tony Hoare: How did software get so reliable without proof?
blog.regehr.org·2d·
Discuss: Hacker News
🛡️AI Safety
Charles Sanders Peirce, George Spencer Brown, and Me • 19
inquiryintoinquiry.com·11h
⚙️Programming
Trial and Error Driven Development
stevenoxley.com·3h·
Discuss: Hacker News
⚙️Programming
How to Prove False Statements: Practical Attacks on Fiat-Shamir
eprint.iacr.org·1d·
Discuss: Lobsters, Hacker News
🔐Zero-Knowledge Proofs
What's new in Kotlin 2.2.20
kotlinlang.org·9h·
Discuss: Lobsters, Hacker News
⚙️Programming
Pipex v0.1.20 – New Features 🚀
gist.github.com·1d
⚙️Programming
Shape Checking for Annotated Tensor Names
github.com·2h·
Discuss: Hacker News
⚙️Programming
Designing software architecture for parallel AI sessions
rashidazarang.com·4h·
Discuss: Hacker News
🤖AI
RAFFLES: Reasoning-based Attribution of Faults for LLM Systems
arxiv.org·1d
🤖AI
Automated Standardized Protocol Validation via Hybrid Symbolic & Statistical Analysis
dev.to·3d·
Discuss: DEV
📜Smart Contracts
Better Than GPT-5? We Try ERNIE X1.1, Baidu’s Latest AI Model
analyticsvidhya.com·7h
🤖AI
Context Pruning in Conversational Agent
poonai.xyz·14h·
Discuss: Hacker News
🤖AI
Compiling a Functional Language to LLVM
danieljharvey.github.io·1d·
Discuss: Lobsters, Hacker News
⚙️Programming
Effects as Capabilities in Scala
nrinaudo.github.io·12h·
Discuss: Lobsters, Hacker News
⚙️Programming
Program verification is not all-or-nothing
lawrencecpaulson.github.io·6d
📜Smart Contracts
Rethinking Monitoring for AI-Based Technical Support Systems
hackernoon.com·10h
🤖AI