kd0amg

10 ms·

61.
by kd0amg 6y ago
> objects and classes are a fundamental concepts people are familiar with from real-life experiences. The idea that actions one can perform on real-world items are actually embedded in those items themselves (as opposed to being imposed
62.
by kd0amg 6y ago
Just knowing something is true without knowing why is a lot less helpful in figuring out what else is true.
63.
by kd0amg 6y ago
Unsound with respect to what?
64.
by kd0amg 6y ago
> There is no Turing Machine capable of proving that this program won't halt Yes, there is. There's a machine which does nothing but print that exact proof. You seem to have conflated solving an instance of a problem with solvi
65.
by kd0amg 6y ago
The idea that humans are physical systems with Turing-computable behavior would mean that any problem not solvable by Turing machines is also not solvable by humans. That is, there are programs whose halting behavior no human will ever dete
66.
by kd0amg 6y ago
It would be a lot like that. There's a mindset shift to thinking of arrays as geometric objects to manipulate in space instead of as boundaries on valid indices. One of my favorite examples is computing a moving average over some vecto
67.
by kd0amg 6y ago
The usual reason programmers object to ugly, hacky code is that it's a lot harder to be justifiably confident that such code actually does produce the right answer -- "garbage in, garbage out" is just as true in function posi
68.
by kd0amg 6y ago
How to compute a matrix product, how to compute the solution to a system of equations, how to compute a determinant (inefficiently), how to compute eigenvalues Lots of how, not enough why
69.
by kd0amg 6y ago
Yes, talking about averages sounds like it might lead a prover astray into reasoning about the average size of compressed data. The average that matters here though is how many inputs map to the same output. Compressing (n+1)-bit input to n
70.
by kd0amg 6y ago
Many people perceive light mode as the cause of eye strain. But blue light, among other things, is actually the cause of it most of the time. That seems like an explanation of why to prefer dark mode over light mode when those are the cho
71.
by kd0amg 6y ago
If Congress has the power to make something literally part of the Constitution then they literally have the power to shape the boundaries of constitutional law because they literally have the power to rewrite the Constitution. Ex falso qu
72.
by kd0amg 6y ago
The question before the court was a point of law, not a disagreement about vote totals.
73.
by kd0amg 6y ago
Liskov's explanation at a talk she gave a couple years ago was that it just looked like the obvious way one ought to use subtyping and certainly not a deep enough insight to be worth naming.
74.
by kd0amg 6y ago
>> This compiles recursive functions into a CPS form that uses constant stack space, eliminating any possible Out-of-Stack issues > So recursion cannot depend on input from the outside world? Why would CPS prevent recursive code fr
75.
by kd0amg 6y ago
If it's causing serious problems, talk to a real doctor, not armchair doctors on HN (or reddit).
76.
by kd0amg 6y ago
Numpy has a very rough approximation of APL's semantics. The broadcasting rules are quite different, and it's missing some rather fundamental things like automatically lifting functions with argument rank other than 0.
77.
by kd0amg 6y ago
I'm pretty sure GP means actual quarantine. We are not quarantining hundreds of millions. We are advising hundreds of millions to practice social distancing.
78.
by kd0amg 7y ago
The source code to his data parallel compiler hosted on the GPU is 17 lines of APL! The co-dfns source I've seen[1] is much longer. Do you know if there's a write-up somewhere of the differences between that and Appendix B from
79.
by kd0amg 7y ago
The amateur radio service has its own designated format for call signs: one or two letters, a single digit, then one to three letters. These days, the FCC normally issues a new licensee a "two by three" call sign (two-letter prefi
80.
by kd0amg 7y ago
That danger is contingent on credulous readers being in position to act on the misinformation. When people here speculate about an airliner's flight envelope, misled readers generally aren't going to go crash 737s.
81.
by kd0amg 7y ago
The government can only do so much to change culture, though, right? The Chinese government is famous for having done it.
82.
by kd0amg 7y ago
If you use cage traps instead, you can set up a target range to train your crossbowdwarfs.
83.
by kd0amg 7y ago
Do you have sources for those figures? The ones I find are suggesting up to 2 weeks incubation (but more typically about 5 days) and surviving on some surfaces for 3 days (less for others). https://www.medicalnewstoday.com/a
84.
by kd0amg 7y ago
Typical practice seems to be having a large collection of ad hoc local transformations that look for specific combinations of operations. I've only really seen more general static analysis aimed at not materializing intermediate arrays
85.
by kd0amg 7y ago
Is there something about the primitives that APL-derivitives provide that mean that more of your program can happen inside the primitives so the interpreter is doing less work? Yes. Well, maybe not the primitives themselves, so much as ho
86.
by kd0amg 7y ago
They will not be expected to pay this fine each year. They will be "expected" to discontinue the behavior the IRS is suing them for. If they do it again, the IRS presumably has cause to sue again.
87.
by kd0amg 7y ago
Let's go another step. Move parsing into a mandatory class on automata theory, where you can properly dig into the machine models underlying different parsing algorithms.
88.
by kd0amg 7y ago
What would covert acts of "simple sabotage" look like at a company like Google, Amazon, Microsoft, or Facebook? They'd look like examples from past discussions of how a bad programmer can provide negative value to the compa
89.
by kd0amg 7y ago
Michael is the one Vito was trying to keep clean in hopes that he'd eventually be able to rise into a position of legitimate power, outside the criminal underworld.
90.
by kd0amg 7y ago
Luke, in Episode 4: "Why would Imperial troops want to slaughter Jawas?"

More ›