News for July 2025
ptreview.sublinear.info·40m
⚖Algorithmic Game Theory
Machine learning by satisfiability solving
johndcook.com·1d
🎯Constraint Programming
miniHDL: A Python Hardware Description Language DSL
nicholas.carlini.com·7h·
Discuss: Hacker News
🏗Computer Architecture
The Dartboard Sequence
mathpages.com·1d·
Discuss: Hacker News
🕸️Graph Theory
Linkage from Montreal
11011110.github.io·1d
🕸️Graph Theory
Concrete Security Bounds for Simulation-Based Proofs of Multi-Party Computation Protocols
arxiv.org·1d
✅Formal Verification
Time Complexity & Linear Search
dev.to·1d·
Discuss: DEV
🧠Memory Management
Dimensions of logical time as economic strategies
lesswrong.com·2d
⚖Algorithmic Game Theory
Solving Dispatch in a Ridesharing Problem Space
eng.lyft.com·1d
🎯Constraint Programming
LFCS Seminar: Tuesday 28 October: Patrick Totzke
informatics.ed.ac.uk·1d
⚖Algorithmic Game Theory
Quantum Complexity Theory Student Project Showcase #5 (2025 Edition)!
scottaaronson.blog·19h
🔐Cryptography
LLM Inference: Core Bottlenecks Imposed By Memory, Compute Capacity, Synchronization Overheads (NVIDIA)
semiengineering.com·6h
⚖️Logic Programming
Can You Squeeze the Squares?
thefiddler.substack.com·12h·
Discuss: Substack
🎯Constraint Programming
Encapsulation vs Fragmentation, Again
theprogrammersparadox.blogspot.com·3h·
Discuss: theprogrammersparadox.blogspot.com
🌍Distributed Systems
I Generated 1 Billion Tokens (So You Don't Have To): Introducing ReasonScape
reddit.com·6h·
Discuss: r/LocalLLaMA
🔗Parser Combinators
Does the Bitter Lesson Have Limits?
dbreunig.com·8h·
Discuss: Hacker News
🧩Theorem Proving
Strong Goldbach in 2nd-order logic under standard semantics, semantically closed
medium.com·2d·
Discuss: Hacker News
🔢Mathematical Logic
Machine Learning Fundamentals: loss function
dev.to·7h·
Discuss: DEV
🎲Probabilistic Programming
Hatim A. Rahman. Inside the Invisible Cage: How Algorithms Control Workers
journals.sagepub.com·19h
⚖Algorithmic Game Theory
Verification Cost Asymmetry in Cognitive Warfare: A Complexity-Theoretic Framework
eprint.iacr.org·1d
🔐Cryptography