Viewing profile — comonoid

Pebble is too feature overloaded, I prefer a ring.

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…

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

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 thr…

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

True.

8. 2026 White-list mode is occasionally enforced.

"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-li…

Read it aloud with GLADOS voice.

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

But you do.

Ukraine should request strong cards in exchange.

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

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 observati…

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.

Propaganda never sleeps.

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

... such as usa?

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

FTE is a TLA.

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

"I don't know who they are, but their attorney is Mark Zuckerberg".

I would suggest to keep initial particles' color -- it would be easier to understand the system's evolution.

That's more than Google donated to Rust Foundation in 2025 (though it donated $1M in 2024).

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 …