comonoid
Re:After wearing the Pebble Time 2 for two weeks, I'll never buy anoth...
on Friday July 17, 2026 @09:19AM (#48947070)
Pebble is too feature overloaded, I prefer a ring.
Re:Formal Methods and the Future of Programming
on Sunday June 14, 2026 @03:11PM (#48531406)
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.
Re:EU calls VPNs "a loophole that needs closing" in age verification push
on Tuesday May 12, 2026 @07:26PM (#48115904)
English is not my native language, but I believe "attributed" does imply unverifiability. Otherwise other word is used.
Re:Software engineering may no longer be a lifetime career
on Monday May 11, 2026 @02:48PM (#48099068)
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".
Re:Replacing a 3 GB SQLite db with a 10 MB FST (finite state transduce...
on Sunday May 10, 2026 @11:35AM (#48084796)
I don't know about Japanese, but to Turkish definitely can.
Re:EU calls VPNs "a loophole that needs closing" in age verification push
on Sunday May 10, 2026 @10:40AM (#48084373)
True.
Re:EU calls VPNs "a loophole that needs closing" in age verification push
on Sunday May 10, 2026 @03:53AM (#48081899)
8. 2026 White-list mode is occasionally enforced.
Re:EU calls VPNs "a loophole that needs closing" in age verification push
on Sunday May 10, 2026 @03:47AM (#48081882)
"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?
Re:HERMES.md: Anthropic bug causes $200 extra charge, refuses refund
on Thursday April 30, 2026 @01:51AM (#47958652)
Read it aloud with GLADOS voice.
Re:Who owns the code Claude Code wrote?
on Wednesday April 29, 2026 @03:41AM (#47945255)
I wonder when my manager "prompts" me "I want the feature X and I want it fast", is his prompt a human creativity?
Re:US asked Ukraine for help fighting Iranian drones, Zelensky says
on Friday March 06, 2026 @01:17PM (#47278835)
But you do.
Re:US asked Ukraine for help fighting Iranian drones, Zelensky says
on Thursday March 05, 2026 @04:47PM (#47267756)
Ukraine should request strong cards in exchange.
Re:How to fold the Blade Runner origami unicorn (1996)
on Wednesday February 25, 2026 @04:43PM (#47158352)
"Diagrammed by Kenneth Thompson". The name sounds familiar...
Re:Show HN: Algorithmically Finding the Longest Line of Sight on Earth
on Monday February 09, 2026 @10:38AM (#46946384)
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...
Re:Antirender: remove the glossy shine on architectural renderings
on Sunday February 01, 2026 @08:37AM (#46846133)
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.
Re:De-dollarization: Is the US dollar losing its dominance?
on Tuesday January 27, 2026 @03:47PM (#46786406)
Propaganda never sleeps.
Re:France Aiming to Replace Zoom, Google Meet, Microsoft Teams, etc.
on Monday January 26, 2026 @03:55PM (#46771390)
Switching gas providers is more difficult than switching from Zoom to Google Meet or other alternative.
Re:De-dollarization: Is the US dollar losing its dominance?
on Tuesday January 20, 2026 @02:06PM (#46696359)
... such as usa?
Re:There's a ridiculous amount of tech in a disposable vape
on Wednesday January 14, 2026 @05:41AM (#46614473)
God bless these horrible devices are not disposed in billions every day as bottles are!
Re:V8 Garbage Collector
on Friday November 14, 2025 @08:00AM (#45926324)
FTE is a TLA.
Re:Yt-dlp: External JavaScript runtime now required for full YouTube s...
on Thursday November 13, 2025 @07:24AM (#45914065)
Can QuickJS be compiled to WASM and executed in WASM sandbox?
Re:I Am Mark Zuckerberg
on Sunday November 09, 2025 @02:15PM (#45868258)
"I don't know who they are, but their attorney is Mark Zuckerberg".
Re:Show HN: Strange Attractors
on Sunday November 02, 2025 @03:08AM (#45788656)
I would suggest to keep initial particles' color -- it would be easier to understand the system's evolution.
Re:Synadia and TigerBeetle Commit $512k USD to the Zig Software Founda...
on Sunday October 26, 2025 @10:22AM (#45712129)
That's more than Google donated to Rust Foundation in 2025 (though it donated $1M in 2024).
Re:YouTube Is a Mysterious Monopoly
on Wednesday September 10, 2025 @01:07AM (#45193535)
Russia tries to push its population to "alternatives" like Rutube(sic!) and VK Video by interfering into network connectivity (they call it "slowing down", they just drop fraction of packets that goes from YouTube servers), but it seems the success is quite limited.
Re:Writing a C compiler in 500 lines of Python (2023)
on Thursday September 04, 2025 @03:16AM (#45124504)
C was designed to be compiled with a single-pass compiler.
Re:Jujutsu for Everyone
on Monday September 01, 2025 @06:55AM (#45091598)
I'm replying to a comment that starts with accusation: "False.". My point is that correct version differs just by a single word. It can be just a tipo in Disposal8433's comment, not "false".
Re:Jujutsu for Everyone
on Sunday August 31, 2025 @09:25PM (#45088599)
Ok, you need to call `jj bookmark set -r@ XYX` (or `jj b s -r@ XYX`), so what?
Re:Ask HN: The government of my country blocked VPN access. What shoul...
on Thursday August 28, 2025 @11:21PM (#45059788)
An airport.
Re:Dissecting the Apple M1 GPU, the end
on Wednesday August 27, 2025 @10:11PM (#45047562)
Perhaps, "Deep Work" by Cal Newport can explain that.