🎯 Gradual Typing - matmat

Conflicts, cuts and climate events: 2026 Global Nutrition Report shows systems under pressure must integrate to deliver nutrition for all

🤖AI Curation Academic

arxiv.org·

Positive Instantial Neighbourhood logic

🔀CRDT Academic

arxiv.org·

devenjarvis/lathe: Generate hands-on, multi-part technical tutorials on demand, with LLM skills tuned to make content approachable. Then you work through them yourself, by hand ✋

📐Linear Algebra Code

github.com··DEV, Hacker News

Scaling Neural Network Verification with Tensor Parallelism and Fully Sharded Data Parallelism

⏰Temporal Logic Academic

arxiv.org·

RAILS: Verification-Native Clearing For Agentic Commerce

⚖️Digital Evidence Academic

arxiv.org·

Probabilistically Checking Quantum Proofs, with Interaction

⚛️Quantum Information Academic

arxiv.org·

CARVE-Q: Quantum-Proposed, Classically Certified Interactive Driving Repair

🧲RISC-V Archaeology Academic

arxiv.org·

Global Sketch-Based Watermarking for Diffusion Language Models

💧Digital Watermarking Academic

arxiv.org·

Incremental Computation for Efficient Programmable Inference in Probabilistic Programs

💻CS Academic

arxiv.org·

The design principles of the Elixir type system

💻programming languages Academic

arxiv.org··Hacker News

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study

💻programming languages Academic

arxiv.org·

What Can Verifiable Decapsulation Tests Certify? Pass Bounds and Fault-Recognition Limits for FO-Based KEMs

🌡️Preservation Thermodynamics Academic

arxiv.org·

TOKI: A Bitemporal Operator Algebra for Contradiction Resolution in LLM-Agent Persistent Memory

💾Persistent Memory Academic

arxiv.org·

Conflicts, cuts and climate events: 2026 Global Nutrition Report shows systems under pressure must integrate to deliver nutrition for all

Worried about Recursive Self-Improvement (RSI)? The answer might be CDE

DIFFRACT: Neuralized Utility Maximization for Wireless Networks by Differentiable Programming

Bank Regulators Push Stablecoin Rules While Warning on AI Risks

Porting our Django backend to Rust improved the infra usage by 90% · Blog

Authorized and Verifiable Searchable Encryption Based on Public Key Equality Test for Cloud Storage

Intelligence community veterans weigh in on Bill Pulte's qualifications to be acting DNI

Gaming AI-Assisted Peer Reviews Poses New Risks to the Scientific Community

Positive Instantial Neighbourhood logic

devenjarvis/lathe: Generate hands-on, multi-part technical tutorials on demand, with LLM skills tuned to make content approachable. Then you work through them yourself, by hand ✋

Scaling Neural Network Verification with Tensor Parallelism and Fully Sharded Data Parallelism

RAILS: Verification-Native Clearing For Agentic Commerce

Probabilistically Checking Quantum Proofs, with Interaction

CARVE-Q: Quantum-Proposed, Classically Certified Interactive Driving Repair

Global Sketch-Based Watermarking for Diffusion Language Models

Incremental Computation for Efficient Programmable Inference in Probabilistic Programs

The design principles of the Elixir type system

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study

What Can Verifiable Decapsulation Tests Certify? Pass Bounds and Fault-Recognition Limits for FO-Based KEMs

TOKI: A Bitemporal Operator Algebra for Contradiction Resolution in LLM-Agent Persistent Memory