Jip J. Dekker @dekker.one · 27/08/2026Derive `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. DekkerOPTIMA ARC Industry Training Centre @optima-arc.bsky.social · 20/08/2026OPTIMACON 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
Jip J. Dekker @dekker.one · 27/05/2026Last 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. DekkerJip J. Dekker @dekker.one · 21/05/2026Now also available using homebrew: `brew install dekker1/minizinc/huub` 011
Jip J. Dekker @dekker.one · 14/05/20261/ 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 140
Jip J. Dekker @dekker.one · 01/05/2026Here 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. DekkerOPTIMA ARC Industry Training Centre @optima-arc.bsky.social · 01/05/2026The 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 #ORmailchi.mpOPTIMA Outreach Newsletter April 2026 011
Jip J. Dekker @dekker.one · 26/02/2026Are 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. DekkerBirds of the World | The Cornell Lab @birdsoftheworld.bsky.social · 27/01/2026MAJOR 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... 7408168
Reposted by Jip J. DekkerOPTIMA ARC Industry Training Centre @optima-arc.bsky.social · 23/01/2026Following 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. Dekkerjess m. ☕🍂 @jametc.bsky.social · 31/12/2025meanwhile.... 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. DekkerThe Rust Foundation @rustfoundation.org · 18/11/2025It'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.orgLaunching the 2025 State of Rust Survey | Rust BlogEmpowering everyone to build reliable and efficient software. 14125
Jip J. Dekker @dekker.one · 13/11/2025It 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. DekkerCPAIOR @cpaior.bsky.social · 12/11/2025The 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. DekkerCPAIOR @cpaior.bsky.social · 12/11/2025Next 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. DekkerCPAIOR @cpaior.bsky.social · 10/11/2025This 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. DekkerCPAIOR @cpaior.bsky.social · 09/11/2025Today 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. DekkerRolf van der Hulst @rolfvanderhulst.bsky.social · 06/11/2025Does 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/2025Me, every time I come back to one of my projects after a month or so 030
Reposted by Jip J. DekkerDavid Crawshaw @crawshaw.io · 30/10/2025This 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.devThe Green Tea Garbage Collector - The Go Programming LanguageGo 1.25 includes a new experimental garbage collector, Green Tea. 0568
Reposted by Jip J. DekkerSophie Huiberts @sophie.huiberts.me · 27/10/2025The 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... 521250
Reposted by Jip J. DekkerOPTIMA ARC Industry Training Centre @optima-arc.bsky.social · 06/10/2025Smarter 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. DekkerLora Kolodny @lorak.bsky.social · 30/09/2025Please - 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.devMiniZinc Change Log — The MiniZinc Handbook 2.9.4 010
Reposted by Jip J. DekkerSpoon & Tamago @spoon-tamago.bsky.social · 19/09/2025Japan 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. DekkerOPTIMA ARC Industry Training Centre @optima-arc.bsky.social · 18/09/2025OPTIMA 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 031
Reposted by Jip J. DekkerElizabeth Gibney @lizziegibney.bsky.social · 11/09/2025The 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. DekkerOPTIMA 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 #OptimisationEthicsyoutu.beOPTIMA Debate: We Shouldn't Optimise EverythingYouTube video by Melbourne Connect 032
Reposted by Jip J. DekkerCPAIOR @cpaior.bsky.social · 03/09/2025Today is the last day of early registration. If you haven’t yet, then register yourself now! sites.google.com/view/cpaior2...sites.google.comCPAIOR 2025 - RegistrationTo 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/2025That certainly doesn't help when trying to finish up your #AAAI reviews. 010
Jip J. Dekker @dekker.one · 14/08/2025Last 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.orgTowards Modern and Modular SAT for LCG (Short Paper) 030
Jip J. Dekker @dekker.one · 13/08/2025Today'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.deUnit Types for MiniZinc 010
Jip J. Dekker @dekker.one · 12/08/2025Next 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.orgConstraint-Based In-Station Train Dispatching 030
Jip J. Dekker @dekker.one · 11/08/2025Kicking 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. DekkerSteven Strogatz @stevenstrogatz.com · 03/08/2025What a fantastic accomplishment -- and what a fantastic story! www.quantamagazine.org/at-17-hannah...quantamagazine.orgAt 17, Hannah Cairo Solved a Major Math Mystery | Quanta MagazineAfter 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. DekkerClément Canonne @ccanonne.github.io · 24/07/2025tl;dr: #NeurIPS reviews are up, many people feel down. (You are not alone.) 0172
Reposted by Jip J. DekkerOPTIMA ARC Industry Training Centre @optima-arc.bsky.social · 23/07/2025OPTIMA 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 011
Reposted by Jip J. DekkerOPTIMA ARC Industry Training Centre @optima-arc.bsky.social · 16/07/2025OPTIMA 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 #Roboticsyoutu.beAutomated Planning for Keel Block Reconfiguration at the Captain Cook Graving DockYouTube video by OPTIMA ARC 012
Reposted by Jip J. DekkerOPTIMA ARC Industry Training Centre @optima-arc.bsky.social · 09/07/2025Help 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 041
Reposted by Jip J. DekkerCPAIOR @cpaior.bsky.social · 07/07/2025Registrations 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... 022
Jip J. Dekker @dekker.one · 04/07/2025Our 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_8lnkd.inLinkedInThis link will take you to a page that’s not on LinkedIn 100
Reposted by Jip J. DekkerOPTIMA ARC Industry Training Centre @optima-arc.bsky.social · 18/06/2025Join 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/2025Submitting a NeurIPS paper and getting a submission number 27k+. That doesn’t bode well for reviewing pressure. 010
Reposted by Jip J. DekkerOPTIMA ARC Industry Training Centre @optima-arc.bsky.social · 12/05/2025To 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 022
Reposted by Jip J. DekkerOPTIMA ARC Industry Training Centre @optima-arc.bsky.social · 06/03/2025This 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. DekkerClément Canonne @ccanonne.github.io · 28/02/2025The Simons Institute is now on BlueSky! 🍾 Follow them: @simonsinstitute.bsky.social #TCSSky 26416