Jip J. Dekker
@dekker.one
OPTIMA Research Fellow working on Modelling Decision and Optimization problems, Programming Languages, and AI at Monash University, Melbourne, Australia.
Developer of the MiniZinc language.
I also talk about music, birds, cycling, and cricket.
Developer of the MiniZinc language.
I also talk about music, birds, cycling, and cricket.
Reposted by Jip J. Dekker
It's time for the State of Rust Survey!
The Rust Project invites you to take this year’s survey, whether you have just begun using Rust, you consider yourself an intermediate to advanced user, or you have not yet used Rust but intend to one day 🦀
The Rust Project invites you to take this year’s survey, whether you have just begun using Rust, you consider yourself an intermediate to advanced user, or you have not yet used Rust but intend to one day 🦀
Launching the 2025 State of Rust Survey | Rust Blog
Empowering everyone to build reliable and efficient software.
blog.rust-lang.org
November 18, 2025 at 5:35 AM
It's time for the State of Rust Survey!
The Rust Project invites you to take this year’s survey, whether you have just begun using Rust, you consider yourself an intermediate to advanced user, or you have not yet used Rust but intend to one day 🦀
The Rust Project invites you to take this year’s survey, whether you have just begun using Rust, you consider yourself an intermediate to advanced user, or you have not yet used Rust but intend to one day 🦀
It was amazing to be part of this year’s conference. As always, CPAIOR is an amazing venue for new insights into CP and many closely related, and the perfect place to catch up with old friends and connect with new people.
And with Guido’s goodbye, we conclude another amazing CPAIOR. Thank you to all the speakers and attendees!
For people who couldn’t attend, we’re hoping to publish talks of the presentations where speakers allow.
For people who couldn’t attend, we’re hoping to publish talks of the presentations where speakers allow.
November 13, 2025 at 7:55 AM
It was amazing to be part of this year’s conference. As always, CPAIOR is an amazing venue for new insights into CP and many closely related, and the perfect place to catch up with old friends and connect with new people.
Reposted by Jip J. Dekker
The second talk in the session titled "Multi-task Representation Learning for Mixed Integer Linear Programming" won the best paper award. Congratulations to Junyang Cai, Taoan Huang, and Bistra Dilkina!
doi.org/10.1007/978-...
doi.org/10.1007/978-...
November 12, 2025 at 4:55 AM
The second talk in the session titled "Multi-task Representation Learning for Mixed Integer Linear Programming" won the best paper award. Congratulations to Junyang Cai, Taoan Huang, and Bistra Dilkina!
doi.org/10.1007/978-...
doi.org/10.1007/978-...
Reposted by Jip J. Dekker
Next year, CPAIOR will take place in Morocco. The website for the conference is already online: sites.google.com/view/cpaior2...
It includes the call for paper, and the deadline is less than a month away!
It includes the call for paper, and the deadline is less than a month away!
November 12, 2025 at 12:43 AM
Next year, CPAIOR will take place in Morocco. The website for the conference is already online: sites.google.com/view/cpaior2...
It includes the call for paper, and the deadline is less than a month away!
It includes the call for paper, and the deadline is less than a month away!
Reposted by Jip J. Dekker
This morning Guido Tack, our Program and Conference Chair, kicks off the conference. With a program packed with great talks, we're in for a great three days!
November 10, 2025 at 9:52 PM
This morning Guido Tack, our Program and Conference Chair, kicks off the conference. With a program packed with great talks, we're in for a great three days!
Reposted by Jip J. Dekker
Today we're kicking CPAIOR off with the master class on "CP, AI and OR for Classical Planning", and who better to get us started than Buser Say, the mastermind behind today
November 9, 2025 at 9:59 PM
Today we're kicking CPAIOR off with the master class on "CP, AI and OR for Classical Planning", and who better to get us started than Buser Say, the mastermind behind today
Reposted by Jip J. Dekker
Does there exist a commonly used public instance benchmark set for robust optimization? Or sets of instances which are frequently used within the literature?
November 6, 2025 at 10:48 PM
Does there exist a commonly used public instance benchmark set for robust optimization? Or sets of instances which are frequently used within the literature?
Me, every time I come back to one of my projects after a month or so
November 5, 2025 at 9:09 AM
Me, every time I come back to one of my projects after a month or so
Reposted by Jip J. Dekker
This is a very nice blog post because it is not afraid to explain hard work in terms of simple concepts. go.dev/blog/greente...
The Green Tea Garbage Collector - The Go Programming Language
Go 1.25 includes a new experimental garbage collector, Green Tea.
go.dev
October 30, 2025 at 10:26 PM
This is a very nice blog post because it is not afraid to explain hard work in terms of simple concepts. go.dev/blog/greente...
Reposted by Jip J. Dekker
The simplex algorithm is super efficient. 80 years of experience says it runs in linear time. Nobody can explain _why_ it is so fast.
We invented a new algorithm analysis framework to find out.
We invented a new algorithm analysis framework to find out.
Beyond Smoothed Analysis: Analyzing the Simplex Method by the Book
Narrowing the gap between theory and practice is a longstanding goal of the algorithm analysis community. To further progress our understanding of how algorithms work in practice, we propose a new alg...
arxiv.org
October 27, 2025 at 1:43 AM
The simplex algorithm is super efficient. 80 years of experience says it runs in linear time. Nobody can explain _why_ it is so fast.
We invented a new algorithm analysis framework to find out.
We invented a new algorithm analysis framework to find out.
Reposted by Jip J. Dekker
Smarter Decision-Making in Action: Planning & Scheduling for Road Transport & Logistics Optimisation
Workshop 10 Nov 2025 in Melbourne, to explore how optimisation is transforming transport & logistics.
optima.org.au/outreach-and...
#ICAPS2025 #Logistics #TransportOptimisation #AI
Workshop 10 Nov 2025 in Melbourne, to explore how optimisation is transforming transport & logistics.
optima.org.au/outreach-and...
#ICAPS2025 #Logistics #TransportOptimisation #AI
October 5, 2025 at 11:47 PM
Smarter Decision-Making in Action: Planning & Scheduling for Road Transport & Logistics Optimisation
Workshop 10 Nov 2025 in Melbourne, to explore how optimisation is transforming transport & logistics.
optima.org.au/outreach-and...
#ICAPS2025 #Logistics #TransportOptimisation #AI
Workshop 10 Nov 2025 in Melbourne, to explore how optimisation is transforming transport & logistics.
optima.org.au/outreach-and...
#ICAPS2025 #Logistics #TransportOptimisation #AI
Reposted by Jip J. Dekker
Please - stop doing the screenshot no link thing on Bluesky. This platform does not punish you for posting a URL. You picked up the habit from Meta apps? Stop doing Mark Z's bidding. Link ESPECIALLY to authors, reporters, bloggers, etc. where you quote the work.
September 30, 2025 at 6:52 PM
Please - stop doing the screenshot no link thing on Bluesky. This platform does not punish you for posting a URL. You picked up the habit from Meta apps? Stop doing Mark Z's bidding. Link ESPECIALLY to authors, reporters, bloggers, etc. where you quote the work.
🚀 We’ve released MiniZinc 2.9.4! This patch adds new array manipulations, option type bin_packing and cumulatives, and more consistent float parsing. It also fixes bugs affecting arrays of arrays, polymorphic functions, and comprehension performance. docs.minizinc.dev/en/2.9.4/cha...
MiniZinc Change Log — The MiniZinc Handbook 2.9.4
docs.minizinc.dev
September 29, 2025 at 6:06 AM
🚀 We’ve released MiniZinc 2.9.4! This patch adds new array manipulations, option type bin_packing and cumulatives, and more consistent float parsing. It also fixes bugs affecting arrays of arrays, polymorphic functions, and comprehension performance. docs.minizinc.dev/en/2.9.4/cha...
Reposted by Jip J. Dekker
1/At Macquarie Uni we are losing 50% of our units in my faculty. This is on top of cuts in 2020. We estimate by next year my faculty will be teaching 80% fewer subjects than pre Covid. Disciplines being cut do not have declining enrolments. @jennaprice.bsky.social @michaelwestbiz.bsky.social
September 20, 2025 at 1:10 AM
1/At Macquarie Uni we are losing 50% of our units in my faculty. This is on top of cuts in 2020. We estimate by next year my faculty will be teaching 80% fewer subjects than pre Covid. Disciplines being cut do not have declining enrolments. @jennaprice.bsky.social @michaelwestbiz.bsky.social
Reposted by Jip J. Dekker
Japan once again wins the IG Nobel Prize, this year for research showing that painting a cow to look like a zebra decreases bug bites by close to 50%
www.asahi.com/sp/ajw/artic...
www.asahi.com/sp/ajw/artic...
September 19, 2025 at 4:36 PM
Japan once again wins the IG Nobel Prize, this year for research showing that painting a cow to look like a zebra decreases bug bites by close to 50%
www.asahi.com/sp/ajw/artic...
www.asahi.com/sp/ajw/artic...
Reposted by Jip J. Dekker
OPTIMA is hosting a workshop focused on real-world optimisation in road transport! We have free industry tickets available.
Date: 10 November 2025 08:30 - 12:30
Location: Melbourne Connect, Carlton, VIC
Workshop details optima.org.au/icaps-smart-...
#ICAPS2025 #TransportOptimisation
Date: 10 November 2025 08:30 - 12:30
Location: Melbourne Connect, Carlton, VIC
Workshop details optima.org.au/icaps-smart-...
#ICAPS2025 #TransportOptimisation
September 18, 2025 at 3:49 AM
OPTIMA is hosting a workshop focused on real-world optimisation in road transport! We have free industry tickets available.
Date: 10 November 2025 08:30 - 12:30
Location: Melbourne Connect, Carlton, VIC
Workshop details optima.org.au/icaps-smart-...
#ICAPS2025 #TransportOptimisation
Date: 10 November 2025 08:30 - 12:30
Location: Melbourne Connect, Carlton, VIC
Workshop details optima.org.au/icaps-smart-...
#ICAPS2025 #TransportOptimisation
Reposted by Jip J. Dekker
Reposted by Jip J. Dekker
The top line is we're never going to get rid of hallucinations as it's just the way LLMs are built: they're not understanding, they're guessing based on stats. But maybe LLMs can be better fine-tuned to sound less confident, so humans aren't so taken in by them & use them more appropriately?
September 11, 2025 at 9:11 AM
The top line is we're never going to get rid of hallucinations as it's just the way LLMs are built: they're not understanding, they're guessing based on stats. But maybe LLMs can be better fine-tuned to sound less confident, so humans aren't so taken in by them & use them more appropriately?
Reposted by Jip J. Dekker
⚡️Fiery speeches to quirky anecdotes, the @melbconnect.bsky.social #MCIW2025 OPTIMA Debate had it all!
Last week, our teams tackled the motion: We Shouldn’t Optimise Everything – Imperfection is Humanity’s Best Feature.
Catch it all: youtu.be/3xHtgVqFiXw?...
#Optimisation #OPTIMA #OptimisationEthics
Last week, our teams tackled the motion: We Shouldn’t Optimise Everything – Imperfection is Humanity’s Best Feature.
Catch it all: youtu.be/3xHtgVqFiXw?...
#Optimisation #OPTIMA #OptimisationEthics
OPTIMA Debate: We Shouldn't Optimise Everything
YouTube video by Melbourne Connect
youtu.be
September 11, 2025 at 2:16 AM
⚡️Fiery speeches to quirky anecdotes, the @melbconnect.bsky.social #MCIW2025 OPTIMA Debate had it all!
Last week, our teams tackled the motion: We Shouldn’t Optimise Everything – Imperfection is Humanity’s Best Feature.
Catch it all: youtu.be/3xHtgVqFiXw?...
#Optimisation #OPTIMA #OptimisationEthics
Last week, our teams tackled the motion: We Shouldn’t Optimise Everything – Imperfection is Humanity’s Best Feature.
Catch it all: youtu.be/3xHtgVqFiXw?...
#Optimisation #OPTIMA #OptimisationEthics
Reposted by Jip J. Dekker
Today is the last day of early registration. If you haven’t yet, then register yourself now! sites.google.com/view/cpaior2...
CPAIOR 2025 - Registration
To register, please follow the link below to fill out the registration form.
Each paper accepted for presentation at the conference requires at least one of the authors to register. Physical attendanc...
sites.google.com
September 3, 2025 at 7:54 AM
Today is the last day of early registration. If you haven’t yet, then register yourself now! sites.google.com/view/cpaior2...
Last of my #CP2025 papers! Today, Allen will present “Towards Modern and Modular SAT for LCG” introduces Huub, an LCG solver that can swap in any SAT engine via the IPASIR-UP interface, unlocking modern SAT advances.
Paper: doi.org/10.4230/LIPI...
Paper: doi.org/10.4230/LIPI...
Towards Modern and Modular SAT for LCG (Short Paper)
doi.org
August 14, 2025 at 9:46 AM
Last of my #CP2025 papers! Today, Allen will present “Towards Modern and Modular SAT for LCG” introduces Huub, an LCG solver that can swap in any SAT engine via the IPASIR-UP interface, unlocking modern SAT advances.
Paper: doi.org/10.4230/LIPI...
Paper: doi.org/10.4230/LIPI...
Today's paper at #CP2025: Unit Types for #MiniZinc!
Solvers see only integers, but those integers represent very different things. Mixing them up can cause subtle, hard-to-find bugs. Unit types make models safer by distinguishing between resource types, granularities, and delta time.
Solvers see only integers, but those integers represent very different things. Mixing them up can cause subtle, hard-to-find bugs. Unit types make models safer by distinguishing between resource types, granularities, and delta time.
Unit Types for MiniZinc
drops.dagstuhl.de
August 13, 2025 at 9:16 AM
Next up at #CP2025 🚆
Daniel is presenting our paper “Constraint-Based In-Station Train Dispatching” today!
We show how a constraint modelling approach can plan train movements within stations more efficiently, while the model remains flexible and adaptable.
Paper link: doi.org/10.4230/LIPI...
Daniel is presenting our paper “Constraint-Based In-Station Train Dispatching” today!
We show how a constraint modelling approach can plan train movements within stations more efficiently, while the model remains flexible and adaptable.
Paper link: doi.org/10.4230/LIPI...
Constraint-Based In-Station Train Dispatching
doi.org
August 12, 2025 at 6:48 AM
Next up at #CP2025 🚆
Daniel is presenting our paper “Constraint-Based In-Station Train Dispatching” today!
We show how a constraint modelling approach can plan train movements within stations more efficiently, while the model remains flexible and adaptable.
Paper link: doi.org/10.4230/LIPI...
Daniel is presenting our paper “Constraint-Based In-Station Train Dispatching” today!
We show how a constraint modelling approach can plan train movements within stations more efficiently, while the model remains flexible and adaptable.
Paper link: doi.org/10.4230/LIPI...
Kicking off an exciting week at #CP2025!
“Explanations for Hierarchical Neuro-Symbolic AI” is being presented today 🎉 It’s 1 of 4 works I’ve co-authored at CP this year—more coming soon! Huge credit to our PhD student Sushmita Paul for leading the work.
#AI #NeuroSymbolic #ExplainableAI #Research
“Explanations for Hierarchical Neuro-Symbolic AI” is being presented today 🎉 It’s 1 of 4 works I’ve co-authored at CP this year—more coming soon! Huge credit to our PhD student Sushmita Paul for leading the work.
#AI #NeuroSymbolic #ExplainableAI #Research
August 11, 2025 at 12:29 AM
Kicking off an exciting week at #CP2025!
“Explanations for Hierarchical Neuro-Symbolic AI” is being presented today 🎉 It’s 1 of 4 works I’ve co-authored at CP this year—more coming soon! Huge credit to our PhD student Sushmita Paul for leading the work.
#AI #NeuroSymbolic #ExplainableAI #Research
“Explanations for Hierarchical Neuro-Symbolic AI” is being presented today 🎉 It’s 1 of 4 works I’ve co-authored at CP this year—more coming soon! Huge credit to our PhD student Sushmita Paul for leading the work.
#AI #NeuroSymbolic #ExplainableAI #Research