Search
927 results for “Dekker1”
-
I was scratching my head today about how to construct array literals `[1,2,3,…,n]` in #MiniZinc today. I was afraid that it would require some a bad recursive function, but it actually turns out to be quite easy once you remember the right builtin: `set2array(1..n)`
-
Hi Mastodon!
I'm a computer scientist working on the #MiniZinc modelling language. The perfect way to model your #optimization / #orms problems. (At least if you you were to ask me).
As an #OPTIMA research fellow at #Monash University, I generally love research into programming languages & combinatorial optimisation methods.
When I don't have anything to say about work, you may find me posting about my hobbies, such as music, birds, cycling, and cricket, instead.
#introduction #introductions -
#MiniZinc 2.8 has been released. No big new language features, but it does include a lot of improvements to make your life easier:
- #ORTools is now part of the MiniZinc bundle.
- #HiGHS now provides intermediate solutions.
- Experimental support for propagator based meta-search, such as LNS variants.
- Commutative CSE
- Support optional version of global_cardinality, increasing, and count globals.Find more details and many other improvements in the change log: https://www.minizinc.org/doc-2.8.0/en/changelog.html#v2.8.0
-
I'm looking forward to next week's #OPTIMA seminar. Maria is such a great speaker and so passionate about making #optimization applications that find use in industry.
It's open for anyone who's interested: https://optima.org.au/events/optima-seminar-4-october-2023/ -
Academics from the Monash Optimisation group are co-organising a #MAPF competition sponsored by Amazon Robotics. It has decent prizes and you can apply for "training awards" to help with the computational cost of participating: https://www.leagueofrobotrunners.org/
-
Today I’m attending the #OPTIMA graduate researchers conference. It started this morning (very early) with a key note by Jen Martin that got me excited again about science communication. Now we’re continuing with some excellent about the amazing work that the OPTIMA PhD students are doing.
-
We have an opening at #OPTIMA(at the Monash University node) for a fully funded PhD candidate for a project together with ENGIE. If you are interested in a PhD project that applies #optimization in the energy space, then have a look: https://optima.org.au/jobs/phd-opportunity-in-industrial-optimisation/
-
I just learned that tomorrow will be "World Logic Day" tomorrow, and there is a list of events all around the world: https://wld.cipsh.international/wld2023.html
Might be worth a browse if you're interested!
#Logic #WorldLogicDay -
#OPTIMA :optima: just published a new webpage for non-members to access updates about OPTIMA and information about optimisation. You can find it here: https://optima.org.au/pathways-to-optimisation/
-
Hi Mastodon!
I'm a computer scientist working on the #MiniZinc modelling language. The perfect way to model your #optimization / #orms problems. (At least if you you were to ask me).
As an #OPTIMA research fellow at #Monash University, I generally love research into programming languages & combinatorial optimisation methods.
When I don't have anything to say about work, you may find me posting about my hobbies, such as music, birds, cycling, and cricket, instead.
-
Dekker Shifts Court Role to Sidelines with South Carolina
Why did Sam Dekker join the South Carolina basketball staff? Find out how the former pro player will help the Gamecocks improve their team performance.
#samdekker, #gamecocks, #ncaabasketball, #southcarolina, #collegebasketball
https://newsletter.tf/sam-dekker-south-carolina-basketball-coach/
-
Lambert - I Am Not Lambert. Seit der Veröffentlichung des gefeierten, selbstbetitelten Debütalbums im Jahr 2014 steht der Name L......
#DEKKER #Goodwin #KatFrankie #KennyWarren #Lambert #MarieClaireSchlameus #RalphHeidel#Album #PopKlassik
https://www.musikblog.de/2026/05/lambert-i-am-not-lambert/ -
𝗪𝗲𝗲𝗿 𝗘𝗱𝗶𝘀𝗼𝗻 𝘃𝗼𝗼𝗿 𝗥𝗼𝘅𝘆 𝗗𝗲𝗸𝗸𝗲𝗿
Voor het derde achtereenvolgende jaar heeft Roxy Dekker een Edison gewonnen. Na het winnen van de beeldjes voor beste nieuwkomer in 2024 en beste pop in 2025 werd de zangeres maandag opnieuw onderscheiden in de categorie Pop voor haar vorig jaar verschenen succesalbum Mama I Made It.
https://www.rtl.nl/boulevard/artikel/5576162/weer-edison-voor-roxy-dekker
-
Dekker - Tickets zu gewinnen. 17.03.2026 Freiburg – Jazzhaus
18.03.2026 CH-Rubigen – Mühle Hunzigen
19.03.2026 CH-Winterthur – S......
#DEKKER#Gewinnspiel
https://www.musikblog.de/2026/03/dekker-tickets-zu-gewinnen-2/ -
𝗦𝗻𝗼𝘄𝗯𝗼𝗮𝗿𝗱𝘀𝘁𝗲𝗿 𝗗𝗲𝗸𝗸𝗲𝗿 𝘀𝘁𝗿𝗮𝗻𝗱𝘁 𝗼𝗽 𝗦𝗽𝗲𝗹𝗲𝗻 𝗶𝗻 𝗮𝗰𝗵𝘁𝘀𝘁𝗲 𝗳𝗶𝗻𝗮𝗹𝗲
Snowboardster Michelle Dekker is er op de Olympische Spelen niet in geslaagd de kwartfinales op de parallelreuzenslalom te bereiken. De 29-jarige Nederlandse lag in haar achtste finale tegen de Oostenrijkse Sabine Payer lange tijd voorop, maar in het slot van haar race gaf ze die voorsprong in het...
-
𝗦𝗻𝗼𝘄𝗯𝗼𝗮𝗿𝗱𝘀𝘁𝗲𝗿 𝗗𝗲𝗸𝗸𝗲𝗿 𝘀𝘁𝗿𝗮𝗻𝗱𝘁 𝗼𝗽 𝗦𝗽𝗲𝗹𝗲𝗻 𝗶𝗻 𝗮𝗰𝗵𝘁𝘀𝘁𝗲 𝗳𝗶𝗻𝗮𝗹𝗲
Snowboardster Michelle Dekker is er op de Olympische Spelen niet in geslaagd de kwartfinales op de parallelreuzenslalom te bereiken. De 29-jarige Nederlandse lag in haar achtste finale tegen de Oostenrijkse Sabine Payer lange tijd voorop, maar in het slot van haar race gaf ze die voorsprong in het...
-
𝗦𝗻𝗼𝘄𝗯𝗼𝗮𝗿𝗱𝘀𝘁𝗲𝗿 𝗗𝗲𝗸𝗸𝗲𝗿 𝘀𝘁𝗿𝗮𝗻𝗱𝘁 𝗼𝗽 𝗦𝗽𝗲𝗹𝗲𝗻 𝗶𝗻 𝗮𝗰𝗵𝘁𝘀𝘁𝗲 𝗳𝗶𝗻𝗮𝗹𝗲
Snowboardster Michelle Dekker is er op de Olympische Spelen niet in geslaagd de kwartfinales op de parallelreuzenslalom te bereiken. De 29-jarige Nederlandse lag in haar achtste finale tegen de Oostenrijkse Sabine Payer lange tijd voorop, maar in het slot van haar race gaf ze die voorsprong in het...
-
𝗦𝗻𝗼𝘄𝗯𝗼𝗮𝗿𝗱𝘀𝘁𝗲𝗿 𝗗𝗲𝗸𝗸𝗲𝗿 𝘀𝘁𝗿𝗮𝗻𝗱𝘁 𝗼𝗽 𝗦𝗽𝗲𝗹𝗲𝗻 𝗶𝗻 𝗮𝗰𝗵𝘁𝘀𝘁𝗲 𝗳𝗶𝗻𝗮𝗹𝗲
Snowboardster Michelle Dekker is er op de Olympische Spelen niet in geslaagd de kwartfinales op de parallelreuzenslalom te bereiken. De 29-jarige Nederlandse lag in haar achtste finale tegen de Oostenrijkse Sabine Payer lange tijd voorop, maar in het slot van haar race gaf ze die voorsprong in het...
-
𝗦𝗻𝗼𝘄𝗯𝗼𝗮𝗿𝗱𝘀𝘁𝗲𝗿 𝗗𝗲𝗸𝗸𝗲𝗿 𝗻𝗮𝗮𝗿 𝗮𝗰𝗵𝘁𝘀𝘁𝗲 𝗳𝗶𝗻𝗮𝗹𝗲𝘀 𝗼𝗽 𝗽𝗮𝗿𝗮𝗹𝗹𝗲𝗹𝗿𝗲𝘂𝘇𝗲𝗻𝘀𝗹𝗮𝗹𝗼𝗺
Snowboardster Michelle Dekker heeft zich op de Olympische Spelen geplaatst voor de achtste finales op de parallelreuzenslalom. De 29-jarige Nederlandse zette in de twee kwalificatieruns op het Livigno Snow Park tijden neer van 46,22 en 47,41 seconden. Met een totaaltijd van 1.33,63...
-
𝗦𝗻𝗼𝘄𝗯𝗼𝗮𝗿𝗱𝘀𝘁𝗲𝗿 𝗗𝗲𝗸𝗸𝗲𝗿 𝗻𝗮𝗮𝗿 𝗮𝗰𝗵𝘁𝘀𝘁𝗲 𝗳𝗶𝗻𝗮𝗹𝗲𝘀 𝗼𝗽 𝗽𝗮𝗿𝗮𝗹𝗹𝗲𝗹𝗿𝗲𝘂𝘇𝗲𝗻𝘀𝗹𝗮𝗹𝗼𝗺
Snowboardster Michelle Dekker heeft zich op de Olympische Spelen geplaatst voor de achtste finales op de parallelreuzenslalom. De 29-jarige Nederlandse zette in de twee kwalificatieruns op het Livigno Snow Park tijden neer van 46,22 en 47,41 seconden. Met een totaaltijd van 1.33,63...
-
𝗦𝗻𝗼𝘄𝗯𝗼𝗮𝗿𝗱𝘀𝘁𝗲𝗿 𝗗𝗲𝗸𝗸𝗲𝗿 𝗻𝗮𝗮𝗿 𝗮𝗰𝗵𝘁𝘀𝘁𝗲 𝗳𝗶𝗻𝗮𝗹𝗲𝘀 𝗼𝗽 𝗽𝗮𝗿𝗮𝗹𝗹𝗲𝗹𝗿𝗲𝘂𝘇𝗲𝗻𝘀𝗹𝗮𝗹𝗼𝗺
Snowboardster Michelle Dekker heeft zich op de Olympische Spelen geplaatst voor de achtste finales op de parallelreuzenslalom. De 29-jarige Nederlandse zette in de twee kwalificatieruns op het Livigno Snow Park tijden neer van 46,22 en 47,41 seconden. Met een totaaltijd van 1.33,63...
-
𝗦𝗻𝗼𝘄𝗯𝗼𝗮𝗿𝗱𝘀𝘁𝗲𝗿 𝗗𝗲𝗸𝗸𝗲𝗿 𝗻𝗮𝗮𝗿 𝗮𝗰𝗵𝘁𝘀𝘁𝗲 𝗳𝗶𝗻𝗮𝗹𝗲𝘀 𝗼𝗽 𝗽𝗮𝗿𝗮𝗹𝗹𝗲𝗹𝗿𝗲𝘂𝘇𝗲𝗻𝘀𝗹𝗮𝗹𝗼𝗺
Snowboardster Michelle Dekker heeft zich op de Olympische Spelen geplaatst voor de achtste finales op de parallelreuzenslalom. De 29-jarige Nederlandse zette in de twee kwalificatieruns op het Livigno Snow Park tijden neer van 46,22 en 47,41 seconden. Met een totaaltijd van 1.33,63...
-
Die Dekker (die zo leuk kan fietsen) is ook van de VVD, hè, van de partij van liegen en bedriegen. (Huffnagel, die van Logtenberg, weet je nog?)
""Minister Dekker onderhield nauw contact met gokbranche bij legalisering online gokken: ‘Gelukt. Well done!’"
-> "Op 22 januari 2019 appt Frits Huffnagel, voorzitter van branchevereniging VAN Kansspelen, zijn Sander Dekker."
-> "Op 1 oktober 2021 legaliseerde Nederland de markt voor online gokken."
(Via @nrc_nl ) #Dekker
https://www.nrc.nl/nieuws/2025/12/10/minister-dekker-onderhield-nauw-contact-met-gokbranche-bij-legalisering-online-gokken-gelukt-well-done-a4914955 -
Die Dekker (die zo leuk kan fietsen) is ook van de VVD, hè, van de partij van liegen en bedriegen. (Huffnagel, die van Logtenberg, weet je nog?)
""Minister Dekker onderhield nauw contact met gokbranche bij legalisering online gokken: ‘Gelukt. Well done!’"
-> "Op 22 januari 2019 appt Frits Huffnagel, voorzitter van branchevereniging VAN Kansspelen, zijn Sander Dekker."
-> "Op 1 oktober 2021 legaliseerde Nederland de markt voor online gokken."
(Via @nrc_nl ) #Dekker
https://www.nrc.nl/nieuws/2025/12/10/minister-dekker-onderhield-nauw-contact-met-gokbranche-bij-legalisering-online-gokken-gelukt-well-done-a4914955 -
Die Dekker (die zo leuk kan fietsen) is ook van de VVD, hè, van de partij van liegen en bedriegen. (Huffnagel, die van Logtenberg, weet je nog?)
""Minister Dekker onderhield nauw contact met gokbranche bij legalisering online gokken: ‘Gelukt. Well done!’"
-> "Op 22 januari 2019 appt Frits Huffnagel, voorzitter van branchevereniging VAN Kansspelen, zijn Sander Dekker."
-> "Op 1 oktober 2021 legaliseerde Nederland de markt voor online gokken."
(Via @nrc_nl ) #Dekker
https://www.nrc.nl/nieuws/2025/12/10/minister-dekker-onderhield-nauw-contact-met-gokbranche-bij-legalisering-online-gokken-gelukt-well-done-a4914955 -
r.i.p. | happy future travels, Jimmy Cliff
here celebrated by a cover version of his
"Many rivers to cross" by Desmond Dekker
-
r.i.p. | happy future travels, Jimmy Cliff
here celebrated by a cover version of his
"Many rivers to cross" by Desmond Dekker