kd0amg

35 ms·

301.
by kd0amg 10y ago
Get a research position doing the kind of work PhD's do? Avoiding exposure to ideas that challenge your own is not a good strategy for becoming an effective researcher.
302.
by kd0amg 10y ago
It depends on the language. If you have, for example, a type-and-effect system, a type can contain information (like "we wrote to stdout while computing this") that is never reflected in the value itself. In a formal setting, it&#
303.
by kd0amg 10y ago
So where's the part with the cow, again? That was the political objection to a video about the viability of hyperloop that you're so reluctant to explain to us.
304.
by kd0amg 10y ago
You were the one who brought up politics as a reason one might prefer to avoid watching the video.
305.
by kd0amg 10y ago
I mean, do you actually believe that I think the Hyperloop is extremely important, criticism of it must be quashed at any cost, and this YouTuber will just have to be one of the broken eggs? No, I think GP is suggesting that you have some
306.
by kd0amg 10y ago
That's exactly what they would have done before you decided to poison the well.
307.
by kd0amg 10y ago
You're also refusing to explain what they are or why they're relevant to this video.
308.
by kd0amg 10y ago
So... watch several of his other videos and then decide whether to watch this one? And that's to save time spent on consuming non-worthwhile content? You could stand to be a lot more specific about what your beef is with this youtu
309.
by kd0amg 10y ago
it's hard to imagine the interest ends when you cross the threshold of the workplace on your way home People's interest in just about anything has a tendency to fade over the course of the first eight hours they spend on it in a
310.
by kd0amg 10y ago
Don't worry too much about typing it. The syntax of APL isn't all that powerful and actually limits how you can leverage the aggregate operation semantics.
311.
by kd0amg 10y ago
> or NSF (whose yearly funding is dwarfed by the R&D funding at a single company) If the worst thing you can say about the NSF is that they need more money, that makes it sound like GP has come up with a nice way to allocate the avai
312.
by kd0amg 10y ago
And manually closure-convert everything too?
313.
by kd0amg 10y ago
I still haven't found a "remote" replacement for gathering around a whiteboard to work out some system design issues. Whiteboard-through-a-webcam has been mostly ok as long as everyone is almost on the same page to begin with
314.
by kd0amg 10y ago
And for animals, it's mostly the first letter of the animal's name, colored like the animal, and upper- or lower-case based on the animal's size.
315.
by kd0amg 10y ago
an argument for why a content provider who is making something available to others for free and without obligation has any obligation in return, either legally or ethically, beyond the same basic decency that we all owe to each other. A g
316.
by kd0amg 11y ago
Most of the time when I see a J programmer "read" some J code, it really means taking the spec and slowly, incrementally building up towards the same solution as the code they were handed. I have not seen them have much success at
317.
by kd0amg 11y ago
I feel like I'm missing some context here. Which of Mark's/Fermin's examples did Rico rewrite in K?
318.
by kd0amg 11y ago
Do you think the APL family can exist without the terse syntax? I have yet to meet a programming model that can only exist in one specific syntax. The closest I've seen is lisp-style metaprogramming, which requires syntax that makes
319.
by kd0amg 11y ago
This paper's claim that finding an effective technical trading strategy is in NP relies on the search space for technical strategies being exponential in the length of history being considered (which it's not -- that's the si
320.
by kd0amg 11y ago
Saying "Goofus does X; by contrast, Gallant does Y" is not suggesting these are the only two humans in the entire world.
321.
by kd0amg 11y ago
The first thing I wondered about on seeing that claim was what sort of error reporting was implemented in the type checker and the (dynamic) language runtime. Comparison against C for "what does static typing offer" also feels lik
322.
by kd0amg 11y ago
The big difference is that generic dispatch is resolved dynamically. I haven't yet found myself reaching for monads in Racket (or writing much non-Redex Racket code) since tonyg wrote that post, so I don't know if there are any od
323.
by kd0amg 11y ago
> You could pass around explicit dictionaries with all your values or some such, … if you have an extremely low-overhead way of doing so A lot of that plumbing could be hidden from the user given the right dynamic features. http:/&
324.
by kd0amg 11y ago
"Give me some money so I can create value here" is what you say to investors, not creditors, and putting someone in that role will make them want a much bigger upside than they'd get from a secured loan.
325.
by kd0amg 11y ago
Any language's code can be integrated or transformed into some Turing-complete language. That doesn't make a language powerful. You don't see anyone raving about how amazing the language of variable-free arithmetic expression
326.
by kd0amg 11y ago
Guess what one of most field-proven verification tools uses and verifies? LISP via ACL2. The dialect of lisp that ACL2 verifies is not very powerful at all.
327.
by kd0amg 11y ago
Yeah, without a grinder, you'd pretty much have to do it hot. I've run across some knife makers who work entirely by stock removal, and I could imagine someone just grinding an edge into the end of a salvaged rasp and calling that
328.
by kd0amg 11y ago
I'm just going from prior probability. I don't often encounter another blacksmith here. There is also a difference between asking how much is the minimum amount needed and how much was actually used.
329.
by kd0amg 11y ago
How much hot work was involved there? I sorta skimmed the bits about particular products because I'd probably aim to make my own tools for this sort of thing.
330.
by kd0amg 11y ago
I doubt they'll turn major arteries into quiet streets, especially at rush hour.

More ›