tikhonj

62 ms·

811.
by tikhonj 8y ago
SAT solvers only scale sometimes . Complexity theory is a starting point for understanding why this "sometimes" is inevitable, but it never even implies that NP-complete problems are never tractable. Complexity theory gives us
812.
by tikhonj 8y ago
I believe pickup trucks make up <20% of total car sales, but there are fewer models to choose from compared to sedans or crossovers, so the most popular pickup models get a disproportionate amount of sales.
813.
by tikhonj 8y ago
Pretty sure they're talking about themselves.
814.
by tikhonj 8y ago
It's worth noting that the references in the blog post—including "Seemingly Impossible Functional Programs" which the title refers to—are all written in Haskell. Haskell is the natural setting to experiment with this kind of
815.
by tikhonj 8y ago
Projects fail because of bad code quality and architecture all the time. Monads and functional purity are simple tools that help tame and manage these issues. I've seen a number of projects (often in JavaScript or Python) fail because
816.
by tikhonj 8y ago
Isn't that what Mozilla created Rust for in the first place?
817.
by tikhonj 8y ago
It's also interesting how people don't see public roads in the same way—people don't expect roads to cover their own expenses directly, expect free parking as a human right and bridle at toll roads or gasoline taxes. People
818.
Radix Trees: How IntMap Works [video](youtube.com)
2 points by tikhonj 8y ago|0 comments
819.
by tikhonj 8y ago
I haven't designed levels, but playing maps across a few games, I'm constantly amazed at how well small details are thought out. A seemingly random crate actually blocks off a line of fire that would give one team a major position
820.
by tikhonj 8y ago
Rational numbers don't lose precision, but the compromise is that they can get arbitrarily large after a series of calculations, even if the calculations themselves involve small numbers. Having access to rational numbers is great an
821.
by tikhonj 8y ago
I recently read the book Why We Sleep by Matthew Walker (a professor at Berkeley). It's pop-sciency in style but more nuanced and well-supported than most pop science books I've read. I definitely recommend picking it up. It mad
822.
by tikhonj 8y ago
The same dynamic that results in zoning that prohibits food trucks also results in large swathes of residential area in suburbs with no real restaurant options inside walking distance.
823.
Why you can't have privacy on the internet (2018)(chrisstucchio.com)
2 points by tikhonj 8y ago|0 comments
824.
by tikhonj 8y ago
Reinforcement learning is a solid fit for a number of traditional operations research problems. (In fact, that's pretty much what motivated research into RL in the first place, as I understand it.) One concrete example I heard about wa
825.
by tikhonj 8y ago
Do you have a link to it for the Russians in the audience?
826.
by tikhonj 8y ago
> I hope you're not assuming Midsomer Murders bears much resemblance to real life. :) Unlike Hot Fuzz, which is basically a documentary.
827.
by tikhonj 8y ago
This kind of type becomes really tedious to use unless there is some sort of viable "subtyping"—you certainly want to be able to use a non-zero number where any number works and, ideally, you want to be able to recover a non-zero
828.
by tikhonj 8y ago
If education rather than credentialing was the overwhelming driver, a priority should be providing education to people without credentialing built-in, in a form factor that's a lot more flexible than a classic four-year degree. Ideal
829.
Haskell, Monads and Purity(jelv.is)
1 points by tikhonj 8y ago|0 comments
830.
by tikhonj 8y ago
Haskell doesn't "need" an IO type—it wants one. The IO type gives us a language-level way to separate code that has side-effects from code that doesn't. It's a powerful tool to help manage complexity in our progra
831.
by tikhonj 8y ago
This is a somewhat misleading way to think about Haskell and monads—it puts the cart in front of the horse and obscures both how Haskell deals with effects and how monads are more general and useful than just IO. This blog post ends up my
832.
by tikhonj 8y ago
No, it's more that getChar :: IO Char does not need to know anything about "monads"—it only depends on having some IO type for "IO actions" or "IO procedures" or whatever you want to call them. Combine the
833.
by tikhonj 8y ago
> In the engineering/academic world, grades do matter and are highly predictive of ability. People with poorer grades often struggle a lot. This is a purely empirical question to which you seem to have simply assumed an answer. Whil
834.
by tikhonj 8y ago
The sub-story about the Tesla is an example of one of the "other types of car giveaways" that is actually legitimate—not the telemarketing scam.
835.
by tikhonj 8y ago
I think there are two things: the short-term effects of missing a night of sleep persist for several days even if you get plenty of sleep later and the chronic effects of missing a day of sleep accumulate even if you "make up" t
836.
by tikhonj 8y ago
Which is a real shame because that plane looked gorgeous , especially with square windows. It's always sad when physics gets in the way of aesthetics...
837.
by tikhonj 9y ago
At the very least it would spread the cost out over everyone rather than just the people who end up needing the drugs that pass the expensive process.
838.
by tikhonj 9y ago
The "fire in a crowded theater" example comes from a court case that allowed the government to imprison somebody for advocating against the draft , and it's been used to defend government overreach ever since[1]. What's
839.
What is the future of optimizing compilers?(quora.com)
1 points by tikhonj 9y ago|0 comments
840.
by tikhonj 9y ago
Thanks to the quality of Twitter's search, I already can't find that book/movie that somebody talked about unless I liked/retweeted it. It's actually pretty frustrating: I remember seeing something in my Twitter f

More ›