Hacker News: zorobo

New comment by zorobo in "Lisette a little language inspired by Rust that compiles to Go"

zorobo — Sun, 05 Apr 2026 10:01:09 +0000

For example, multicore OCaml is not free of race conditions. The GC, while super efficient (pauses are in the milliseconds), is not suitable for hard realtime.

Still, where absolute max performance or realtime are not required, I'd choose OCaml as it is elegant & a pleasure to code in (personal opinion, ymmv).

New comment by zorobo in "F-15E jet shot down over Iran"

zorobo — Sat, 04 Apr 2026 08:33:52 +0000

Taiwan people have not been risking their lives trying to escape to join PRC.

New comment by zorobo in "A new C++ back end for ocamlc"

zorobo — Thu, 02 Apr 2026 01:37:09 +0000

This made my day, thank you!

New comment by zorobo in "NASA Artemis II moon mission live launch broadcast"

zorobo — Wed, 01 Apr 2026 19:46:36 +0000

> The odds are worse if you spin each time.

How do they get worse if you spin? It’s still 1/6 odds of dying,iid events.

New comment by zorobo in "God, I hate .env files"

zorobo — Tue, 24 Mar 2026 21:51:12 +0000

`.envrc` by default

New comment by zorobo in "Chuck Norris has died"

zorobo — Fri, 20 Mar 2026 22:14:07 +0000

Still 986 years to go!

New comment by zorobo in "Ada 2022"

zorobo — Fri, 06 Mar 2026 21:36:58 +0000

I’d rather fly in an airplane with a system coded in Ada/Spark rather than Python ¯\_(ツ)_/¯

New comment by zorobo in "Show HN: Echo, an iOS SSH+mosh client built on Ghostty"

zorobo — Wed, 18 Feb 2026 22:04:59 +0000

I will give it a spin on my Apple Vision Pro. Have been trying ttyd, which could really be great as is it browser based and hence I can have as many windows as I want, but a safari bug on iOS/ipados/visionos is a showstopper: specifically, safari sends keycode 13 events (enter key) when pressing ctrl-c on a hardware keyboard. So emacs, interrupting fg processes etc are problematic.

I’ll submit a pr to xterm.js for a workaround.

New comment by zorobo in "C isn't a programming language anymore (2022)"

zorobo — Fri, 06 Feb 2026 03:55:54 +0000

OCaml was used for rust.

New comment by zorobo in "Israel tells Doctors Without Borders to end its work in Gaza"

zorobo — Fri, 09 Jan 2026 08:58:23 +0000

This is hacker news. Why not post this on other forums where it won’t be flagged?

New comment by zorobo in "Meditation as Wakeful Relaxation: Unclenching Smooth Muscle"

zorobo — Wed, 07 Jan 2026 22:30:47 +0000

Like, praying? Or maybe one feels good after sincere prayers, perhaps…

New comment by zorobo in "100k-Watt Iron Beam laser becomes first to be operationally deployed"

zorobo — Wed, 31 Dec 2025 11:07:46 +0000

More tech details at https://en.wikipedia.org/wiki/Iron_Beam

New comment by zorobo in "What Happened to Abit Motherboards"

zorobo — Tue, 30 Dec 2025 17:56:26 +0000

Ah, I kept that BP6 for 10 years before selling it. It meant I could write multithreaded concurrent software and run it at home with LinuxThreads (https://en.wikipedia.org/wiki/LinuxThreads) then NPTL (native Posix threading lib).

Mine was not very stable under even moderate overclocking though!

Good times!

New comment by zorobo in "Several core problems with Rust"

zorobo — Mon, 24 Nov 2025 19:35:27 +0000

Partly; OCaml does not, in the general case, generate code for a function for each boxed data type it is called with, for example. This, and the fact that the compiler does not optimize extensively, makes for fast compilation. The code still runs fast, especially for a language with gc.

New comment by zorobo in "Foods that make you smell more attractive"

zorobo — Mon, 03 Nov 2025 02:33:51 +0000

I love cumin (the spice) but stopped having it as it makes my sweat smell bad.

New comment by zorobo in "Show HN: Cuq – Formal Verification of Rust GPU Kernels"

zorobo — Thu, 23 Oct 2025 10:24:37 +0000

It is legitimate indeed, and a nod to its creator T. Coquand, but better avoid recurring, useless discussions so better change the name. The funny (for some), quirky jokes get quickly old anyway.

They also renamed NIPS -> NeurIPS conference, even though the name sounds less subject to jokes.

New comment by zorobo in "Analytical review of depression and suicidality from finasteride"

zorobo — Tue, 07 Oct 2025 03:41:30 +0000

Tried finasteride and my sleep quality was altered ; vivid nightmares and tremors in my legs that would wake me up. I stopped taking it and those disappeared. Fwiw.

New comment by zorobo in "Homeowner baffled after washing machine uses 3.6GB of internet data a day (2024)"

zorobo — Thu, 25 Sep 2025 16:22:06 +0000

When our oven gave up the ghost last year, I bought one with WiFi connection. Installed it, then discovered that the smartphone app that goes with it is horrid, borderline unusable; moreover, oven programs (pizza/cake etc.) are only available on the app. Finally, when WiFi is on, the oven cannot be operated through its front panel.

We are left to using it in the most basic way, with its capacitive touch buttons, a downgrade from the previous oven…

Also, its interior lighting is on when door closed, but shuts off when we open the door. Who designs such things?

New comment by zorobo in "Europe's EV sales surge 26% in 2025 while Tesla faces decline"

zorobo — Tue, 23 Sep 2025 13:11:12 +0000

No it's 2035. Industry actors are fighting hard to postpone or allow for more flexibility. -> https://www.radiofrance.fr/franceculture/podcasts/culture-de...

New comment by zorobo in "Europe's EV sales surge 26% in 2025 while Tesla faces decline"

zorobo — Tue, 23 Sep 2025 12:39:04 +0000

> Surprisingly, BEVs are _more_ visible in the country side (where many smaller models make complete sense as a "second car" for a household that needs to drop kids at school, get the groceries, etc...) than in cities. Never mind.

Not that surprising; countryside folks own houses and can charge at home for cheap, while city dwellers generally can't and have to use overpriced, inconvenient public charging.