Jip J. Dekker

30 Followers
207 Following
277 Posts
OPTIMA Research Fellow working on Programming Languages & Optimization at Monash University, Melbourne, Australia. A developer of the MiniZinc language .
Apart from work, I also post about music, birds, cycling, cricket, and other things I like.
(Searchable)
Pronounshe/him
LanguageEnglish & Nederlands
Websitehttps://dekker.one
ORCIDhttps://orcid.org/0000-0002-0053-6724

#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

MiniZinc Change Log β€” The MiniZinc Handbook 2.8.5

I recently heard about this novel in which Schrodinger's cat and Pavlov's dog team up for an epic adventure, so I went down to my local library to see if they had a copy

The librarian said that my description of the book rang a bell but she wasn't sure if it was there or not ...

A bit of an unofficial post-mortem on #Optus #outage yesterday (please BOOST for visibility!) I have no insider knowledge, all I can do is look at what Optus's networking gear told the rest of the world through #BGP, and make some informed guesses based on that.

The problem yesterday started at about 4am, when Optus told the world 'I no longer have any internet connectivity', and 'Do not send any internet traffic to me, at all'. The technical description is that they withdrew ALL of their routes from the #DFZ (Which is "The Internet", as seen by all the core routers that ACTUALLY control the internet).

However, as a precursor at about 3am there was a hint that things weren't perfect, as there was a flurry of changes from Optus to the outside world saying, roughly, 'Something has changed inside my network, but you can still keep sending me stuff'.

Now, as two final bits of possibly relevant information, the default for maximum-prefix on #Cisco #ASR9000 is 1048576 (this number is 'the number of routes that can be accepted by this router'), and MOST IMPORTANTLY the DFZ ("the internet") has about 980,000 routes in it at the moment. That's only 90k odd routes LESS than the default maximum.

I'd be amazed if Optus has less than 100k internal routes that aren't visible to the internet, but are visible internally.

So here's what I think happened. The at 3am, the first core #router was upgraded, and a new config was put in place. This did not join the network correctly, and things were half broken. What SHOULD have happened is that all the changes should have stopped, and either rolled back, or waited for further investigation (the cause being that more than 1mil routes were visible, causing it to shut down)

However, someone decided 'Well, maybe if we upgrade the SECOND one, that'll fix the first one' at 4am. That broke the SECOND one, and took Optus completely off the internet.

(Continued, see next for why this is far worse than it should have been)

Dunno about you, but an everyday dose of nature is what I need right now! And the #aussiebirdcount starts today!

It's easy to take part - download the app, watch for 20 minutes, count any birds...
Repeat as needed.
Like medicine.
πŸͺΆπŸŒΏπŸ¦πŸ’ŠπŸ¦œπŸŒπŸ§ͺ
https://aussiebirdcount.org.au/

Aussie Bird Count

Celebrate National Bird Week by taking part in the biggest citizen science project to hit Aussie shores. Join thousands of people from across the country, heading out into their backyards, local parks or favourite open spaces to take part in the Aussie Bird Count.

Aussie Bird Count

The thing about arithmetic is that computers are good at it. The point is to figure out what is the good arithmetic to tell the computers to do.

School mathematics has not caught up with this fact. It trains people to do computer-replaceable things, and actively disables the parts of brains that explore.

I don't blame the teachers: I blame the testers.

We just had dinner at Serai in Melbourne CBD, and had a great experience. The food was outstanding!
Since it wasn't easy to get into it probably doesn't need it, but I would highly recommend it if you have the chance to go eat there.

#melbourne #serai

Keeping our dogs nice and snug on another cold Melbourne morning.

#dogsofmastodon #dogs #Melbourne

*Edit:*

I want to express my thanks and appreciation for all the boosts and comments! I had no idea this would get spread so widely, and I'm humbled by the support.

I'll reply to this post with the plan that I have for the next session.

Original post below...

I'm volunteering at my daughter's elementary school by teaching a "coding club" for 5th graders during their lunch and afternoon recess.

It mostly went great, except I left nearly in tears...

One of the kiddos that joined is blind, and I discovered that the coding programs for kids don't appear to be accessible *at all*.

First we tried Swift Playgrounds, but that didn't seem to work with VoiceOver. Then, he said that he's liked ScratchJr. in the past, and he got frustrated with that because he couldn't get his cat to move.

I'm kinda at a loss for how to help him. He left crying because he thinks that he can't get it, but I'm sure he can. Does anyone have any advice?

Thanks!!

#coding #swiftplayground #blind #accessibility #apple #ipad

A serious question: industries that are reasonably described as necessary to the function of society, but who are no longer for whatever reason engaging the kind of competition that is assumed to keep prices down for their customers - why should they not be nationalized?

Also, the new wallpapers included in macOS are really cool. After just swimming with humpback whales, it wasn't hard to find the one I'll use first!

(Maybe not as beautiful as the wallpaper shot by a professional, but attached is a picture from our adventure).

#whale #humpback #photography