From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks
arxiv.org·3h
🌐Protocol Synthesis
Function-level Basic Block Analysis
binary.ninja·1d
⚙️RISC-V Microcode
Mathematical Computation and Reasoning Errors by Large Language Models
arxiv.org·3h·
Discuss: Hacker News
👑Isabelle
Save memory and CPU with an interning cache
chrispenner.ca·2d
⚡Cache Theory
A non-uniform view of Craig interpolation in modal logics with linear frames
arxiv.org·3h
🔗Combinatory Logic
Efficient Differentiable Hardware Rasterization for 3D Gaussian Splatting
arxiv.org·3h
🌊Streaming Algorithms
CAP is not the full picure: PACELC comes to rescue
en.wikipedia.org·21h·
Discuss: Hacker News
🤝Distributed Consensus
Is Your Quantum Computer Faking It? Physicists Unveil a “Quantum Lie Detector”
scitechdaily.com·8h
🔐Quantum Security
Management of IP numbers by peg-DHCP (1998)
datatracker.ietf.org·9h·
Discuss: Hacker News
🛣️BGP Hijacking
State of torch.compile for training (August 2025)
blog.ezyang.com·1h·
Discuss: Hacker News
🦀Rust Macros
Energy-Efficient Stochastic Computing (SC) Neural Networks for Internet of Things Devices With Layer-Wise Adjustable Sequence Length (ASL)
arxiv.org·3h
📊Quantization
How we made our streaming joins 50% faster
blog.epsiolabs.com·22h·
Discuss: Hacker News
🧬PostgreSQL Forensics
Recto – A Truly 2D Language
masatohagiwara.net·1d·
Discuss: Hacker News
📝Concrete Syntax
[Media] Tur - A language for defining and executing Turing machines with multi-platform visualization tools (Web, TUI and CLI) written in Rust 🦀
reddit.com·2d·
Discuss: r/rust
🦀Rust Macros
Google and IBM Believe First Workable Quantum Computer is in Sight
tech.slashdot.org·1d
⚛️Quantum LDPC
Amazon Bedrock AgentCore Memory: Building context-aware agents
aws.amazon.com·14h
💾Persistence Strategies
TEN: Table Explicitization, Neurosymbolically
arxiv.org·3h
🌳Context free grammars
Idea-Driven Ideas
vitalik.eth.limo·1d·
Discuss: Hacker News
🔲Cellular Automata
Bridging Formal Language with Chain-of-Thought Reasoning to Geometry Problem Solving
arxiv.org·1d
🌀Differential Geometry
Subsampling Factorization Machine Annealing
arxiv.org·1d
🌊Streaming Algorithms