Hacker News: comonoid

New comment by comonoid in "Formal methods and the future of programming"

comonoid — Sun, 14 Jun 2026 19:11:21 +0000

The book "Program = Proof" by Samuel Mimram starts with a formula which is true for all n below

n = 15 341 178 777 673 149 429 167 740 440 969 249 338 310 889

I don't think you can catch it with any test suite.

New comment by comonoid in "EU Parliamentary Research Service calls VPNs "a loophole that needs closing""

comonoid — Tue, 12 May 2026 23:26:08 +0000

English is not my native language, but I believe "attributed" does imply unverifiability. Otherwise other word is used.

New comment by comonoid in "Software engineering may no longer be a lifetime career"

comonoid — Mon, 11 May 2026 18:48:53 +0000

From Reddit:

> After being laid off, a programmer becomes a welder. One day while working, he suddenly muttered to himself, "It's been so long, I've even forgotten how to solve three sum". A coworker next to him quietly replied, "Two pointers".

New comment by comonoid in "Replacing a 3 GB SQLite db with a 10 MB FST (finite state transducer) binary"

comonoid — Sun, 10 May 2026 15:35:34 +0000

I don't know about Japanese, but to Turkish definitely can.

New comment by comonoid in "EU Parliamentary Research Service calls VPNs "a loophole that needs closing""

comonoid — Sun, 10 May 2026 14:40:29 +0000

True.

New comment by comonoid in "EU Parliamentary Research Service calls VPNs "a loophole that needs closing""

comonoid — Sun, 10 May 2026 07:53:06 +0000

8. 2026 White-list mode is occasionally enforced.

New comment by comonoid in "EU Parliamentary Research Service calls VPNs "a loophole that needs closing""

comonoid — Sun, 10 May 2026 07:47:58 +0000

"If you are not in prison yet, it is not your merit, but our failure." -- attributed to Felix Dzerzhinsky.

Upd: are they able to use VPN when the Internet is in so-called "white-list mode" where only certain websites are available?

New comment by comonoid in "HERMES.md in commit messages causes requests to route to extra usage billing"

comonoid — Thu, 30 Apr 2026 05:51:59 +0000

Read it aloud with GLADOS voice.

New comment by comonoid in "Who owns the code Claude Code wrote?"

comonoid — Wed, 29 Apr 2026 07:41:23 +0000

I wonder when my manager "prompts" me "I want the feature X and I want it fast", is his prompt a human creativity?

New comment by comonoid in "US asked Ukraine for help fighting Iranian drones, Zelensky says"

comonoid — Fri, 06 Mar 2026 18:17:12 +0000

But you do.

New comment by comonoid in "US asked Ukraine for help fighting Iranian drones, Zelensky says"

comonoid — Thu, 05 Mar 2026 21:47:30 +0000

Ukraine should request strong cards in exchange.

New comment by comonoid in "How to fold the Blade Runner origami unicorn (1996)"

comonoid — Wed, 25 Feb 2026 21:43:22 +0000

"Diagrammed by Kenneth Thompson". The name sounds familiar...

New comment by comonoid in "Show HN: Algorithmically finding the longest line of sight on Earth"

comonoid — Mon, 09 Feb 2026 15:38:14 +0000

I've seen Mallorca from the Tibidabo mountain in Barcelona (the website states it is 194km). It required number of attempts for perfect atmosphere.

This is an independent observation from the Fabra Observatory: https://english.elpais.com/elpais/2015/03/03/inenglish/14253...

New comment by comonoid in "Antirender: remove the glossy shine on architectural renderings"

comonoid — Sun, 01 Feb 2026 13:37:47 +0000

It seems you haven't been to Moscow for the last 20 years. With all the oil money + cheap workforce it looks much better than EU capitals.

It is rather Novosibirsk.

New comment by comonoid in "De-dollarization: Is the US dollar losing its dominance? (2025)"

comonoid — Tue, 27 Jan 2026 20:47:56 +0000

Propaganda never sleeps.

New comment by comonoid in "France Aiming to Replace Zoom, Google Meet, Microsoft Teams, etc."

comonoid — Mon, 26 Jan 2026 20:55:07 +0000

Switching gas providers is more difficult than switching from Zoom to Google Meet or other alternative.

New comment by comonoid in "De-dollarization: Is the US dollar losing its dominance? (2025)"

comonoid — Tue, 20 Jan 2026 19:06:59 +0000

... such as usa?

New comment by comonoid in "There's a ridiculous amount of tech in a disposable vape"

comonoid — Wed, 14 Jan 2026 10:41:11 +0000

God bless these horrible devices are not disposed in billions every day as bottles are!

New comment by comonoid in "V8 Garbage Collector"

comonoid — Fri, 14 Nov 2025 13:00:46 +0000

FTE is a TLA.

New comment by comonoid in "Yt-dlp: External JavaScript runtime now required for full YouTube support"

comonoid — Thu, 13 Nov 2025 12:24:14 +0000

Can QuickJS be compiled to WASM and executed in WASM sandbox?