jetzzz

25 ms·

31.
by jetzzz 7y ago
See also 1490 Ch'ing-yang event: https://en.wikipedia.org/wiki/1490_Ch%27ing-yang_event
32.
by jetzzz 7y ago
It's actually type checking. Per the Curry–Howard correspondence, proof checking is equivalent to type checking, just for much more sophisticated type system than in an ordinary programming language.
33.
by jetzzz 7y ago
> Why were Coinbase employees allowed to use Mozilla Firefox? Nowhere in article it is said that any Coinbase employee was using Firefox. It only says that attack targeted Firefox, not that Coinbase employees use Firefox.
34.
by jetzzz 7y ago
> I now trust Microsoft more than Google What's so good about Microsoft? They filled their OS with spyware and adware and they seem to be incompetent as a tech company - remember their recent Windows update that deleted user data ev
35.
by jetzzz 7y ago
Cloudflare is just a disaster for bypassing government censorship. If some website is blocked in my country and I try to access it with Tor or VPN then I better hope it is not behind Cloudflare, because Cloudflare just gives me endless Goog
36.
by jetzzz 7y ago
It is harder for small teams (or even single persons) running small forums to comply with different regulations than it is for a big company. There was a story recently about a guy who was running some specialized forum but decided to shut
37.
by jetzzz 8y ago
With all those things, even after nuclear war, Earth is still much better place for life than Mars.
38.
by jetzzz 8y ago
> Rust achieves memory safety without a tracing GC. D has traditionally relied on the GC for that Isn't D memory unsafe by default?
39.
by jetzzz 8y ago
It is a token issued on Ethereum blockchain and is traded on many exchanges. So yes, you can buy and sell them. Your 60 BAT are worth $8. https://coinmarketcap.com/currencies/basic-attention-token/
40.
by jetzzz 8y ago
QEMU can do much more than this.
41.
by jetzzz 8y ago
It's not puzzling, it's that you read a title and think it is something different.
42.
by jetzzz 8y ago
Is there anything that prevents Tor from supporting this protocol?
43.
by jetzzz 8y ago
In a typical scenario, when you connect to a website with one IP address, then change your network and connect again with different IP but using the same device/browser, that website knows that you are the same user. I don't see h
44.
by jetzzz 8y ago
> I also think that F is seriously superior to C. Both are not metric though. Metric unit for temperature is kelvin.
45.
by jetzzz 8y ago
Looks like Linux syscalls are becoming some kind of de-facto standard. They are already implemented by Linux, FreeBSD, Windows and now IncludeOS.
46.
by jetzzz 8y ago
Ability to create tokens and make money out of it has created a lot of unnecessary hype. Blockchain has its use-cases, but not as many as some want it to have.
47.
by jetzzz 8y ago
Why illustrate it with a program which has undefined behavior? It has signed integer overflow.
48.
by jetzzz 8y ago
For some reason x86 emulator is not open-source. If you download source, x86 is just stubbed out.
49.
by jetzzz 8y ago
As category theory teaches us, there is a duality to a choice. If you are constructing value of a sum type you can choose any variant, but the one who receives it should be able to handle any possible variant. If you are using a library you
50.
by jetzzz 8y ago
CSS should have used linear color space for gradients and blending instead of sRGB. I don't want CRT emulation in 2018. https://lists.w3.org/Archives/Public/www-style/2012Jan/0615....
51.
by jetzzz 8y ago
C++ and Rust need destructors because they both have unwinding and thus need to know how to destroy things. If there is no unwinding then calling destructors manually is not that bad if compiler checks that you do it. That said, I haven&#x2