I’m at an optimization conference. Benchmark for computational experiments are commercial solvers. Interesting
Alex Bortolotti
@alakaei
- 1 Followers
- 13 Following
- 6 Posts
Tired of hearing about AI. I get it, is useful. And boring.
I was reading about the homomorphism definition of the CSP and it really annoys me how asymmetric it is. Basically you take two relational structures A and B and want to argue that an homomorphism between the two exist. But A represents the variables and B the values. So they are the same thing (relational structures), but at the same time they different...
People not posting anything on Instagram but be putting all their lives on the instants
"You have to make your proposal understandable to everybody."
Chief it took me two years to understand what I was doing.
ISMP 2027 Amsterdam📢 Streams for #ISMP2027
Working on a paper? With 25 streams spanning theory, algorithms, and applications, ISMP 2027 offers a place to present and discuss your latest research in mathematical programming.
📄 Submissions open on September 1, 2026!
🗓️ July 25–30, 2027
📍Amsterdam
🔗 https://ismp2027.mathopt.nl
The more I study CS, the more I feel stupid for wanting precise and correct algorithms. Just read about interactive proofs: why bother with complete correctness when you can make the probability of failing just by questioning everything? Seems straight from the book "Mom 101 - telling when your children lie"