more_original

8 ms·

31.
by more_original 10y ago
The quality of reviews is a general problem with the reviewing system. Just think about it: You're very busy with other work, you have many reviews to write, about papers that you're not probably really enthusiastic about, and re
32.
by more_original 10y ago
I wouldn't be so pessimistic about the possibility to produce useful specifications of real-world systems. One recent successful large-scale verification is the CompCert C compiler. The compiler is verified relative to a formal specifi
33.
by more_original 10y ago
This page is 10 years old and is quite outdated. These days, the official OCaml site is quite good: http://ocaml.org/
34.
by more_original 10y ago
These press releases are terrible. It took me quite a while to find the original paper: Optimizing Indirect Memory References with milk http://dl.acm.org/citation.cfm?id=2967948 (seems to be available without paywall)
35.
by more_original 10y ago
These press releases are terrible. It took me quite a while to find the original paper: Optimizing Indirect Memory References with milk http://dl.acm.org/citation.cfm?id=2967948 (seems to be available without paywall)
36.
by more_original 10y ago
In 1998 there was one of the strongest El Nino events. https://en.wikipedia.org/wiki/1997%E2%80%9398_El_Ni%C3%B1o_e... Maybe this made for a sudden increase, rather than a more gradual one.
37.
by more_original 10y ago
No, I do mean formal machines like Turing Machines. Sequential composition of logarithmic space Turing Machines is a standard example for lack of compositionality.
38.
by more_original 10y ago
What he means is that complicated programs can be built from simple parts. In programming languages you can just take simple parts and compose them into a single program. If the simple parts are given by machines, then in general there is n
39.
by more_original 10y ago
Yes, I know! That's the point I'm trying to make. This whole discussion is about MustardTiger's claim that functors in OCaml have the same meaning as Functor in Haskell. While the latter model functors in the category-theoret
40.
by more_original 10y ago
> That is literally the functor. That would be an answer for Haskell (though a proper one would refer to fmap), but it does not work like that in OCaml. You do know some OCaml, right? But if it's so obvious, then you can say how it
41.
by more_original 10y ago
Ok, so you can't (or don't want to) actually back up your claim that OCaml functors have the same meaning as functors in Haskell. Which is to be expected, because it's bogus. I know OCaml fairly well. The reason you can'
42.
by more_original 10y ago
> Yes there is, the functor. What we have is a functor F, which would be defined as in: module F = functor (X: S) -> .... If you have two modules A and B of signature S, then you can form F(A) and F(B) and these are both mo
43.
by more_original 10y ago
Please read up on the ML module system and its origins. http://cs.stackexchange.com/questions/9769/what-is-the-relat... Functors play very different roles in Haskell and OCaml/ML. In Haskell, the Functor clas
44.
by more_original 10y ago
> >In OCaml, “Functor” is a well-defined term with a completely different meaning > No, it has the same meaning. It does not behave identically because the languages do not have identical designs. Functors in Haskell and OCaml are
45.
by more_original 10y ago
Incedentally, OCaml gets some of these right. Record update in constructors is statically checked: type myData = MyData1 of { name : string } | MyData2 of { value : int } let x = MyData1 { name = "hello" } (* *
46.
by more_original 10y ago
One also finds the terms "formal parameter" (for what is called a "parameter" in the article) and "actual parameter" (for what is called the "argument" in the article). https://en.wikipedia
47.
by more_original 10y ago
This reminds me of this culture of cancer cells from a woman who died from cancer in the 50s. The cancer is still alive in laboratories today and there were even proposals to classify it as a new species: https://en.wikipedia.org
48.
by more_original 10y ago
Looks like it's currently using the Boehm–Demers–Weiser conservative garbage collector. In scala-native/rtlib/src/main/resources/rt.cpp it includes gc.h and allocates memory using GC_malloc, i.e. not in precis
49.
by more_original 11y ago
In 2007 they introduced a unique tax number for every natural person. In fact, assigning these numbers was complicated by the fact that there is no central registration data base. They started from all the local data bases and then filtered
50.
by more_original 11y ago
Here is a source on Wikipedia: https://en.wikipedia.org/wiki/Resident_registration#Germany "Unlike common belief there is no central administration — except for foreigners (see Central Register of Foreign National
51.
by more_original 11y ago
Interesting. In Germany this database does not even exist. Each town keeps its own data and they are not connected. I think the reason for this are the evil uses of data bases by the Gestapo during Nazi times.
52.
by more_original 11y ago
> 2. start gaining momentum (e.g. why should I use Linux, when on Windows I can run both Linux and Windows applications) Remember OS/2 2.x? It could run Windows 3.x binaries, including GUI programs. The result was that noone wrote p
53.
by more_original 11y ago
How do you read "The computer itself was developed at a research institute outside Moscow" to mean anything other than that the computer was developed in Russia?
54.
by more_original 11y ago
This is the first I hear about the Robotron 1715 being developed in Russia. All other sources I can find say that it was developed and built in Eastern Germany (Robotron was an Eastern German company that developed a number of computers in
55.
by more_original 11y ago
Perl's regex engine must use something stronger than plain NFAs. The expressive power of NFAs and DFAs is exactly the same. They both recognize the regular languages, which is less than what can be expressed with Perl "regular exp
56.
by more_original 11y ago
In Germany it's mandatory for children to ride on the sidewalk. But for an adult accompanying the child, it is illegal to ride on the sidewalk.
57.
by more_original 11y ago
One technical reason that makes me prefer OCaml to Haskell is Haskell's weak module system. I think there should be a good way to parameterize one module over another module (interface) and to use different instantiations of the module
58.
by more_original 11y ago
Yes, because I really didn't want an FB account (closed it since). There were even doubts about the legality of Spotify requiring an FB account in Germany: http://www.noz.de/artikel/61551360/datenschuetzer-kr
59.
by more_original 11y ago
It used to require a facebook account initially (at least here in Germany, right after the launch). I had to create a one in order to open a Spotify account. The option to register using an e-mail address was added later and I migrated my a
60.
by more_original 11y ago
For cycling in an area one doesn't know, the Strava heatmap is also quite useful. It shows the routes that other cyclists take and can be helpful in finding good cycleable routes. http://labs.strava.com/heatmap

More ›