🔒 S2N-QUIC - hello · Scour

Formal Verification in Any Language for Everybody ✓Formal Verification

dev-log.me·1d·Hacker News·

UCAgent: An End-to-End Agent for Block-Level Functional Verification 📐TLA+

arxiv.org·3d·

Finding Hidden Bottlenecks in Go Apps: A Lazy, Hacky, and Bruteforce Method 🔍eBPF

dev.to·4h·DEV·

Finding performance bottlenecks with Pyroscope and Alloy: An example using TON blockchain 🌳Merkle Trees

grafana.com·2d·

Iteratively optimizing an SPSC queue ⭕Ring Buffers

blog.c21-mac.com·3d·r/cpp·

Build high-performance apps with AWS Lambda Managed Instances 🏗️Terraform

aws.amazon.com·2d·

dropbox/dMATH: Formal verification and theorem proving tools ✓Formal Verification

github.com·2d·Hacker News·

Discord Engineers Add Distributed Tracing to Elixir's Actor Model Without Performance Penalty ⚡NATS JetStream

infoq.com·5d·

Training State of the Art Vulnerability Discovery Agents through Reinforcement Learning 🛡️AI Security

depthfirst.com·2d·Hacker News·

MinIO AIStor and Ampere® Computing Reference Architecture for High-Performance AI Inference 🐅WiredTiger

dzone.com·6d·

A Blazingly Fast AI Proxy Gateway 🔄Axum Middleware

butterproxy.org·6d·

Speculative Decoding: Performance or Illusion? 🧩mimalloc

specdecode-bench.github.io·5d·Hacker News·

Detecting speculative leaks with compositional semantics 🔮Folly Futures

arxiv.org·1d·

Accelerate CPU-based AI inference workloads using Intel AMX on Amazon EC2 🔢Intel AMX

aws.amazon.com·2d·

m0at/rvllm: rvLLM: High-performance LLM inference in Rust. Drop-in vLLM replacement. 📊Criterion.rs

github.com·4d·Hacker News·

GaloisSAT: Differentiable Boolean Satisfiability Solving via Finite Field Algebra 🧮SMT Solvers

arxiv.org·1d·

Compiling Code LLMs into Lightweight Executables 🌲CedarDB

arxiv.org·1d·

ComBench: A Repo-level Real-world Benchmark for Compilation Error Repair 🏗️MLIR

arxiv.org·2d·

ExVerus: Verus Proof Repair via Counterexample Reasoning 🧮SMT Solvers

arxiv.org·3d·

Formal Semantics for Agentic Tool Protocols: A Process Calculus Approach 🔄Concurrency Models

arxiv.org·6d·

Loading more...