Notes, 2025-10-13.
scopeofwork.netยท1d
๐ŸŒก๏ธPreservation Physics
ExecPlans โ€“ How to get your coding agent to run for hours
kau.shยท1d
โšกProof Automation
Joy & Curiosity #57
registerspill.thorstenball.comยท2d
๐ŸบZIP Archaeology
Hold Off on Litestream 0.5.0
mtlynch.ioยท19hยท
Discuss: Lobsters, Hacker News
๐Ÿ”„Sync Engine
Optimizing writes to OLAP using buffers (ClickHouse, Redpanda, MooseStack)
fiveonefour.comยท1hยท
Discuss: Hacker News
โš™๏ธBatch Processing
ChkTag: x86 Memory Safety
community.intel.comยท9hยท
Discuss: Lobsters, Hacker News
๐Ÿท๏ธMemory Tagging
Show HN: I tracked the adoption of AI coding extensions in VS Code since 2022
bloomberry.comยท6hยท
Discuss: Hacker News
๐Ÿ“Code Metrics
Sandy Maguire: Theorems for Free Redux
reasonablypolymorphic.comยท5dยท
Discuss: Hacker News
ฮปLambda Encodings
Googleโ€™s Nano Banana AI image editor is coming to search, Photos, and NotebookLM
arstechnica.comยท23hยท
Discuss: Hacker News
๐Ÿ—œ๏ธLZW Variants
I need help with my SaaS apps
news.ycombinator.comยท2hยท
Discuss: Hacker News
๐Ÿš€Indie Hacking
Go Memory Optimization: Real-World Lessons from the Trenches
dev.toยท1dยท
Discuss: DEV
๐Ÿง Memory Allocators
10 ChatGPT Prompt Templates That Saved Me 100+ Hours of Work
dev.toยท1dยท
Discuss: DEV
โš”๏ธLean Tactics
AI-Driven Retention Time Prediction for Complex Peptide Mixtures via Gradient Boosting and Multi-Dimensional Optimization
dev.toยท18hยท
Discuss: DEV
๐Ÿ”Vector Forensics
I Got Tired of Manually Repurposing My Blog Posts, So I Built an AI Tool to Do It For Me
dev.toยท1dยท
Discuss: DEV
๐ŸŒ€Brotli Internals
Parareal in time and spectral in space fast L1 quasilinear subdiffusion solver
arxiv.orgยท15h
๐Ÿ“Error Bounds
ImpMIA: Leveraging Implicit Bias for Membership Inference Attack under Realistic Scenarios
arxiv.orgยท15h
๐Ÿ”Vector Forensics
Evolutionary Computation as Natural Generative AI
arxiv.orgยท1d
๐ŸŒCultural Algorithms
Estimating Brain Activity with High Spatial and Temporal Resolution using a Naturalistic MEG-fMRI Encoding Model
arxiv.orgยท1d
๐Ÿ“ŠQuantization
RO-Bench: Large-scale robustness evaluation of MLLMs with text-driven counterfactual videos
arxiv.orgยท1d
๐Ÿ“ŠLearned Metrics
Training Models to Detect Successive Robot Errors from Human Reactions
arxiv.orgยท1d
๐Ÿง Machine Learning