curtisf

12 ms·

61.
by curtisf 3y ago
Even then, a lot of the video may not be useful to a particular audience. Being able to scroll past a sequence of short animations could be even more valuable -- especially because then you have the opportunity to include more optional bran
62.
by curtisf 4y ago
Without more setup, you haven't described a problem that would normally be classifiable as computable or non-computable. A real number, in general, requires an infinite number of bits to describe, so it cannot be used as the input to a
63.
by curtisf 4y ago
Zig's comptime isn't like "macros" in Haxe or Rust or Scala or Lisp which transform one AST into another AST. It's just code that runs when the code is compiled, rather than when the resulting binary is run. This ma
64.
by curtisf 4y ago
For reference, in 2010 the US was estimated to have 60,000 km² of road & parking lots https://persquaremile.com/2011/01/20/800-million-spaces-and-... So we have experience building infrastructure of a sim
65.
by curtisf 4y ago
It's worth noting that the Cutter incident involved contaminated/improperly produced inactivated-virus vaccines. The article implicates live virus vaccines, not inactivated virus vaccines, in periodic outbreaks primarily outside
66.
by curtisf 4y ago
Being paid in stock does not eliminate your income tax; you still owe income tax on the fair market value of the stock. In practice, consumption taxes are extremely regressive. Firstly, because people who earn less necessarily have to spend
67.
by curtisf 4y ago
There's actually a little something here, but the blog loses it by being way too loose with "expectation". The interesting thing, which is confused by the blog, is that "expectation" is not that same thing as "
68.
by curtisf 4y ago
No, TypeScript has these type system features because they are necessary to accurately type the programs people actually write using JavaScript. This isn't because of the shortcomings of JavaScript, it's because of the shortcoming
69.
by curtisf 5y ago
"Algebraic data types", as they appear in Haskell, are recursive sums of product types. (The "sum" and "product" are why they're called "algebraic". You can also analyze them as power series, suc
70.
by curtisf 5y ago
You can't spend cryptocurrency at the grocery store. So your "money" can only at best be _backed_ by cryptocurrency. But if all you want is your money to be backed by something that intrinsically retains value, there are many
71.
by curtisf 5y ago
Two phase commit requires a coordinator. If the coordinator goes down, the system makes no progress. If the coordinator sends inconsistent commands (e.g., commit to one resource and abort to another), it's not serving its purpose. So i
72.
by curtisf 5y ago
Yes, there is a "why Zig when..." page in the "learn" section: https://ziglang.org/learn/why_zig_rust_d_cpp/
73.
by curtisf 5y ago
Is this not just moving the problem to a different place? (Maybe it's more ergonomic for some uses) In Haskell the solution is to use different type parameters via newtypes. In ML, you define a distinct instantiation of the MaxHeap. So
74.
by curtisf 5y ago
I explained why this doesn't work -- what do you do when you combine two heaps with different internal orderings? You need some way to enforce that the orderings are the _same_. A canonical ordering per type is how Haskell does it; dep
75.
by curtisf 5y ago
Having canonical implementations is a feature, not a bug, of type-classes. For example, consider the type `Data.MaxHeap a`, which is a persistent max-priority heap. Max-heaps can be combined in logarithmic time, as long as they are ordered
76.
by curtisf 5y ago
NotJustBikes doesn't think cars should be abolished. In fact, they shared a video just three weeks ago about how non-car-centered cities are _better_ to drive in: https://www.youtube.com/watch?v=d8RRE2rDw4k Car-centric
77.
by curtisf 5y ago
Java has been using this approach with new reserved identifiers like `var` and `record` in the interest of backwards compatibility. JavaScript has done something similar with its `await`, `let`, etc
78.
by curtisf 5y ago
A difficult issue with equity in hiring is that companies do not hire the _best_ applicants. People tend to think about hiring like that, but it can't actually work like that. Hiring is not a tournament; you have some (high) bar and ju
79.
by curtisf 5y ago
In some cases, banks have trained us not to panic instead of taking time to understand what's happening. A while ago, I scheduled a wire transfer through Chase to go through the next day. While asleep, I got an automated call from Chas
80.
by curtisf 5y ago
Here's one way to bolster this mathematically just a bit. If you have a composite number C, you can use C to guarantee factors in larger numbers. If k is a factor of C, Cn + k also has a factor of k. So, for a "highly-composite&qu
81.
by curtisf 5y ago
The biggest strength of React is that it is _just_ a library. You don't need to write JavaScript/TypeScript in a special way (other than limiting side effects, which is not a React-specific challenge). Svelte is not JavaScript. Sv
82.
by curtisf 5y ago
High school math does not look much like research math. High school math is highly concerned with teaching 'algorithms' that compute answers, like long multiplication, long division, the quadratic formula, completing the square, s
83.
by curtisf 5y ago
This presents a confused understanding of Cantor's diagonalization argument. You are shrouding in complexity something that is straightforward. The complete proof of distinct infinite cardinalities can be stated succinctly and clearly
84.
by curtisf 5y ago
Yes, "log structured" basically means "append only (mostly)" Traditionally on-disk data-structures are modified in-place. But random writes keep disks busy (especially spinning disks, though sequentially writes are still
85.
by curtisf 5y ago
But with the example numbers in the post, your fund increases by $300,000 a year even after your "withdrawals". So, you're still netting $260,000 after the interest on your loans. And that growth compounds, too. (I'm not
86.
by curtisf 5y ago
So, viewing such a thing being possible as a problem, what kind of "fix" to the tax rules is best? Prioritize taxes on spending instead of income? Sales taxes are usually regressive (people with less wealth/income spend a la
87.
by curtisf 5y ago
_Finding_ a proof is undecidable. _Verifying_ that a proof is correct is easy (it's usually linear-ish in the length of the proof). If the programmer supplies (most of) the proof, a compiler can easily certify that the proof is correct
88.
by curtisf 5y ago
You may want to be able to run highly resilient databases even on non-error-detecting hardware. (Most consumer disks, and even a lot of enterprise disks, don't reliably detect/report disk corruption) You might also be building a d
89.
by curtisf 5y ago
(not a lawyer) My understanding of the situation in US copyright law is that the synthesized images would clearly be derivative works, and thus copyright holders have rights to the (portion of the) output which is derivative. However, such
90.
by curtisf 5y ago
The equation itself is called "implicit" because it describes a set of points without making it obvious what that set of points looks like. For example, consider an equation like `x^(2y) + y^(x^2) = -1`. This is a well-formed equa

More ›