colonwqbang

5 ms·

1.
by colonwqbang 15d ago
Could you clue us in? What is mathematics actually about?
2.
by colonwqbang 25d ago
If you subtract the "meaningless phrase", the title of the book is just "Music Theory". Do this for every book written about music, art, mathematics and you'll just have a lot of books with identical and quite dull
3.
by colonwqbang 4mo ago
It's funny, some people commenting here seem to be a bit lost. It's also obvious from the article that his home was indeed searched. The idea that the government would not obtain a warrant if they suspect you of stealing millions.
4.
by colonwqbang 4mo ago
I don't think you know what you are talking about.
5.
by colonwqbang 6mo ago
Another way to look at it: Microsoft APIs have fallen from grace. Even their own devs don't dogfood anymore. They download something that Facebook made instead and reimplement the Holy Start Menu using that.
6.
by colonwqbang 7mo ago
I didn't say that json can represent all rational numbers. I said that all json numbers have an obvious interpretation as a rational number. So far you haven't really shown an example of a json number which has an ambiguous or ill
7.
by colonwqbang 7mo ago
How do you feel numbers are ill defined in json? The syntactical definition is clear and seems to yield a unique and obvious interpretation of json numbers as mathematical rational numbers. A given programming language may not have a built
8.
by colonwqbang 8mo ago
...The code signing requirement?
9.
by colonwqbang 10mo ago
Has nothing to do with go. You added a dependency which is not portable. It is well known that systemd project only targets Linux. Vendorise systemd and compile only the journal parts, if they are portable and can be isolated from the rest.
10.
by colonwqbang 11mo ago
Your post could be (uncharitably) paraphrased as: "once you have written correct C++ code, the drawbacks of C++ are not relevant". That is true, and the same is true of C. But it's not really a counterargument to Rust. It doe
11.
by colonwqbang 11mo ago
True, but locks are not only needed inside IRQ handler routines.
12.
by colonwqbang 11mo ago
I wrote "multithreaded" but I really meant "multicore". If two cores are contending for a lock I don't see how irq protection help. As long as there is only one core, I agree.
13.
by colonwqbang 11mo ago
Does there exist any platform which has multithreading but not atomics? Such a platform would be quite impractical as you can't really implement locks or any other threading primitive without atomics.
14.
by colonwqbang 11mo ago
The company is bankrupt. It means they can't/won't/didn't honour their promises.
15.
by colonwqbang 11mo ago
Convenience? Websites are moving targets. I don't love having to update my tampermonkey scripts when they break.
16.
by colonwqbang 11mo ago
"Ban" and "sue" are very different things...
17.
by colonwqbang 11mo ago
What a positive application of AI. Refreshing to see a product which wants to reduce the amount of slop and noise in my life, instead of the opposite. A bit disappointed that it doesn't work on Firefox. Since Google banned ublock origi
18.
by colonwqbang 11mo ago
It looks like a method of fabricating more convincing slop? I think the Kagi feature is about promoting real, human-produced content.
19.
by colonwqbang 11mo ago
Relicensing isn't necessary. If you violate the GPL with respect to a work you automatically lose your license to that work. It's enough if one or two main contributors assert their copyrights. Their contributions are so tangled w
20.
by colonwqbang 11mo ago
How much useful combat skills can be taught in only a week? It seems like an extremely low estimate on the training needed to play a useful role in the military.
21.
by colonwqbang 11mo ago
That is true! But AVIF is based on AV1. As a video codec, AV1 often does need to be implemented in dedicated hardware for cost and power efficiency reasons. I think the article is misleading in this regard: "This limitation comes from
22.
by colonwqbang 11mo ago
So they "ignore" bit depth by using 32 bits for each sample. This may be a good solution but it's not really magic. They just allocated many more bits than other codecs were willing to. It also seems like a very CPU-centric d
23.
by colonwqbang 1y ago
Some people post vulnerability disclosures or pull requests which are obviously fake and generated by LLM. One example: https://hackerone.com/reports/2298307 These people are collaborating in bad faith and basically ju
24.
by colonwqbang 1y ago
It didn't occur to them that he might have written the password down? That's wild.
25.
by colonwqbang 1y ago
Meandering post which struggles to get to the point. The font is extremely thin which makes it unnecessarily hard to read. A lot of jargon and abbreviations also hinder understanding.
26.
by colonwqbang 1y ago
80% of HN users read only 20% of the article before writing their comment.
27.
by colonwqbang 1y ago
Author is posting honest and respectful critique of Zig features on their blog. That is a valid way of collaborating in the community discussion. The project github isn't the only place where discussion is allowed to take place.
28.
by colonwqbang 1y ago
Do you ever use the C++ standard library? Most types have a copy ctor defined, also the really "heavy" ones.
29.
by colonwqbang 1y ago
The Blob is a movie from 1958 and the blobs in databases were named after the movie. Later, some people felt that blob should be an acronym. https://web.archive.org/web/20231108173312/https://www.ibpho...
30.
by colonwqbang 1y ago
When it looked like Microsoft might close off Windows, Valve built their own SteamOS Linux distro. It now runs many AAA and indie titles, making Linux-based gaming very practical. This is something which was at one time considered impossib

More ›