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
Everything reachable is copied exactly once, and every reference in the copy points at that one new object. It's Python's `copy.deepcopy`, for Rust. Derive macro included. github.com/Dekker1/deep...
github.com
GitHub - Dekker1/deepclone: Deep clone that copies shared data once: an `Rc`/`Arc` reached twice becomes one new `Rc`/`Arc`
Deep clone that copies shared data once: an `Rc`/`Arc` reached twice becomes one new `Rc`/`Arc` - Dekker1/deepclone
010
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 · 21/05/2026
Now also available using homebrew: `brew install dekker1/minizinc/huub`
011
Jip J. Dekker @dekker.one · 14/05/2026
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.
100
Jip J. Dekker @dekker.one · 14/05/2026
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)
100
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 · 03/03/2026
It feels like they should form a tree or DAG structure. Those might be a lot easier to visualise than general graphs
000
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
Jip J. Dekker @dekker.one · 21/01/2026
Yes, I remember Arlanda (Stockholm) airport having eduroam as well. Very convenient, but I always wondered why.
100
Jip J. Dekker @dekker.one · 21/01/2026
If I ever leave academia, eduroam is probably what I’ll miss most. It’s so convenient that, wherever you are in the world, you have internet wherever you’re close to an academic institution.
160
Jip J. Dekker @dekker.one · 20/01/2026
I also lean towards your preferred order, and I think it is the standard in constraint programming. However, I think it is even better to split the model into the different decisions, constraints, and (partial) objectives of each component of the problem, and then discuss any quirks when combining
020
Jip J. Dekker @dekker.one · 13/01/2026
That sound like the right balance to me! 😉
000
Jip J. Dekker @dekker.one · 10/01/2026
CLP and ASP are very impressive technologies, but unless you have years of experience it can be difficult to exploit the integration of modelling and solving as one. Now that constraint modelling systems are becoming more incremental, I feel the need for CLP/ASP is shrinking.
110
Jip J. Dekker @dekker.one · 10/01/2026
In my (biased) experience, most applications of CLP have moved towards more general constraint modelling, such as MiniZinc, AMPL, or programming language-specific packages. Allowing the use of different and more modern solvers can be crucial for performance. (Not to mention the model preprocessing).
120
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
Jip J. Dekker @dekker.one · 10/11/2025
Just let us know if you need us to stop you 😉 otherwise, enjoy the sugar rush!
media.tenor.com
a cartoon drawing of a pitcher and cup of sugar on a table
ALT: a cartoon drawing of a pitcher and cup of sugar on a table
020
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
Jip J. Dekker @dekker.one · 03/11/2025
Just in time for some family Christmas gifts!
000
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
Jip J. Dekker @dekker.one · 28/10/2025
Congratulations! And the project sounds very interesting. I’m looking forward to hearing more about it!
110
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
Jip J. Dekker @dekker.one · 27/10/2025
I think you’re right that ORCID capture a small subset. I’m not sure whether DOIs are the problem. Many other (prepublish) systems, such as Zenodo and ResearchGate, allow you to create DOIs. I think the question really is just what is indexed.
100
Jip J. Dekker @dekker.one · 20/10/2025
Looking forward to throwing away another collection of macros! 🥳
040
Jip J. Dekker @dekker.one · 19/10/2025
Glad to see that DTrace is looking a lot better than last I looked in Rust. The the usdt crate is much better documented and has many more features now. Also excited to see some examples of scripts using the nextest probes!
000
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