comonoid

7 ms·

1.
by comonoid 2mo ago
Pebble is too feature overloaded, I prefer a ring.
2.
by comonoid 3mo ago
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.
3.
by comonoid 4mo ago
English is not my native language, but I believe "attributed" does imply unverifiability. Otherwise other word is used.
4.
by comonoid 4mo ago
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 quiet
5.
by comonoid 4mo ago
I don't know about Japanese, but to Turkish definitely can.
6.
by comonoid 4mo ago
True.
7.
by comonoid 4mo ago
8. 2026 White-list mode is occasionally enforced.
8.
by comonoid 4mo ago
"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
9.
by comonoid 5mo ago
Read it aloud with GLADOS voice.
10.
by comonoid 5mo ago
I wonder when my manager "prompts" me "I want the feature X and I want it fast", is his prompt a human creativity?
11.
by comonoid 6mo ago
But you do.
12.
by comonoid 7mo ago
Ukraine should request strong cards in exchange.
13.
by comonoid 7mo ago
"Diagrammed by Kenneth Thompson". The name sounds familiar...
14.
by comonoid 7mo ago
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://engl
15.
by comonoid 8mo ago
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.
16.
by comonoid 8mo ago
Propaganda never sleeps.
17.
by comonoid 8mo ago
Switching gas providers is more difficult than switching from Zoom to Google Meet or other alternative.
18.
by comonoid 8mo ago
... such as usa?
19.
by comonoid 8mo ago
God bless these horrible devices are not disposed in billions every day as bottles are!
20.
by comonoid 10mo ago
FTE is a TLA.
21.
by comonoid 10mo ago
Can QuickJS be compiled to WASM and executed in WASM sandbox?
22.
by comonoid 10mo ago
"I don't know who they are, but their attorney is Mark Zuckerberg".
23.
by comonoid 11mo ago
I would suggest to keep initial particles' color -- it would be easier to understand the system's evolution.
24.
by comonoid 11mo ago
That's more than Google donated to Rust Foundation in 2025 (though it donated $1M in 2024).
25.
by comonoid 1y ago
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 server
26.
by comonoid 1y ago
C was designed to be compiled with a single-pass compiler.
27.
by comonoid 1y ago
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".
28.
by comonoid 1y ago
Ok, you need to call `jj bookmark set -r@ XYX` (or `jj b s -r@ XYX`), so what?
29.
by comonoid 1y ago
An airport.
30.
by comonoid 1y ago
Perhaps, "Deep Work" by Cal Newport can explain that.

More ›