A Standard for Human-Centered Investigation Playbooks
chrissanders.orgยท11h
๐ŸŽฏThreat Hunting
GenAI paradox: exploring AI use cases | McKinsey
mckinsey.comยท4m
๐Ÿ”ฒCellular Automata
abhisheksr01/spring-boot-microservice-best-practices
github.comยท4h
๐ŸŒŠStreaming Systems
Comparing Rust, JavaScript and Go for Authoring WASM Components
obeli.skยท21hยท
Discuss: Hacker News
๐ŸงฉWASM Modules
Why Go Rocks for Building a Lua Interpreter
zombiezen.comยท2dยท
Discuss: Lobsters, Hacker News, r/golang
โฌ†๏ธLambda Lifting
Agentic Workflows Are Just Code โ€“ Treat Them That Way
restate.devยท1dยท
Discuss: Hacker News
โš™๏ธTLA+
Is Your Automated Software Engineer Trustworthy?
arxiv.orgยท2d
โšกProof Automation
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.orgยท2d
๐ŸŽฏPerformance Proofs
A Multi-Pass Large Language Model Framework for Precise and Efficient Radiology Report Error Detection
arxiv.orgยท2h
โœ…Format Verification
LLM-Aided Testbench Generation and Bug Detection for Finite-State Machines
arxiv.orgยท2d
๐Ÿ”งHardware Verification
ReCode: Updating Code API Knowledge with Reinforcement Learning
arxiv.orgยท2h
โšกIncremental Computation
Show HN: KubernetesJS โ€“ Fully-Typed, Zero-Dependency Client for Kubernetes
github.comยท1dยท
Discuss: Hacker News
๐Ÿ“ฆContainer Security
Memory Safety in Web Rust System Zero Cost Secure๏ผˆ1750762127113200๏ผ‰
dev.toยท1dยท
Discuss: DEV
๐Ÿฆ€Rust Borrowing
Ormer: A Manipulation-resistant and Gas-efficient Blockchain Pricing Oracle for DeFi
arxiv.orgยท1d
๐Ÿ”—Hash Chains
The Bitter Lesson is coming for Tokenization
lucalp.devยท1dยท
Discuss: Lobsters, Hacker News, r/programming
๐Ÿ”—Monadic Parsing
LangChain vs. TLRAG: A Comparative Analysis for Investors
dev.toยท1dยท
Discuss: DEV
๐ŸŒ€Brotli Internals
SACL: Understanding and Combating Textual Bias in Code Retrieval with Semantic-Augmented Reranking and Localization
arxiv.orgยท2h
๐Ÿ”BitFunnel
Enterprise Large Language Model Evaluation Benchmark
arxiv.orgยท2h
โš™๏ธCompression Benchmarking
PEGTL -- Parsing Expression Grammar Template Library
github.comยท1dยท
Discuss: Hacker News
๐Ÿ”—Parser Combinators
A Unifying Theory for Runge-Kutta-like Time Integrators: Convergence and Stability
arxiv.orgยท2h
๐Ÿ“Error Bounds