David Attenborough‘s speech at actually seems a great example of this. Within the speech he turns the messaging around and focuses on the call to action and how hope is not yet lost!

Show thread

This article about the negativity surrounding climate change messaging really hit a cord with me. The unwillingness of politicians to do the right thing and the doomsday forecasts are very depressing, but feeling this way doesn’t help anyone. Approaching climate change from a positive angle might be a lot more effective and better for everyone’s mental health! wired.co.uk/article/climate-cr

Please boost:

A screen reader for Linux (GUI) is being developed in Rust. If anyone knows Rust and would like to help, or to just view the great work taking shape here, see:

yggdrasil-sr.github.io/

#a11y #accessibility #blind #screenreader #coding #rust

The results on the challenge 2021 are now online: minizinc.org/challenge2021/res
Congratulations to all the winners and a big thank you to all competitors! Keep sending us your models and your solvers!

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 

@bgcarlisle Ah, I forgot about that 😅 My apologies!

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.

@djoerd Dat is goed om te horen. Dan is er niets om de creativiteit en het ondernemerschap van de studenten in de weg te staan! 🏗️

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.