An Algorithm-to-Contract Framework without Demand Queries
arxiv.org·3d
🎯Constraint Programming
Research Areas in Evaluation and Guarantees in Reinforcement Learning (The Alignment Project by UK AISI)
lesswrong.com·13h
🎲Probabilistic Programming
News for July 2025
ptreview.sublinear.info·23m
📈Complexity Theory
Non-coercive extortion in game theory
arxiv.org·2d
🔐Cryptography
A flexibility-oriented bidding strategy for virtual power plants incorporating local energy communities: A bi-level stochastic-robust methodology
sciencedirect.com·1d
🌍Distributed Systems
LLM Fighter: A Game-Based Approach to Exploring AI Agent Capabilities
dev.to·14h·
Discuss: DEV
⚖️Logic Programming
“Opponent shaping” as a model for manipulation and cooperation
lesswrong.com·15h
🧮Programming Language Theory
Amazon’s AI licensing deal with New York Times, including The Athletic, garners at least $20m/year
awfulannouncing.com·11h
🔌Network Programming
Solving Dispatch in a Ridesharing Problem Space
eng.lyft.com·1d
🎯Constraint Programming
Pencil to Paper, Let's Make a Card Game
tbr.bearblog.dev·4h
🧫Cellular Automata
GITEX GLOBAL 2025
darkreading.com·11h
🛡️IoT Security
Machine Learning Fundamentals: loss function
dev.to·6h·
Discuss: DEV
🎲Probabilistic Programming
The Game of Wu - Demo - 2P Local [Free] [Strategy]
pixophilo.itch.io·1d
🧫Cellular Automata
Building Composable AI Agents in Go + WebAssembly with Hayride
blog.hayride.dev·7h·
Discuss: r/golang
🦀Rust
Protocols and Power
oreilly.com·1d
🤝Protocol Design
Deploying AI to achieve the UN SDGs - The Zimbabwe Independent
theindependent.co.zw·6h
🌍Distributed Systems
LFCS Seminar: Tuesday 28 October: Patrick Totzke
informatics.ed.ac.uk·1d
📈Complexity Theory
Data-Driven Stochastic Control via Non-i.i.d. Trajectories: Foundations and Guarantees
arxiv.org·20h
🎲Probabilistic Programming
Fingine: Thoughts on Side Projects and Financial Simulation
javednissar.ca·1h·
Discuss: Hacker News
🎲Probabilistic Programming
Learning the Bitter Lesson
rlancemartin.github.io·9h·
Discuss: Hacker News
🧩Theorem Proving