🔒 S2N-QUIC - hello · Scour

Towards Formal Verification of Hybrid Synchronous Programs with Refinement Types 🔄Concurrency Patterns

Show HN: Formal Verification with Lean 💎Refinement Types

daniellowengrub.com·6h·Hacker News

When "idle" isn't idle: how a Linux kernel optimization became a QUIC bug 📡QUIC Loss Detection

blog.cloudflare.com·6h

Cryptography performance of Zig vs Go #️⃣Hash Tables

Speed-Optimized Python 3.14t on Debian Forky: A Clang-19 Build Guide (Assisted by Google AI) 🐻‍❄️Polars

dbaxps.blogspot.com·5d

ZAYA1-8B: An 8B Moe Model with 760M Active Params Matching DeepSeek-R1 on Math 📱Edge AI

firethering.com·5d·Hacker News

Go-joker – a much faster Clojure interpreter written in Go and WASM 🔵Clojure

rcarmo.github.io·5d·Hacker News

Formal Verification of Imperative First-Class Functions in Move 👻Phantom Types

On Similarity of Computational Kernels in our Codes and Proxies 🧮Vector Databases

Sketch-and-Verify: Structured Inference-Time Scaling via Program Sketching ✏️Count-Min Sketch

DART-Q : A Deadline-Driven Framework for Real-Time QLDPC Decoding 📡Van Jacobson Channels

HyDRA: Deadline and Reuse-Aware Cacheability for Hardware Accelerators 🎲Hardware Branch Prediction

LLM4Branch: Large Language Model for Discovering Efficient Branching Policies of Integer Programs 🔍KLEE

KVerus: Scalable and Resilient Formal Verification Proof Generation for Rust Code 🔀Crossbeam

Worst-Case Discovery and Runtime Protection for RL-Based Network Controllers 📡QUIC Loss Detection

Knowledge Graphs, the Missing Link in Agentic AI-based Formal Verification ✅Model Checking

Coral: Cost-Efficient Multi-LLM Serving over Heterogeneous Cloud GPUs 🔌CXL

AutoRAGTuner: A Declarative Framework for Automatic Optimization of RAG Pipelines 📊Performance Tools

Adversarial procurement in blockchains 🌳Merkle Trees

t\"{a}k\={o}Formal: Enabling Robust Software for Programmable Memory Hierarchies (Extended Version) 🚧Memory Barriers

Log in to enable infinite scrolling