The one change that worked: I was lost in the infinite scroll – until a small ritual renewed my love of reading
theguardian.com·18h
⬜Minimalism
The Analyst’s Gambit: A Second Course in Functional Analysis
noncommutativeanalysis.wordpress.com·3d
⚔️Lean Theorem
How we trained an ML model to detect DLL hijacking
securelist.com·20h
🔗Binary Similarity
ChatGPT apps are live: Here are the first ones you can try
theverge.com·6h
🌀Brotli Internals
A Tutorial for the Sam Command Language
ratfactor.com·4d·
Discuss: Lobsters, Hacker News, r/programming
📝Shell Parsing
High-Quality Pull-Request Descriptions
racecondition.software·1d·
Discuss: Hacker News
⚙️Proof Engineering
Hostage to the Process
oldschoolburke.com·10h·
Discuss: Hacker News
⚡Proof Automation
Bram Cohen: How Claude Web Is Broken
bramcohen.com·2d·
Discuss: Hacker News
🧮Z3 Solver
Building Developer-First APIs
blog.pragmaticdx.com·1d·
Discuss: Hacker News
🔗Hypermedia APIs
Show HN: Radkit, A2A focused rust agents SDK
github.com·2d·
Discuss: Hacker News
🦀Embedded Rust
Iteration is all you need: ARC-2 solver inspired by Grover's search algorithm
github.com·2d·
Discuss: Hacker News
⚡Incremental Computation
Neural Correlates of Language Models Are Specific to Human Language
arxiv.org·1d
🧠Machine Learning
Progressive Bound Strengthening via Doubly Nonnegative Cutting Planes for Nonconvex Quadratic Programs
arxiv.org·1d
🎯Performance Proofs
ProofOfThought: LLM-based reasoning using Z3 theorem proving
dev.to·2d·
Discuss: DEV
🧮Z3 Solver
The Closure Phenomenon: Functions That Remember
dev.to·3d·
Discuss: DEV
💻Programming languages
94% of AI Developers Ignore This Theorem Prover. Here's Why That's Costing Millions.
dev.to·1d·
Discuss: DEV
⚙️Proof Engineering
Hyper-Dimensional Spectral Analysis for Plasma Process Anomaly Detection and Control
dev.to·5h·
Discuss: DEV
📄Document Digitization
Learning Time-Series Representations by Hierarchical Uniformity-Tolerance Latent Balancing
arxiv.org·4d
🧠Machine Learning
To Distill or Decide? Understanding the Algorithmic Trade-off in Partially Observable Reinforcement Learning
arxiv.org·1d
⧗Information Bottleneck
Real Time Headway Predictions in Urban Rail Systems and Implications for Service Control: A Deep Learning Approach
arxiv.org·1d
🧠Machine Learning