Viewing profile — lower

There were actually localized version of Visual Basic for Applications. https://de.wikipedia.org/wiki/Visual_Basic_for_Applications?... https://news.ycombinator.com/item?id=2135279…

The shop has the 12 available replacement parts: https://shop.fairphone.com/shop/category/spare-parts-4?categ...

I've spent so much time for pointless reformatting. With Springer LNCS it's often that you have to work really hard to cram everything into the page limit. Then Springer does some …

We've had various examples like these: - Puzzles: Sudoku, St8ts - Bridge crossing: Missionaries and cannibals, 17 minute bridge crossing (I need a computer to solve this anyway) - …

I used to teach formal methods at university, including a course with a lot of SAT examples. We tried to make it as practical as possible, with many examples and exercises in Java …

Yeah, but then you have: It seems like every week or two this year, another crisis presented itself, each manageable in isolation. I've had this happen and it really grinds you dow…

> But the professor said he'd never do it again because 30 minutes * 30ish students was too much work. The old German Diplom system (replaced by BSc/MSc about 15 years ago) was bas…

There exist only two kinds of modern mathematics books: ones which you cannot read beyond the first page and ones which you cannot read beyond the first sentence. -- Chen Ning Yang…

It's interesting that OCaml's syntactic quirks go back to Edinburgh ML. I had never known about this bit of history.

~/Repos of course

It's the Holy Roman Empire of modern times.

The crisis is having an impact on science funding in general: https://www.universityworldnews.com/post.php?story=202207262...

EU legislation applied in the UK until the end of 2020. The UK's withdrawal agreement was finalized in January 2020, and there was a transition period until the end of the year whe…

Not within the EU. There is EU legislation requiring the costs within the EU to be that same as at home. https://europa.eu/youreurope/citizens/consumers/internet-tel...

Hitler learns topology: https://www.youtube.com/watch?v=SyD4p8_y8Kw

Also check out Ipe: https://en.wikipedia.org/wiki/Ipe_(software)

Imagine what they could save by disabling autoplay.

"And the launch date for the first manned Mars expedition? Maybe 1986 wouldn't be a bad year, from all angles."

I remember looking at Clean at the time when Haskell98 was new. It had uniqueness types at the time and this seemed really cool for efficient destructive updates. But all the excit…

Found an accompanying article: https://www.highcaffeinecontent.com/blog/20190522-(Dont-Fear...