Jip J. Dekker

Jip J. Dekker

@dekker.one

OPTIMA Research Fellow working on Modelling Decision/Optimization problems, Programming Languages, and AI at Monash University, Melbourne, Australia. MiniZinc developer, CP and SAT researcher. I also talk about music, birds, cycling, and cricket.

1.2K followers326 following61 posts

Jip J. Dekker
@dekker.one

Derive `Clone` on a Rust type holding a `Rc`, and your "copy" still shares state with the original. A simple deep clone breaks it the other way, destroying the internal sharing. I've released `deepclone`, which does the right thing.

Jip J. Dekker
@dekker.one

Last OPTIMA con was a great event to connect with optimizers in other disciplines and in industry. I’m looking forward to the upcoming iteration!

OPTIMA ARC Industry Training Centre@optima-arc.bsky.social

Re-sharing for industry professionals tackling complex operational challenges. #OPTIMACON27 connects you with applied expertise in optimisation, across logistics, energy, mining, health and more. con27.optima.org.au #Optimisation #DecisionScience #OperationsResearch

Jip J. Dekker
@dekker.one

1/ Excited to share the first public release of the **Huub** solver: v100.0.0 🚀 A modern CP+SAT solver framework, written in Rust. 🥉 3rd place in the MiniZinc Challenge 🔗 huub.solutions

View full thread
Jip J. Dekker
@dekker.one

3/ The version number is a small tribute: Huub is named after my grandfather, who would have turned 100 this year. Big thanks to the team, Allen Z. Zong, Peter J. Stuckey, and everyone who contributed along the way. This work was supported by @optima-arc.bsky.social an Amazon Research Award.

Jip J. Dekker
@dekker.one

1/ Excited to share the first public release of the **Huub** solver: v100.0.0 🚀 A modern CP+SAT solver framework, written in Rust. 🥉 3rd place in the MiniZinc Challenge 🔗 huub.solutions

Jip J. Dekker
@dekker.one

2/ Huub is designed as both for MiniZinc and as a standalone Rust library for building custom solvers. It’s built to be flexible and extensible — making it easy to experiment with and add new functionality. Under the hood: - IPASIR-UP (swapping SAT solvers) - modern SAT features (from CaDiCaL)

Jip J. Dekker
@dekker.one

Here is my rant for today. The MPS format is the worst of both world: it is not humanly readable, but it also very inefficient to store and parse. Maybe consult a computer scientist next time, mathematicians.

Jip J. Dekker
@dekker.one

Are there any other users of #MiniZinc AND @zed.dev? My syntax highlighting extension is now available for download in the normal extensions list. Have a go and let me know how we can further improve it!

Jip J. Dekker reposted

jess m. ☕🍂
@jametc.bsky.social

meanwhile.... medicine has taken INSANE leaps and bounds in the last 2 years. we're out here curing HIV and leukemia and creating 100% efficacy vaccines against all sorts of cancers, and now this?? between this and renewable energy outstripping fossil fuels in efficiency, the future is bright

This post is unavailable.
Jip J. Dekker
@dekker.one

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.

CPAIOR@cpaior.bsky.social

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.

Jip J. Dekker reposted

CPAIOR
@cpaior.bsky.social

Replying to @cpaior.bsky.social

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-...

Jip J. Dekker reposted

CPAIOR
@cpaior.bsky.social

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!

Jip J. Dekker reposted

CPAIOR
@cpaior.bsky.social

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

Jip J. Dekker reposted

Sophie Huiberts
@sophie.huiberts.me

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.

arxiv.orgBeyond Smoothed Analysis: Analyzing the Simplex Method by the BookNarrowing 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...

Jip J. Dekker reposted

Lora Kolodny
@lorak.bsky.social

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.

Jip J. Dekker reposted

Elizabeth Gibney
@lizziegibney.bsky.social

Replying to @lizziegibney.bsky.social

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?

Jip J. Dekker
@dekker.one

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

Jip J. Dekker reposted

Clément Canonne
@ccanonne.github.io

tl;dr: #NeurIPS reviews are up, many people feel down. (You are not alone.)

Clément Canonne@ccanonne.github.io

Ah, watching the NeurIPS reviews appear on OpenReview, slowly, one after the others, in a beautiful, slow movement, graceful prelude to the social media meltdown The miracle of nature.

Jip J. Dekker reposted

OPTIMA ARC Industry Training Centre
@optima-arc.bsky.social

OPTIMA Seminar Spotlight🔦 Modelling & Analysis of Multi-Timescale Uncertainty in Energy System Planning presented by Hongyu Zhang ▶️ youtu.be/ls3FzoY621o?... If you're interested in #optimisation #energytransition #enegysystemmodelling #uncertaintymodelling #stochasticoptimisation, this is for you!

youtu.beModelling and analysis of multi-timescale uncertainty in energy system planningYouTube video by OPTIMA ARC

Jip J. Dekker reposted

OPTIMA ARC Industry Training Centre
@optima-arc.bsky.social

OPTIMA Seminar Spotlight 🔦 Catch up on Dr William Jones as he shares his work on automating keel block planning at the Captain Cook Graving Dock. From his vision of a fully autonomous digitised dry dock, 3D scanning, and task & motion planning. 📺 : youtu.be/mSb6eLjQe6I?... #Optimisation #Robotics

youtu.beAutomated Planning for Keel Block Reconfiguration at the Captain Cook Graving DockYouTube video by OPTIMA ARC

Jip J. Dekker reposted

CPAIOR
@cpaior.bsky.social

Registrations for CPAIOR 2025 are now open. Please visit the conference website at sites.google.com/view/cpaior2... for the registration link as well as more information on the conference venue, travel, visas, and accommodation. Early registration will close on 3 September 2025.

sites.google.comCPAIOR 2025The aim of CPAIOR is to bring together researchers from Constraint Programming (CP), Artificial Intelligence (AI), and Operations Research (OR) to present new techniques, applications, and theoretical...