jules

15 ms·

121.
by jules 5y ago
Wouldn't it be amusing if a common english word like "foundation", usually referring to the thing on which buildings are constructed, is uniquely reserved for the all the kinds of things on which you can theoretically build a
122.
by jules 5y ago
ZFC is the x86 assembly language of foundations. Saying that ZFC is good enough because you can do all of mathematics in it is like saying that we don't need Java/Rust/Python because x86 assembly is good enough because x86 a
123.
by jules 5y ago
The coke bottles themselves are amazing too. I used to go to school with a reusable bottle filled with milk. Those cylindrical lunch bottles for kids were absolutely horrible. They leaked half the time, spoiling my bag and notebook. If you
124.
by jules 5y ago
Great post!
125.
by jules 5y ago
How does this compare mimalloc, the other allocator from Microsoft? https://github.com/microsoft/mimalloc
126.
by jules 5y ago
The number of early cases connected to the market could be partly confirmation bias -- you detect an early case at the market, and then start to investigate everyone connected to the market, and surprise! almost all of the cases you find ar
127.
by jules 5y ago
Yes I think that's right :) I think I have a way to visualize what's happening more clearly than the | notation I used above. We have grammar: S -> 'a' S 'a' / 'a' I'm going to put (aSa)
128.
by jules 5y ago
The right mental model for PEGs is not whether or not it will parse the entire string. PEGs will attempt to parse some prefix of the string and then stop and leave the cursor there. Here is a list of strings and how far it will parse (hopef
129.
by jules 5y ago
Yes you're right, I had already edited that while you were posting your reply. I thought you wanted to point out the usual simple "a" / "aa" problem.
130.
by jules 5y ago
I think it will parse "a", it will parse "a a a", and "aaa a aaa", and "aaaaaaa a aaaaaaa" and so on, but nothing else.
131.
by jules 5y ago
PEGs are a compact notation for recursive descent and they compile to recursive descent parsers. What would be the advantage of writing the compiled code by hand?
132.
by jules 5y ago
This is a good point in favour of context free grammar based parser generators. I think the trade-off is a bit more subtle though. CFG semantics is nice and declarative when we specify which strings belong to the language, but a parser is a
133.
by jules 5y ago
Choosing to not consume or disseminate a piece of content is not censorship. Censorship is when you attempt to make that choice for somebody else.
134.
by jules 5y ago
I can't explain it but every time I hear that phrase I get a very visceral feeling of injustice. The phrase represents extrajudicial punishment by a mob or powerful entity, and the negation of fairness, proportionality, and due process
135.
by jules 5y ago
Why do you think that R would be below 1 with a 100% vaccination rate? In countries with 80-90% vaccination rate we still see massive spread. Handwaving about "nonlinear effects" doesn't cut it. Vaccine mandates are a very he
136.
by jules 5y ago
100% vaccination rate would still have R>1. While that is unfortunate, they are right and you are not.
137.
by jules 5y ago
Single threading is not the issue. Just 5% of single modern core should be plenty fast enough to run a text editor. You still want multiple threads of course, to avoid blocking the UI for background work, but computers are so fast nowaday
138.
by jules 5y ago
Food, water, and air regulations are completely different. To be analogous, they would have to be regulations about food and drinks you must consume, or gasses that you must breathe in. Even if that were the case, it would still be less
139.
by jules 5y ago
The rate only becomes highly relevant if it makes the difference between R>1 and R<1. Otherwise the disease will still exponentially expand, just over a more spread out period of time. Even countries with very high vaccination rates n
140.
by jules 5y ago
A vaccinated person can still spread the disease. Perhaps at a lower rate, but a lot of lifestyle choices affect that rate. The singular focus on that one choice is irrational and the obsession with what other people inject into their bodie
141.
by jules 5y ago
I think this conveys the right intuition but it's a bit finicky and artificial to make that concept precise so I think it's better to say that the concept of moving through spacetime at a given speed is not well-defined. Particles
142.
by jules 5y ago
I find it fascinating that you call me nonsensical for making the very reasonable assumption that energy consumption will stay the same for a back-of-the envelope calculation, and here you are talking about infinite improvement factors. &gt
143.
by jules 5y ago
The specific factor for cars is not relevant. The factor of 3 is wildly optimistic for general energy use. The point is that even taking the factor of 3, it's still extremely expensive. Regarding the second paragraph: if you point is t
144.
by jules 5y ago
I just googled solar battery cost and took the cheapest in the result that came up: https://www.solarchoice.net.au/blog/battery-storage-price/ It is possible that the numbers that come up there are too high.
145.
by jules 5y ago
A factor of three (which is very optimistic) doesn't change the conclusion: a week's worth of storage is not feasible with current battery technology, let alone a few weeks. How much storage would actually be required is not clear
146.
by jules 5y ago
Generating that amount of energy using nuclear would cost approximately $13.4 per person per day (IIRC ~3x what we're currently paying for it). Note that I have not included the cost to generate the energy in the $130 storage costs, bu
147.
by jules 5y ago
Let's approximate the cost of that. The energy consumption of my country (the Netherlands) was 3157 PJ in 2017. This was 980 kwh per person per week. Solar batteries cost a bit more than $1000 per kwh. So at these prices this plan cost
148.
by jules 5y ago
Dependent types go beyond what Zig does by removing the distinction between comptime variables and runtime variables (so types can depend on runtime variables). Zig goes beyond dependent types in the sense that the comptime/runtime dis
149.
by jules 5y ago
I've noticed that reading is faster than listening at 3x speed. A quick way to test this is to enable subtitles.
150.
by jules 5y ago
I think one practical disadvantage of the Haskell approach is that you need to wrap and unwrap your types if you want a different ordering on an existing type. But the main reason why I didn't like the Haskell approach isn't ergon

More ›