lower

16 ms·

1.
by lower 11mo ago
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
2.
by lower 1y ago
The shop has the 12 available replacement parts: https://shop.fairphone.com/shop/category/spare-parts-4?categ...
3.
by lower 3y ago
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 article then
4.
by lower 3y ago
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 exclusion algorithm
5.
by lower 3y ago
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 and call a solve meth
6.
by lower 3y ago
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 and, just when you
7.
by lower 3y ago
> 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 was
8.
by lower 4y ago
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
9.
by lower 4y ago
It's interesting that OCaml's syntactic quirks go back to Edinburgh ML. I had never known about this bit of history.
10.
by lower 4y ago
~/Repos of course
11.
by lower 4y ago
It's the Holy Roman Empire of modern times.
12.
by lower 4y ago
The crisis is having an impact on science funding in general: https://www.universityworldnews.com/post.php?story=202207262...
13.
by lower 4y ago
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.
14.
by lower 4y ago
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...
15.
by lower 4y ago
Hitler learns topology: https://www.youtube.com/watch?v=SyD4p8_y8Kw
16.
by lower 4y ago
Also check out Ipe: https://en.wikipedia.org/wiki/Ipe_(software)
17.
by lower 4y ago
Imagine what they could save by disabling autoplay.
18.
by lower 5y ago
"And the launch date for the first manned Mars expedition? Maybe 1986 wouldn't be a bad year, from all angles."
19.
by lower 5y ago
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.
20.
by lower 5y ago
Found an accompanying article: https://www.highcaffeinecontent.com/blog/20190522-(Dont-Fear...
21.
by lower 5y ago
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 the UI with the availa
22.
by lower 5y ago
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.
23.
by lower 5y ago
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 po
24.
by lower 5y ago
With x1 = Just, the program is accepted instantly by ghc. I think you need a type variable to appear twice.
25.
by lower 5y ago
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
26.
by lower 5y ago
For languages with Hindley-Milner typing, like SML and OCaml, it has long been known that type-checking is even worse in the worst case (DEXPTIME hard) [1]. But the programs where this matters aren't what one would write by hand, typic
27.
by lower 5y ago
> If you want to see a POV test drive in a Trabant, here's a video: https://www.youtube.com/watch?v=zzEPWttWVlk One thing to note is that this is a Trabant 1.1 not a 601. The 1.1 was produced only from 1990 to 1991
28.
by lower 5y ago
I don't really understand the rationale either, but it's easy to add a hot bottom edge with this extension: https://extensions.gnome.org/extension/4222/hot-edge/
29.
by lower 5y ago
> She added, “There’s really no evidence that anyone has ever gotten Covid-19 by touching a contaminated surface.” This reminds me of "Rubbish bin the likely source of Covid infection": https://www.rnz.co.nz/new
30.
by lower 6y ago
You mean they've been short-selling gorillas?

More ›