yccs27

6 ms·

31.
by yccs27 10mo ago
Thanks, writing it as 1+2(*)3 made it click for me. Reminds me of the '$' operator in Haskell - it lowers the precedence of function application, basically being an opening parenthesis that's implicitly closed at the end of t
32.
by yccs27 10mo ago
No. There is a global allocator which is used by default, but all the stdlib functions that allocate memory have a version which allows you to pass in a custom allocator. These functions are still "unstable" though, so they can cu
33.
by yccs27 11mo ago
The article is a bit confusing, but I like the concept behind symbols: Basically a way to distinguish identifier names (chosen by the programmer) from user-facing strings. The distinction between is one I've mentally adopted in other l
34.
by yccs27 1y ago
> 85,66% guaranteed uptime (we need some sleep, too)
35.
by yccs27 1y ago
Unfortunately there's an increasing number of home internet connections behind CGNat, as IPv4 adresses run out (and IPv6 doesn't gain momentum, heaven knows why)
36.
by yccs27 1y ago
#9 on the list is a Macbook Pro.
37.
by yccs27 1y ago
Are there any laptops that actually have a desktop GPU built in?
38.
by yccs27 1y ago
The most general approach is to calculate all the different cases, and then do a branchless selection: var4 = (var1==1)*(var2+var3) | (var1==2)*(var2-var3) | ... Of course this is basically the slowest possible option, but it might
39.
by yccs27 1y ago
I was referring to the specific Debug effect described in the post, which only works in debugging builds. This means that the production build cannot have unexpected output from a function with no declared effect.
40.
by yccs27 1y ago
> Thus you might design a module that has implicit Logger and Database effects in all its functions. Logging does seem like a very similar case to debugging, only that you expect to leave it on in production. On the other hand an implici
41.
by yccs27 1y ago
In other words, Google sacrifices availability/latency here - they don't accept the request until they can be sure it's still available.
42.
by yccs27 1y ago
It varies too much to be useful for powering repeaters. It also can't sustain enough current to be useful, since the resistance across the entire system is huge.
43.
by yccs27 1y ago
My $0.02: Don't throw away a perfectly good mental model because of a compiler ideosyncasy. Just treat it as a special case and use a linter against stuff like char* a, b. You also don't think about dollars differently than other
44.
by yccs27 1y ago
You'd never write that ugly one-liner. Just write the recipe imperatively: dough = mix(flour, water, sugar, butter) dough.knead() dough = dough.add(eggs) cookies = dough.divide(12) cookies = bake(temp=450, minutes
45.
by yccs27 1y ago
Not even a marketing cost, a delayed engineering cost to fix a fault in the product.
46.
by yccs27 1y ago
TFA only talks about having strong or weak static guarantees. There's more that typically comes with a "high-level" language like Java: Nonzero-cost abstractions like boxed objects, automatic memory management and more.
47.
by yccs27 1y ago
> Memory management was indeed the sore sticking point, why Rust hadn't appealed to me earlier. The author doesn't want manual memory management, but still decides to go with Rust.
48.
by yccs27 1y ago
I can understand why Rust didn't implement an IO monad (even though I'd love it), but linear types seem like they would fit right in with the rest of Rust. Not sure why they didn't include them. There's actually two diff
49.
by yccs27 1y ago
Yup, that clickbait headline should be "Procolored served customers malware for months, dismissed it as false positives" instead.
50.
by yccs27 1y ago
Home refrigeration is quite a bit older than electric refrigerators though. Iceboxes, kept cool by chunks of ice, were also called refrigerators and started being produced for home use in the 1840s.
51.
by yccs27 1y ago
You could create a comptime function that adds the Node field to any type. I guess then you've arrived back at the previous generic version.
52.
by yccs27 1y ago
I had two close calls: One time my down tube developed a large crack, starting from a faulty weld to to the head tube. Luckily, the lost stiffness made the bike start wobbling so much that I got off to inspect it. On the replacement bike, t
53.
by yccs27 2y ago
For me the main issue with CRDTs is that they have a fixed merge algorithm baked in - if you want to change how conflicts get resolved, you have to change the whole data structure.
54.
by yccs27 2y ago
When done right, "chasing fads" can be a means towards delivering value to shareholders.
55.
by yccs27 2y ago
Let's try them all and see which order is the best.
56.
by yccs27 2y ago
If I understand it correctly, they randomly decided to try starting the car immediately or to go wrap the wires first. This absolutely demonstrates a causality, they just didn't cleanly separate the different factors which changed. You
57.
by yccs27 2y ago
I think it's not supposed to be a pilot hole, but a hole to put a partially-threaded screw through.
58.
by yccs27 2y ago
Yeah, from the title I thought they lost $40B in market cap due to the pivot.
59.
by yccs27 2y ago
This is it. Typically in a QFT lecture, you'd include a "mass term" (in the article: stiffness term) in your field equations, and later show that it indeed gives mass to the excitations of this field (i.e. particles). So you
60.
by yccs27 2y ago
This is the crucial insight. The last proof in TFA writes it in differential form notation, where "dx at constant y" is dx∧dy = -dy∧dx.

More ›