The Evolution of Chaos Ransomware: Faster, Smarter, and More Dangerous
fortinet.comยท1d
๐Ÿ›ก๏ธSecurity Type Systems
Don't let October's Prime Day end without checking out these deals on storage
makeuseof.comยท14h
๐Ÿ“File Systems
2 Math Problems Fall to LLM: Tsumura's 554 solved, Majority Optimality Disproved
nednex.comยท3dยท
Discuss: Hacker News
๐ŸงฎTheorem Provers
Highly concurrent in-memory counter in GoLang
engineering.grab.comยท3d
๐Ÿง Memory Models
GPT-5-Codex is a better AI researcher than me
seangoedecke.comยท2dยท
Discuss: Hacker News
๐ŸŒฑMinimal ML
JSON River โ€“ Parse JSON incrementally as it streams in
github.comยท20hยท
Discuss: Hacker News
๐Ÿ“‹JSON Parsers
Halfhaven Digest #1
lesswrong.comยท22h
๐ŸŒŠGradual Effects
Bricked Boss's Mediatek MT8183 chinese tablet with ab partition
reddit.comยท1dยท
๐Ÿ—บ๏ธMemory Mapping
Announcing stax-xml: StAX style XML Parser for JavaScript
dev.toยท2dยท
Discuss: DEV
๐Ÿ”„Incremental Parsers
Bird of Prey: Practical Signature Combiners Preserving Strong Unforgeability
eprint.iacr.orgยท2d
โšกFusion Laws
A.I. Slop Is Here
nytimes.comยท16h
๐Ÿ indieweb
Finite Time Analysis of Constrained Natural Critic-Actor Algorithm with Improved Sample Complexity
arxiv.orgยท2d
๐ŸŽญErlang OTP
Automating construction safety inspections using a multi-modal vision-language RAG framework
arxiv.orgยท2d
โš–๏ธWeighted Automata
Generalized Entanglement of Purification Criteria for 2-Producible States in Multipartite Systems
arxiv.orgยท2d
๐ŸงฎCombinator Calculus
Disappointed by the AI bubble
reddit.comยท18hยท
๐ŸชžMetaprogramming
From Moments to Models: Graphon Mixture-Aware Mixup and Contrastive Learning
arxiv.orgยท2d
๐Ÿ”ML Language
Optimal filtering and generation of entangled photons for quantum applications in the presence of noise
arxiv.orgยท9h
๐Ÿ”Lens Libraries
Go and PocketBase: Shortified!
dev.toยท21hยท
Discuss: DEV
๐Ÿ”งAPI Design