Hacker News: user2342

New comment by user2342 in "Bonsai: Janestreet's UI Library"

user2342 — Mon, 03 Aug 2026 13:19:54 +0000

Interesting! What are Bonsai's dependencies? I use OCaml but - so far - none of Janestreets libraries etc.

New comment by user2342 in "C extensions, portability, and alternative compilers"

user2342 — Tue, 26 May 2026 08:24:07 +0000

> 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 was the last GCC licensed under GPLv2. Could be for compatibility reasons for Mac software.

New comment by user2342 in "It's hard to justify Tahoe icons"

user2342 — Mon, 05 Jan 2026 18:06:31 +0000

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...

New comment by user2342 in "The Nova Programming Language"

user2342 — Mon, 08 Dec 2025 19:41:34 +0000

It's there, but yes the home page is very confusing. I lost interest very fast.

New comment by user2342 in "OCaml Syntax Sucks (2016)"

user2342 — Mon, 25 Nov 2024 06:42:15 +0000

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 candidates.

New comment by user2342 in "34x34x34 Rubik's Cube"

user2342 — Fri, 01 Nov 2024 12:34:34 +0000

Thanks. Looks promising!

New comment by user2342 in "34x34x34 Rubik's Cube"

user2342 — Fri, 01 Nov 2024 12:33:59 +0000

Rather for the classic 3x3x3 cube. I played with it in the 80ies, but never understood the concepts behind it.

New comment by user2342 in "34x34x34 Rubik's Cube"

user2342 — Fri, 01 Nov 2024 12:18:44 +0000

Are there recommendable sources on how to learn solving/the concepts of a classic cube?

New comment by user2342 in "Using Euro coins as weights (2004)"

user2342 — Mon, 21 Oct 2024 07:36:30 +0000

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 coin weights about 3.6 grams and has an average value of 7 cents. :-)

New comment by user2342 in "Show HN: Haystack – an IDE for exploring and editing code on an infinite canvas"

user2342 — Fri, 26 Jul 2024 07:19:40 +0000

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 Smalltalk.

New comment by user2342 in "Sublime Merge"

user2342 — Wed, 03 Jul 2024 10:18:59 +0000

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 Merge is still essential for me and a no-brainer.

New comment by user2342 in "The CompCert C Compiler"

user2342 — Mon, 27 May 2024 11:43:36 +0000

> 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 too. Code is written in high level systems generating C as output. C becomes rather an implementation detail in a hopefully, more or less completely verified tool chain.

New comment by user2342 in "The CompCert C Compiler"

user2342 — Mon, 27 May 2024 11:11:59 +0000

They may work as expected (and probably will), but they are not covered by the proof.

New comment by user2342 in "Translation of Rust's core and alloc crates to Coq for formal verification"

user2342 — Wed, 15 May 2024 10:57:49 +0000

Yes, I know, I mentioned the extraction.

My question was whether it can help detecting translation errors from the first step.

New comment by user2342 in "Translation of Rust's core and alloc crates to Coq for formal verification"

user2342 — Wed, 15 May 2024 08:58:54 +0000

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?

New comment by user2342 in "Swift's native Clocks are inefficient"

user2342 — Mon, 06 May 2024 12:49:07 +0000

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 sent. Isn't that a point for optimization or do I misunderstand the semantics of the code?

New comment by user2342 in "Atari Falcon030"

user2342 — Fri, 22 Mar 2024 16:19:44 +0000

> 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 with its big promises, great innovations and charismatic leader it didn’t survive as a hardware platform.

I rather see NeXT as a competitor in the market for Unix Workstations (Sun, HP, SGI, ...) and not as a competitor to the four mentioned (consumer) lines.

New comment by user2342 in "Cwerg: C-like language that can be implemented in 10kLOC"

user2342 — Fri, 22 Mar 2024 16:14:39 +0000

Ah, now I see. Thx.

New comment by user2342 in "Cwerg: C-like language that can be implemented in 10kLOC"

user2342 — Fri, 22 Mar 2024 16:13:50 +0000

That was also my first thought after looking at the examples.

New comment by user2342 in "Regex character "$" doesn't mean "end-of-string""

user2342 — Wed, 20 Mar 2024 08:46:44 +0000

I'm confused by this blog-post. In the table: what is the reg-ex pattern tested and against which input?