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=21352796
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 editing in the bibliography, and the…
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) - Concurrency: finding bug in mutual…
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 (where you just generate your formulas…
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 down when you work full-out for months…
> 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 based on oral exams. The way this worked…
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 where all EU legislation still applied.
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 excitement was with Haskell.
Found an accompanying article: https://www.highcaffeinecontent.com/blog/20190522-(Dont-Fear...
This reminds me of an old story about the original development of OS X Aqua in the 90s. At the time they were doing functioning mockups for the Aqua design in Macromedia Director. It was not easy to actually implement…
Ah, you're right. If one goes to x_{i+1}, then there will be 2^i Maybes in the type. The number of Maybe-occurrences in the type doubles in each step and sharing won't help there.
Yes, types are usually represented by a DAG with sharing. OCaml does so, for example, and I assume ghc does something similar. So, while id id has type ('a -> 'a) -> ('a -> 'a), this is stored in memory by a pointer…
With x1 = Just, the program is accepted instantly by ghc. I think you need a type variable to appear twice.
Maybe it's a good idea to add a concrete example (can't edit the reply anymore): OCaml: let x1 = fun y -> (y, y) in let x2 = fun y -> x1 (x1 y) in let x3 = fun y -> x2 (x2 y) in let x4 = fun y -> x3 (x3 y) in let x5 =…
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=21352796
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 editing in the bibliography, and the…
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) - Concurrency: finding bug in mutual…
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 (where you just generate your formulas…
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 down when you work full-out for months…
> 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 based on oral exams. The way this worked…
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 where all EU legislation still applied.
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 excitement was with Haskell.
Found an accompanying article: https://www.highcaffeinecontent.com/blog/20190522-(Dont-Fear...
This reminds me of an old story about the original development of OS X Aqua in the 90s. At the time they were doing functioning mockups for the Aqua design in Macromedia Director. It was not easy to actually implement…
Ah, you're right. If one goes to x_{i+1}, then there will be 2^i Maybes in the type. The number of Maybe-occurrences in the type doubles in each step and sharing won't help there.
Yes, types are usually represented by a DAG with sharing. OCaml does so, for example, and I assume ghc does something similar. So, while id id has type ('a -> 'a) -> ('a -> 'a), this is stored in memory by a pointer…
With x1 = Just, the program is accepted instantly by ghc. I think you need a type variable to appear twice.
Maybe it's a good idea to add a concrete example (can't edit the reply anymore): OCaml: let x1 = fun y -> (y, y) in let x2 = fun y -> x1 (x1 y) in let x3 = fun y -> x2 (x2 y) in let x4 = fun y -> x3 (x3 y) in let x5 =…