🔒 S2N-QUIC - hello · Scour

Formal Verification in Any Language for Everybody ✓Formal Verification

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

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

grafana.com·3d·

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

dev.to·13h·DEV·

Detecting speculative leaks with compositional semantics 🔮Folly Futures

arxiv.org·1d·

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

aws.amazon.com·3d·

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

depthfirst.com·2d·Hacker News·

Extraordinary AI performance from -40 to +85 °C for rugged applications 🔢Intel AMX

einpresswire.com·2d·

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

github.com·3d·Hacker News·

Iteratively optimizing an SPSC queue ⭕Ring Buffers

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

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

infoq.com·5d·

A Blazingly Fast AI Proxy Gateway 🔄Axum Middleware

butterproxy.org·6d·

Speculative Decoding: Performance or Illusion? 🧩mimalloc

specdecode-bench.github.io·6d·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·

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

github.com·5d·Hacker News·

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

aws.amazon.com·3d·

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

arxiv.org·2d·

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

arxiv.org·3d·

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...