tmoertel

33 ms·

451.
by tmoertel 9y ago
+1 to this book. Developing algorithms and their correctness proofs together is a powerful technique and ought to be more widely used.
452.
by tmoertel 9y ago
Along the lines you suggest, a while ago I took IMDB's ratings and used their emperical cumulative distribution function to "flatten" them into something more useful, percentile scores: http://blog.moertel.com&#x2F
453.
by tmoertel 9y ago
Counterpoint: Because these companies place so much emphasis on your actual performance at coding during interviews, they can be better for older programmers because they are not hiring based on how you look but on what you can do .
454.
by tmoertel 9y ago
On the other hand, the problems in most "Seinfeld" episodes have been rendered trivially solvable by a technological development that has occurred since the show originally aired: the ubiquitous smartphone.
455.
by tmoertel 9y ago
One of my favorite examples of property-based testing is in the docs for Haskell's Text.ParserCombinators.ReadP module. The semantics of the combinators are succinctly (but fully) documented in the form of QuickCheck properties. https
456.
by tmoertel 10y ago
I'd like to read more on the cancer and pet vaccines issue. Can you point me toward any good journal articles?
457.
by tmoertel 10y ago
But somebody wins, and that's who's usually behind the protectionism in question.
458.
by tmoertel 10y ago
As this fascinating WW2 training film for US Combat Engineers demonstrates, improvised roads are still important for modern military operations: https://www.youtube.com/watch?v=u-FDY8uMlsI
459.
by tmoertel 10y ago
There are additional possible causal stories, as well. It could be that A and B are completely independent but both causes of C, and your observations of A and B are gated by C. Most people aren't aware of this possibile explanation.
460.
by tmoertel 11y ago
One of the overlooked reasons that Git has gotten so much traction is that Linus solved the right problem. While others were trying to make the ultimate DVCS, he was trying to make the Linux kernel development process easier.
461.
by tmoertel 11y ago
I came here to recommend Manber's book also. It emphasizes developing algorithms and their correctness proofs together -- a great technique. The design and the proof naturally inform each other. This approach ought to be better known.
462.
by tmoertel 11y ago
That's a fascinating history. Thanks for tracing it back. According to a comment in the Catacomb source, the LFG logic was derived from a macro supplied with the Merlin assembler for Apple 2 GS computers: ;this routine was conver
463.
by tmoertel 11y ago
Take this idea to the limit and you end up with free monads: http://www.haskellforall.com/2012/07/purify-code-using-free-...
464.
by tmoertel 12y ago
An involution played a rather important role in this programming context: http://blog.moertel.com/posts/2013-12-14-great-old-timey-gam...
465.
by tmoertel 12y ago
The best reference is Jaynes's Probability Theory: The Logic of Science . The first three chapters are online for free and explain the development of probability theory as a logic for plausible reasoning [1]. If you want to get a quic
466.
by tmoertel 12y ago
> Why would an employee work for less than the value they are creating? Because if the employee worked for greater than or equal to the value they created, the expected return on hiring them would be less than or equal to zero, and nobod
467.
by tmoertel 12y ago
> I think the amount one gets paid is equal to the amount of value one creates for others. What one gets paid is less than the value one creates. (Otherwise there would be no incentive to pay for that value.)
468.
by tmoertel 12y ago
Probability Theory: The Logic of Science , by E.T. Jaynes, is a highly readable definitive reference that builds the theory from the ground up. The first three chapters are all you need for your purposes and are available online for free (
469.
by tmoertel 12y ago
What guarantees did you find lacking in shake?
470.
by tmoertel 13y ago
The take-away, however, is that the commonly understood models for relating microorganisms to health, such as the ones that guide doctors' decisions and health policy, do not predict that antibiotics would cause animals to grow more mu
471.
by tmoertel 13y ago
I have a question about your job-security formula and your requirement that it balance out to "0 at all times." If you add value X to a company, and if (as you seem to require) the company must then pay you X in return, what
472.
by tmoertel 13y ago
On the other hand, if you're an employee and not getting paid what you think you're worth, don't jump to the conclusion that you're being exploited or disrespected, and don't jump to the conclusion that you have to
473.
by tmoertel 13y ago
The QuickCheck style of testing is my favorite (see paper [1]). Using a simple embedded DSL, you write specifications that declare the desired properties of your code. The computer then checks that the properties hold by randomly sampling t
474.
by tmoertel 13y ago
If you'd like to see more analyses, I gave a short talk about analyzing IMDB data with R and Perl a few years ago. Here are the slides: http://community.moertel.com/~thor/talks/pgh-pm-perl-and-r.p... A blog
475.
by tmoertel 13y ago
How long ago did you stop using SHA1?
476.
by tmoertel 13y ago
I agree with everything you wrote. Again, however, I think we're talking past one another. When you talk about clipping, you seem to mean turning up the volume until a signal clips. This both amplifies the signal and clips off its extr
477.
by tmoertel 13y ago
OK. I think I see where our signals are getting crossed. I look at your diagram and think, The green signal g is not what you get when you try to output the red signal r but the output stage clips it at the supply voltage (my V ). Rat
478.
by tmoertel 13y ago
We must be talking past one another. I thought I was speaking in the electrical-engineering sense of clipping (my undergrad studies were in EE). In any case, to make sure we're talking about the same things, I'll be more formal.
479.
by tmoertel 13y ago
> Only if the clipping reduces the peak value... I don't know of any widely used definition of "clipping", nor any definition that fits the context of this discussion, that allows for a signal's peak value not to be
480.
by tmoertel 13y ago
> ... the resulting clipped waveform carries a lot more energy than an unclipped one. Is this claim actually true? My understanding is that if you take a waveform and clip it, the resulting waveform actually carries less energy (think of

More ›