An Algorithm-to-Contract Framework without Demand Queries
arxiv.org·4d
🎯Constraint Programming
Many prediction markets would be better off as batched auctions
lesswrong.com·4h
🎲Probabilistic Programming
Show HN: Gomoku game in JavaScript (GitHub and live demo)
github.com·1h·
Discuss: Hacker News, r/javascript
🎲Probabilistic Programming
News for July 2025
ptreview.sublinear.info·16h
📈Complexity Theory
Non-coercive extortion in game theory
arxiv.org·3d
🔐Cryptography
“Opponent shaping” as a model for manipulation and cooperation
lesswrong.com·1d
🧮Programming Language Theory
Lamport's Byzantine Generals Algorithm in Python
bytepawn.com·3h·
Discuss: Hacker News
📈Complexity Theory
Upland Software’s BA Insight Platform Now Available on AWS Marketplace to Streamline AI Agent Development
finance.yahoo.com·8h
🎲Probabilistic Programming
Research Areas in Evaluation and Guarantees in Reinforcement Learning (The Alignment Project by UK AISI)
lesswrong.com·1d
🎲Probabilistic Programming
A flexibility-oriented bidding strategy for virtual power plants incorporating local energy communities: A bi-level stochastic-robust methodology
sciencedirect.com·1d
🌍Distributed Systems
Core Concepts in Web3
dev.to·9h·
Discuss: DEV
🤝Protocol Design
EP174: 16 Coding Patterns That Make Interviews Easy
blog.bytebytego.com·35m
🔌Network Programming
Pencil to Paper, Let's Make a Card Game
tbr.bearblog.dev·20h
🧫Cellular Automata
Solving Dispatch in a Ridesharing Problem Space
eng.lyft.com·1d
🎯Constraint Programming
Amazon’s AI licensing deal with New York Times, including The Athletic, garners at least $20m/year
awfulannouncing.com·1d
🔌Network Programming
LLM Fighter: A Game-Based Approach to Exploring AI Agent Capabilities
dev.to·1d·
Discuss: DEV
⚖️Logic Programming
Zayed Sustainability Prize Sees Surge in Global Participation with 7,761 Entries
cleantechnica.com·12h
🎲Probabilistic Programming
AI Teammates for for Revenue Teams
news.ycombinator.com·53m·
Discuss: Hacker News
🧩Theorem Proving
GITEX GLOBAL 2025
darkreading.com·1d
🛡️IoT Security
The Jackpot Age
greaterwrong.com·34m·
Discuss: Hacker News
🧫Cellular Automata