It feels like they should form a tree or DAG structure. Those might be a lot easier to visualise than general graphs

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!

IMAGE SHOWS GRAPHIC OF CORNELL LAB OF ORNITHOLOGY PHYLOGENY EXPLORER TOOL.

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

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

Yes, I remember Arlanda (Stockholm) airport having eduroam as well. Very convenient, but I always wondered why.

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.

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

That sound like the right balance to me! 😉

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.

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

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

Launching the 2025 State of Rust Survey | Rust Blog Empowering everyone to build reliable and efficient software.

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 🦀

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.

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

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!

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!

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

Just let us know if you need us to stop you 😉 otherwise, enjoy the sugar rush!

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

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

Just in time for some family Christmas gifts!

The Green Tea Garbage Collector - The Go Programming Language Go 1.25 includes a new experimental garbage collector, Green Tea.

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

Congratulations! And the project sounds very interesting. I’m looking forward to hearing more about it!

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

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.

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.

Looking forward to throwing away another collection of macros! 🥳

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!

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

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