Pinned post

Hi scholar.social and fediverse! 👋

I'm a computer science researcher working on Optimisation/OR and programming languages. I currently work on the MiniZinc language, both in its implementation, its connection to solvers, and related tools.
I've recently been selected to continue my research as a OPTIMA research fellow at Monash University.

CP2021 - Day 2 

The session on search of had some very interesting talk. I love how the CP conference mixed so many different technologies

CP2021 conference - day 1 

The final session with the lightning talk and following discussion was great. It was great to hear that others are thinking about the same problems.

Show thread

CP2021 conference - day 1 

I think I'm getting a bit to tired to live-toot these later sessions. Talks are still very worthwhile though! Ending the session with model analysis of the Essence models, which is impressive as always!

Show thread

CP2021 conference - day 1 

The second invited talk of the day on the IDP modelling system. A name I've heard before, but never seen in practice. It's an interesting idea to represent *knowledge* between so many different paradigms. dtai.cs.kuleuven.be/drupal/sof

Show thread

CP2021 conference - day 1 

Last talk in the session about constraint patterns. A very interesting way of approaching modelling a problem that is very much founded in user data. constraintpatterns.com/

Show thread

CP2021 conference - day 1 

Time for Peter Stuckey's talk on enumerated types. Something I've been playing around with for a while! I really love this new MiniZinc extension! No need for integer decision variables anymore 💪

Show thread

CP2021 conference - day 1 

Really interesting approach to choosing encodings! Something I'll definitely read up on!

Show thread

CP2021 conference - day 1 

Onto Felix Ulrich-Oltean's talk on choosing the Boolean encoding for linear and PB constraints. This is something close to home, I'm really interested what new approaches they bring to the table!

Show thread

CP2021 conference - day 1 

ASP seems like a paradigm that has a lot in common with constraint modelling languages, but taking a very pure logic programming approach. There seems to be a lot of interesting work there!

Show thread

CP2021 conference - day 1 

First day of CP2021: workshops! For me this means ModRef 2021. First up is Torsten Schaub introducing us to Answer Set Programming. I'm very interested to learn about ASP, a topic I should probably know much more about!

I'm really excited about tomorrow's seminar! Mark always has such interesting projects and knows so well how to guide you through even the most complex topics. optima.org.au/events/optima-se

2529. Unsolved Math Problems 

title text: After decades of studying the curve and the procedure that generates it, the consensus explanation is "it's just like that."

(xkcd.com/2529)
(explainxkcd.com/wiki/index.php
)

After last night’s rainfall Dandenong creek looks more like Dandenong river.

I really like @tomasino's Contract-Based Dependency Management idea. Here's why:
rys.io/en/156.html

> Version numbers are are notoriously unreliable in predicting if something breaks after [a dependency's] upgrade.

> [W]hen deciding if a given version of a given dependency is compatible with a dependant piece of software, instead of relying on version numbers rely on tests that actually verify the functionality and behaviour that piece of software actually depends on.

#software #Developers

PhD Examination Nerves 

I don't think I've ever been so nervous as clicking the link in this email 😨

On a very positive note, the report seem very thoughtful and only minor revisions are required! 😃

Upcoming OPTIMIA seminar 

The next OPTIMA seminar is tomorrow. Aldeida will talk about an AI-based optimisation approach to find and fix software bugs. The combination of OR and ML is becoming an increasingly interesting field; I'm excited to hear about this application!

I'm really enjoyed this lecture on "Optimal decision making: a tribute to female ingenuity" the last hour. A great way to celebrate Ada Lovelace Day; Alison Harcourt is a big inspiration! 👩‍💻 👩‍🏫

This paper gives important message for academic policy makers. An excessive amount of papers doesn’t help the research, so stop pushing for it! It is time for different research performance measures. pnas.org/content/118/41/e20216

I've just released a new version of MiniZinc Python. Now with support for NumPy data input: pypi.org/project/minizinc/0.5.

Show older
Scholar Social

Scholar Social is a microblogging platform for researchers, grad students, librarians, archivists, undergrads, academically inclined high schoolers, educators of all levels, journal editors, research assistants, professors, administrators—anyone involved in academia who is willing to engage with others respectfully.