kd0amg

13 ms·

121.
by kd0amg 7y ago
It's not just hand-wavy. It's outright wrong. The size of the search space isn't just exponential in the amount of history -- that's the number of possible histories. The number of mappings from histories to positions is
122.
by kd0amg 7y ago
Or use ML-style reference cells, so that assignment cannot work on two things of the same type.
123.
by kd0amg 7y ago
"Receiving the source code" of an argument in lambda calculus is an accident of notation. The source code is not observable by the function it is passed to. Confluence implies that there is no way within lambda calculus to disting
124.
by kd0amg 7y ago
That's a lot rarer than a 5% chance. If 5% of these laptops exploded every few hours, there wouldn't be many of them left by now.
125.
by kd0amg 7y ago
No (nontrivial) additive combination of Cs is also an additive combination of Ds (or C#s or Bs or ...). You'd need something nonlinear like multiplicative combinations, effectively a C amplitude-modulated by another C, in order to get
126.
by kd0amg 7y ago
I can't help but feel like the Venn's diagram between people who suggest "move to a more rural area" and people who never lived in a rural area for a prolonged period of time is a full circle. I've seen plenty of
127.
by kd0amg 7y ago
DrRacket seems to suffer a lot from re-implementing typical GUI components. Scrolling a text pane is slow (unless there's a very small amount of text in it), clicking buttons sometimes produces no visual acknowledgement, the "clos
128.
by kd0amg 7y ago
Do kids that skip the racket course generally do better than those that don't? This is likely to have some confounding factors, considering the usual mechanics of skipping a university course.
129.
by kd0amg 7y ago
I’d argue that the multiplicity of different programming languages and programming language paradigms suggests there likely isn't a teleological trajectory towards some single standard for programming. We also have a multiplicity of
130.
by kd0amg 7y ago
Does it spoof? If X calls Y and gets forwarded to Z, does caller ID at Z show X or Y? As a possibly naive user, showing X seems like the right thing to do, since that's the number Z will be connected to if someone answers.
131.
by kd0amg 7y ago
Location: Boston, MA Remote: if necessary Willing to relocate: yes Technologies: Racket, OCaml, C, Java, J, APL, ACL2, LLVM, Haskell Web: https://jrslepak.github.io Email: jrslepak@ccs.neu.edu I'm nearing the end of my PhD
132.
by kd0amg 7y ago
Generics are more for developing reusable libraries than single applications.
133.
by kd0amg 7y ago
Even weirder if it also doesn't expect legal guardians to contribute
134.
by kd0amg 7y ago
Well... CLC didn't offer me much that I wanted but couldn't get at Stevenson anyway. I was dual enrolled for an introductory philosophy class, but within my eventual undergrad majors, Stevenson offered at least as much coursework
135.
by kd0amg 7y ago
Don't numeric solutions in math books also look very different from closed-form solutions?
136.
by kd0amg 7y ago
Curry-Howard maps typical practical tasks on the programming side to completely useless make-work on the math side. Turning a customer's name and address into text to make a mailing label has to happen at some point, but you really don
137.
by kd0amg 7y ago
Past thought about free speech seems to be based on the assumption that people can communicate without having some third party approve the sender/receiver/message. Now we mostly use a communication medium that involves a lot of th
138.
by kd0amg 7y ago
For coding in APL, I just switch to an alternate keymapping (Dyalog has one available for free).
139.
by kd0amg 7y ago
I think GP is using "role" to mean the collection of tasks/functions performed by a person rather than their job title. As far as I can tell, duties and incentives don't change as much when going from associate to full p
140.
by kd0amg 7y ago
A professor typically isn't working full-time on research either.
141.
by kd0amg 7y ago
What's the hierarchical ordering of Congress, SCOTUS, and the White House?
142.
by kd0amg 7y ago
Captain Hector isn't the issue. You never got the 4th wall break?
143.
by kd0amg 7y ago
You won't be able to play through the full storyline though.
144.
by kd0amg 7y ago
At least papers don't have subtitles (I think). I've seen a few printed as having subtitles, including one with both a colon and a subtitle. http://brrian.org/papers/ecoop2011-javascript-eval.pdf https:&
145.
by kd0amg 7y ago
Searching for stuff I've used, this document is also quite light on combinatorics, complexity theory, and order theory (and of stuff I haven't used much, I don't see anything on category theory or topology). I don't thin
146.
by kd0amg 7y ago
Go shot past similar languages because Google's backing got lots of instant attention from people who would never even hear of something like Nim or Clay.
147.
by kd0amg 7y ago
Citations actually already are a implicit voting system for quality work. ( in theory...) I'm not sure this is even true in theory. The decision to cite something looks to me to be more about relevance than quality. Citing a paper sa
148.
by kd0amg 7y ago
I guess my question is, why can't you get the same experience at a regular bar? Because relatively few bars have anything interesting to drink that's non-alcoholic.
149.
by kd0amg 7y ago
There are definitely some confounding factors other than architecture to account for. At least in Boston, new construction isn't replicating the century-old triple decker (of course, truly doing that would take a century of wear and te
150.
by kd0amg 7y ago
First they came for Google Wave, and I did not speak out—Because I never really understood what Wave was to begin with. Then they came for Google+, and I did not speak out—Because almost all the people I want life updates from are on Facebo

More ›