Hacker News: zorobo

New comment by zorobo in "US and Iran agree to provisional ceasefire"

zorobo — Wed, 08 Apr 2026 20:45:33 +0000

Takeover of half of Papua New Guinea, now called irian Jaya. Transmigration, that is, moving Java people there and to Borneo (Kalimantan)in order to flood local populations with Malays.

But this did not make the news that much. Not that interesting I guess…

New comment by zorobo in "US and Iran agree to provisional ceasefire"

zorobo — Wed, 08 Apr 2026 16:14:38 +0000

In the 75 years of their existence it seems like they suck at expansion.

They should take a page from Indonesia’s book for example. Or turkey.

New comment by zorobo in "81yo Dodgers fan can no longer get tickets because he doesn't have a smartphone"

zorobo — Tue, 07 Apr 2026 01:53:36 +0000

Iga Swiatek (the tennis player) was denied entry in the player area for her own match. Situation was quickly resolved.

I doubt VIPs go through the same entrance, lines and checks as regular folks.

Yes that older dude should have been treated as VIP.

New comment by zorobo in "81yo Dodgers fan can no longer get tickets because he doesn't have a smartphone"

zorobo — Tue, 07 Apr 2026 01:44:10 +0000

My dad never learnt how to use our VCR. When VCRs went the way of the dodo, he felt vindicated.

Same with the DVD player.

Now, at 94, he’s on Netflix, no problem.

He has a flip phone.

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.