user2342

6 ms·

1.
by user2342 2mo ago
Interesting! What are Bonsai's dependencies? I use OCaml but - so far - none of Janestreets libraries etc.
2.
by user2342 4mo ago
> For example, clang defines __GNUC__=4 (and __GNUC_MINOR__=2, __GNUC_PATCHLEVEL__=1) to claim compatibility with GCC 4.2.1. Is this because Apple at some point stopped updating GCC because of the GPL license change? I think GCC 4.2.x wa
3.
by user2342 9mo ago
I fully agree with the article, but the snow effect on the site is more distracting to readability than the shitty menu icons in Tahoe...
4.
by user2342 9mo ago
It's there, but yes the home page is very confusing. I lost interest very fast.
5.
by user2342 2y ago
Weak arguments in the article with badly chosen examples. If one wanted to criticize OCaml syntax, the need for .mli-files (with different syntax for function signatures) and the rather clunky module/signature syntax would be better ca
6.
by user2342 2y ago
Thanks. Looks promising!
7.
by user2342 2y ago
Rather for the classic 3x3x3 cube. I played with it in the 80ies, but never understood the concepts behind it.
8.
by user2342 2y ago
Are there recommendable sources on how to learn solving/the concepts of a classic cube?
9.
by user2342 2y ago
Perhaps a helpful addition: I collected my change money over several years (about 9kg in total, mostly lower valued coins, since the higher values can be spent easily). After exchanging them on a bank into useful money: the average Euro coi
10.
by user2342 2y ago
Yes, that was my first thought too. The concept is similar. Get rid if the source-files and put every function/method in its own "editor". However, as far as I remember navigation to/from callers was not possible in Smal
11.
by user2342 2y ago
I'm using Sublime Text since shortly before 2.0 and Sublime Merge since day one. Yet, I'm slowly losing interest in ST because of lacking language integrations and probably won't do any future paid upgrades. However, Sublime
12.
by user2342 2y ago
> My understanding is that the primary purpose of CompCert is to make formally verified code that is extracted into C also get compiled by a compiler that is formally verified to preserve the intended semantics. Thats my understanding to
13.
by user2342 2y ago
They may work as expected (and probably will), but they are not covered by the proof.
14.
by user2342 2y ago
Yes, I know, I mentioned the extraction. My question was whether it can help detecting translation errors from the first step.
15.
by user2342 2y ago
In case of coq-to-ocaml: is it feasible to do an extraction to OCaml on the translated code and compare it with the original?
16.
by user2342 2y ago
I'm not fluent in Swift and async, but the line: for try await byte in bytes { ... } for me reads like the time/delta is determined for every single byte received over the network. I.e. millions of times for megabytes sen
17.
by user2342 2y ago
> By the end of the 80s, there were really only four major computer lines in the US. You had PCs (and their clones, of which there were many), Apple Macintosh, Commodore Amiga and Atari ST. For a short while there was also NeXT, but even
18.
by user2342 2y ago
Ah, now I see. Thx.
19.
by user2342 2y ago
That was also my first thought after looking at the examples.
20.
by user2342 2y ago
I'm confused by this blog-post. In the table: what is the reg-ex pattern tested and against which input?
21.
by user2342 3y ago
Some time ago we did a blind tasting of various colas (commercial, bottled, among the candidates were the typical brands). Our simple result was, that there is a direct correlation between tastiness and the declared amount of sugar content.
22.
by user2342 3y ago
4% is tremendous for Linux. However, If I look at the data for the recent month, OSX was 21% in November and now roughly at 16% - as it was at the beginning of 2023. What I want to say is: this data seems to be very volatile. I doubt, that
23.
by user2342 3y ago
"Please don’t try to print it." :-)
24.
by user2342 3y ago
Did Takata produce any Airbags, that don't need replacement?
25.
by user2342 3y ago
It would be cool, if Apple extended this (or a similar new scheme) worldwide. Then it would be possible to rigorously throw out all garbage and badly implemented Apps from its own store, i.e. make it real shiny quality. Any rejected develop
26.
by user2342 3y ago
Is the "Core Technology Fee" applied to free Apps? Example: I make a free App that gets very popular but has a rather seasonal character. Then there is a possibility, that many users will reinstall the App each year for a short ti
27.
by user2342 3y ago
Can anybody explain: do the possibilities of alternate distribution modes and fees (optionally) apply to all developers worldwide or only to EU based developers? I.e. is it developer based or App based? And furthermore, I - as an EU based d
28.
by user2342 3y ago
> I don't buy their take that the safety issues are because Android Auto and CarPlay are buggy and have connection issues ... Ack. From my experience, connection issues with Car Play are 100% due to the shitty software on the car&#x
29.
by user2342 3y ago
Unfortunately, yes... ;-)
30.
by user2342 3y ago
> How many residential appliances benefit from three phase, and is the benefit outweighed by the additional cost of more copper for the additional wires? Three phase wiring is so ubiquitous here, there is nearly no additional cost.

More ›