js8

27 ms·

571.
by js8 1y ago
Among billionaires maybe he is on the good side. But in general? Linus Torvalds did more for the world than Bill Gates, IMHO. And he didn't need to set up a system that first appropriates money in order to "be generous" later
572.
by js8 1y ago
I would recommend https://lean-lang.org/theorem_proving_in_lean4/ , especially the first few chapters, if you're willing to use Lean.
573.
by js8 1y ago
I really recommend [56] M. H. Sørensen and P. Urzyczyn. Lectures on the Curry-Howard isomorphism. Elsevier, 2006 on this topic. I found it online. It is very self-contained and explains some interesting topics such as relation of intuitioni
574.
by js8 1y ago
Easily? Not sure. But perhaps it's a linguistic version of the Skolem paradox. Looks like Hilary Putnam had some things to say on that..
575.
by js8 1y ago
IMHO, good marketeers for LaTeX were people who wanted to typeset (write nicely) math but were scared of TeX.
576.
by js8 1y ago
I have been wondering lately if "intellectually rich" can be found solely in books. I read Jim Stanford's Economics for Everyone, and he recommends to go out and talk to people and see what problems they are having in life. T
577.
by js8 1y ago
I like your idea, but it's missing any sort of practical skills (which Dantes and Faria certainly had). What would be more interesting, IMHO, books that Cyrus Smith from The Mysterious Island had memorized. Just from what I saw on HN,
578.
by js8 1y ago
What do you think are the factors that caused this fall?
579.
by js8 1y ago
> Have the elites through history always been this insecure or is it a modern phenomenon? Yes. As a kid, I read a legend that one of the Charlemagne's knights got so annoyed for losing a game of chess that he killed his opponent wit
580.
by js8 2y ago
> If at some point the cheats/fakes will be cheaper and easier than the real thing Is there any evidence this is going to ever happen? The evidence I see points in opposite direction - everyone has so many sensors and data being rec
581.
by js8 2y ago
Why would you incentivize foreign companies to do that, when you want American companies to build factories in US?
582.
by js8 2y ago
> By embracing that complementary relationship, we can advance as a society and be free to do the things that only humans can do. This complementarity already exists in our brains. We have evolutionary older parts of brain that deal wit
583.
by js8 2y ago
But how such a system learn, i.e. be adaptive and intelligent, on levels 1 and 2? You're essentially guaranteeing it can never outsmart the creator. What if it learns at level 3 that sometimes it's a good idea to violate rules 1 &
584.
by js8 2y ago
I am not really interested in a bad faith debate. I take it you're quoting this passage: The constitution, the National Assembly, the dynastic parties, the blue and red republicans, the heroes of Africa, the thunder from the platform,
585.
by js8 2y ago
Karl Marx isn't responsible for anything that happened in the 20th century. People have individual responsibility for their actions, it doesn't matter where you got the idea from. Ascribing e.g. crimes of stalinism to Marx is actu
586.
by js8 2y ago
> This is only talking about a very specific and extreme type of transhumanist. The one with the tendencies to treat it as a cult? Isn't that the point of the article? I am not really sure what point you're trying to make. It&#
587.
by js8 2y ago
> He thought that there is a big gap in our knowledge of survival and recovery. Well, you don't want to know how far you can safely bend over the cliff before falling down. I think attempts to gain such knowledge in a practical way
588.
by js8 2y ago
Well, it kinda works in Haskell, but you get weird type signatures. I haven't tried Liquid Haskell but it looks like a potential solution. But you're right. Even in Haskell, I always write type signatures for functions. It makes t
589.
by js8 2y ago
> But I don't think you can limit people's wealth and not call it communism. What is wrong with calling it communism? It's just a name.. You so much internalized "communism bad" that you look at a good idea and t
590.
by js8 2y ago
> What should be the maximum of how big someone should be? In democracy, the maximum should be 1. One vote per person. That's it. In practice, we can delegate stuff, but I don't see reason why should people (as adults) accept a
591.
by js8 2y ago
I don't understand why the author doesn't prefer CBOR, isn't doing things according to an RFC standard better? MsgPack and CBOR are pretty much comparable, feature-wise. Anyway, I work on IBM mainframes, and big endian is so
592.
by js8 2y ago
It seems to me that any R&D follows an S-curve, but beancounters insist on linearity, because it's easy to calculate with. So you get these weird effects.
593.
by js8 2y ago
I have seen such code too - with just S,K and I combinators. It wasn't readable.
594.
by js8 2y ago
Nuclear is not economically viable compared to renewables (wind & solar), and it's rightfully on its way out. What is really needed is for humanity to say "enough" and stop using fossil fuels. Would it be a problem if tra
595.
by js8 2y ago
> What stops unions from ossifying, becoming too expensive, and getting replaced on the international labor market? Labor action, such as strikes.
596.
by js8 2y ago
This already exists, somewhere between universal basic income and social democracy.
597.
by js8 2y ago
In the handwriting I learned, x had hooks on all four ends, while greek chi only on two. Anyway, I usually use simple cross as x, because it's only very rarely confused with cross product (and you can always parenthesize).
598.
by js8 2y ago
My take is that any instruction set that has "centralized" instruction flags is an obsolete design, as it creates dependencies between instructions that could be otherwise executed out of order. So neither 6502 or 68000 is ideal.
599.
by js8 2y ago
IMHO What you describe is mostly a tooling problem. Current tooling doesn't let users to see the referenced/abstracted code as simply as the local code (for example, expand function definitions). So people tend to avoid abstractin
600.
by js8 2y ago
Yeah but I don't use that type in 100s of places.

More ›