News for October 2025
ptreview.sublinear.info·3d
✅Property Testing
Flag this post
TLA+ Modeling of AWS outage DNS race condition
📐TLA+
Flag this post
You can't cURL a Border
💰TigerBeetle
Flag this post
The unreasonable effectiveness of stack ranking
🌳Git
Flag this post
About kgateway vulnerabilities
🔓Binary Exploitation
Flag this post
Assessing Climate Vulnerability Risk for Substations in Massachusetts Via Sensitivity Analysis
arxiv.org·5h
🧮Algebraic Effects
Flag this post
Tableau Filtering Actions Made Easy: Origins, Real-World Applications, and Case Studies
📊Data Visualization
Flag this post
DynBERG: Dynamic BERT-based Graph neural network for financial fraud detection
arxiv.org·3d
💰TigerBeetle
Flag this post
Run LLMs Locally
🚀Performance
Flag this post
ServBay for Windows 1.11.1 Released: Refactoring the Core Experience for Unprecedented Flexibility and Efficiency
🔐Capability Systems
Flag this post
How I Automated My Workflow Using ChatGPT Agents — By Fixing One Critical Failure Mode
🤖Automation
Flag this post
PETRA: Pretrained Evolutionary Transformer for SARS-CoV-2 Mutation Prediction
arxiv.org·5h
🧠Machine Learning
Flag this post
Go Generics: Use Cases and Patterns
📐Type Theory
Flag this post
Show HN: I'm making an Open-source Japanese learning App inspired by Monkeytype
⚙️JIT Compilation
Flag this post
Loading...Loading more...