Sign in

Jip J. Dekker

@dekker.one
1.2K followers 326 following 61 posts

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.

PostsRepliesMedia
Jip J. Dekker @dekker.one · 27/08/2026
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.
100
Reposted by Jip J. Dekker
OPTIMA ARC Industry Training Centre @optima-arc.bsky.social · 20/08/2026
OPTIMACON 2027 (8-10 Feb) welcomes keynote speakers Prof. Kate Smith-Miles AO FAA, Dr Christina Burt, and Pascal Van Hentenryck. If you want to share your complex industrial challenge, or optimisation research you can submit an Abstracts for OPTIMACON: con27.optima.org.au/abstracts #optimisation #ai
032
Reposted by Jip J. Dekker
Randall Munroe @xkcd.com · 08/07/2026
Offside xkcd.com/3268/
Comic. [chessboard with red dotted line and flag at second line. Highlighted rook is positioned next to King behind the red line.]  [caption] I thought I had checkmate, but I didn’t realize my rook was offside.
464601816
Jip J. Dekker @dekker.one · 27/05/2026
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!
010
Reposted by Jip J. Dekker
Jip J. Dekker @dekker.one · 21/05/2026
Now also available using homebrew: `brew install dekker1/minizinc/huub`
011
Jip J. Dekker @dekker.one · 14/05/2026
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
The Huub logo, picturing Hubertus Dekker pointing at a portable blackboard. Underneath is the name "Huub" and the slogan "Your partner in Optimization"
140
Jip J. Dekker @dekker.one · 01/05/2026
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.
130
Reposted by Jip J. Dekker
OPTIMA ARC Industry Training Centre @optima-arc.bsky.social · 01/05/2026
The latest OPTIMA Outreach Newsletter is out. See how our members are applying optimisation, working with industry, and making real impact. Read it here: mailchi.mp/optima.org.a... #OPTIMA #Optimisation #ResearchImpact #IndustryEngagement #OR
mailchi.mp
OPTIMA Outreach Newsletter April 2026
011
Jip J. Dekker @dekker.one · 26/02/2026
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!
000
Reposted by Jip J. Dekker
Birds of the World | The Cornell Lab @birdsoftheworld.bsky.social · 27/01/2026
MAJOR NEWS! We just launched an awesome new tool! The illustrated Birds of the World Phylogeny Explorer lets users trace any bird’s lineage, compare species relationships, and explore major evolutionary milestones with a click of a button. SHARE and EXPLORE! birdsoftheworld.org/bow/news/phy...
IMAGE SHOWS GRAPHIC OF CORNELL LAB OF ORNITHOLOGY PHYLOGENY EXPLORER TOOL.
7408168
Reposted by Jip J. Dekker
OPTIMA ARC Industry Training Centre @optima-arc.bsky.social · 23/01/2026
Following the success of OPTIMA‑CON 2024, the conference will return as a key forum in the science of decision making, bringing together researchers and industry. Stay informed by joining our mailing list go.unimelb.edu.au/t898 #OPTIMA #OPTIMACON #Optimisation #Research #DecisionMaking #Events
011
Reposted by Jip J. Dekker
jess m. ☕🍂 @jametc.bsky.social · 31/12/2025
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
1047971538
Reposted by Jip J. Dekker
The Rust Foundation @rustfoundation.org · 18/11/2025
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 🦀
blog.rust-lang.org
Launching the 2025 State of Rust Survey | Rust Blog
Empowering everyone to build reliable and efficient software.
14125
Jip J. Dekker @dekker.one · 13/11/2025
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.
030
Reposted by Jip J. Dekker
CPAIOR @cpaior.bsky.social · 12/11/2025
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-...
122
Reposted by Jip J. Dekker
CPAIOR @cpaior.bsky.social · 12/11/2025
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!
011
Reposted by Jip J. Dekker
CPAIOR @cpaior.bsky.social · 10/11/2025
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!
011
Reposted by Jip J. Dekker
CPAIOR @cpaior.bsky.social · 09/11/2025
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
031
Reposted by Jip J. Dekker
Rolf van der Hulst @rolfvanderhulst.bsky.social · 06/11/2025
Does there exist a commonly used public instance benchmark set for robust optimization? Or sets of instances which are frequently used within the literature?
153
Jip J. Dekker @dekker.one · 05/11/2025
Me, every time I come back to one of my projects after a month or so
030
Reposted by Jip J. Dekker
David Crawshaw @crawshaw.io · 30/10/2025
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...
go.dev
The Green Tea Garbage Collector - The Go Programming Language
Go 1.25 includes a new experimental garbage collector, Green Tea.
0568
Reposted by Jip J. Dekker
Sophie Huiberts @sophie.huiberts.me · 27/10/2025
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.org
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...
521250
Reposted by Jip J. Dekker
OPTIMA ARC Industry Training Centre @optima-arc.bsky.social · 06/10/2025
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
021
Reposted by Jip J. Dekker
Lora Kolodny @lorak.bsky.social · 30/09/2025
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.
8065891485
Jip J. Dekker @dekker.one · 29/09/2025
🚀 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...
docs.minizinc.dev
MiniZinc Change Log — The MiniZinc Handbook 2.9.4
010
Reposted by Jip J. Dekker
Spoon & Tamago @spoon-tamago.bsky.social · 19/09/2025
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...
1523360
Reposted by Jip J. Dekker
OPTIMA ARC Industry Training Centre @optima-arc.bsky.social · 18/09/2025
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
Poster of an optimisation transport event being held in Melbourne
031
Reposted by Jip J. Dekker
Safely Endangered @safelyendangered.bsky.social · 12/09/2025
1605118
Reposted by Jip J. Dekker
Elizabeth Gibney @lizziegibney.bsky.social · 11/09/2025
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?
6234
Reposted by Jip J. Dekker
OPTIMA ARC Industry Training Centre @optima-arc.bsky.social · 11/09/2025
⚡️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
youtu.be
OPTIMA Debate: We Shouldn't Optimise Everything
YouTube video by Melbourne Connect
032
Reposted by Jip J. Dekker
CPAIOR @cpaior.bsky.social · 03/09/2025
Today is the last day of early registration. If you haven’t yet, then register yourself now! sites.google.com/view/cpaior2...
sites.google.com
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...
021
Jip J. Dekker @dekker.one · 02/09/2025
That certainly doesn't help when trying to finish up your #AAAI reviews.
010
Jip J. Dekker @dekker.one · 14/08/2025
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...
doi.org
Towards Modern and Modular SAT for LCG (Short Paper)
030
Jip J. Dekker @dekker.one · 13/08/2025
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.
drops.dagstuhl.de
Unit Types for MiniZinc
010
Jip J. Dekker @dekker.one · 12/08/2025
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...
doi.org
Constraint-Based In-Station Train Dispatching
030
Jip J. Dekker @dekker.one · 11/08/2025
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
001
Reposted by Jip J. Dekker
Steven Strogatz @stevenstrogatz.com · 03/08/2025
What a fantastic accomplishment -- and what a fantastic story! www.quantamagazine.org/at-17-hannah...
quantamagazine.org
At 17, Hannah Cairo Solved a Major Math Mystery | Quanta Magazine
After finding the homeschooling life confining, the teen petitioned her way into a graduate class at Berkeley, where she ended up disproving a 40-year-old conjecture.
631191
Reposted by Jip J. Dekker
Clément Canonne @ccanonne.github.io · 24/07/2025
tl;dr: #NeurIPS reviews are up, many people feel down. (You are not alone.)
0172
Reposted by Jip J. Dekker
OPTIMA ARC Industry Training Centre @optima-arc.bsky.social · 23/07/2025
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.be
Modelling and analysis of multi-timescale uncertainty in energy system planning
YouTube video by OPTIMA ARC
011
Reposted by Jip J. Dekker
OPTIMA ARC Industry Training Centre @optima-arc.bsky.social · 16/07/2025
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.be
Automated Planning for Keel Block Reconfiguration at the Captain Cook Graving Dock
YouTube video by OPTIMA ARC
012
Reposted by Jip J. Dekker
OPTIMA ARC Industry Training Centre @optima-arc.bsky.social · 09/07/2025
Help Make the Birrarung Swimmable Again We're seeking donations to support Leilah in her vital research. Your contribution will directly help make the Birrarung swimmable again. Learn more optima.org.au/optimisation... #Optimisation #RegenMelbourne #Birrarung
People swimming in the swimmable Birrarung (https://www.regen.melbourne/)
041
Reposted by Jip J. Dekker
CPAIOR @cpaior.bsky.social · 07/07/2025
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.com
CPAIOR 2025
The 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...
022
Jip J. Dekker @dekker.one · 04/07/2025
Our CPAIOR25 paper, together with Henk Bierlee and Peter Stuckey, just been officially published. You can find it here: 10.1007/978-3-031-95973-8_8
lnkd.in
LinkedIn
This link will take you to a page that’s not on LinkedIn
100
Reposted by Jip J. Dekker
OPTIMA ARC Industry Training Centre @optima-arc.bsky.social · 18/06/2025
Join us for the @gurobioptimization.bsky.social Melbourne #OptimisationCommunity event! Sponsored by @optima-arc.bsky.social, connect with fellow problem solvers from across industry and academia. 📅 17 July, 3-6pm, Melbourne Connect Register now: www.gurobi.com/events/the-o... #Optimisation
031
Jip J. Dekker @dekker.one · 12/05/2025
Submitting a NeurIPS paper and getting a submission number 27k+. That doesn’t bode well for reviewing pressure.
010
Reposted by Jip J. Dekker
OPTIMA ARC Industry Training Centre @optima-arc.bsky.social · 12/05/2025
To celebrate Women in Mathematics Day, we announce two $700 travel grants for women in optimisation to attend AI-OPT 2025. You must submit an abstract for the conference. - Abstracts at due by May 14th 2025. The link to apply can be found on the website: go.unimelb.edu.au/ds8p #optimisation
A photo of people attending the AI-OPT conference
022
Reposted by Jip J. Dekker
OPTIMA ARC Industry Training Centre @optima-arc.bsky.social · 06/03/2025
This International Women's Day, we spotlighted OPTIMA PhD student, Zahra Namazian. Find out more about Zahra's journey. optima.org.au/women/ #womensday #optimization
011
Reposted by Jip J. Dekker
Clément Canonne @ccanonne.github.io · 28/02/2025
The Simons Institute is now on BlueSky! 🍾 Follow them: @simonsinstitute.bsky.social #TCSSky
26416