tikhonj

80 ms·

871.
by tikhonj 9y ago
The other option is to target the ads to the publication . As long as the publication is on a niche topic or geographically localized, you can choose ads that will likely interest people (local restaurants) without needing to track them. T
872.
by tikhonj 9y ago
This is why I end up on University St all the time and almost never go to Stanford Shopping Center even though it's a bit closer, pleasant and I like a few of the restaurants/cafes. What I would really like is for a few blocks o
873.
by tikhonj 9y ago
Definitely not what I see. Talking about salary among Americans is moderately taboo; among the Russians I know, it's a perfectly natural subject of conversation. It always feels weird to me because I mostly grew up in the US, but I def
874.
by tikhonj 9y ago
There are some things I pretty much only get done during my commute, like reading more challenging literature. Fun books are great when I'm falling asleep in bed, but deeper books require me to set aside time when I'm not tired—wh
875.
by tikhonj 9y ago
Popehat has an article about "fire in a theater" and the court case. It's very illustrative: https://www.popehat.com/2012/09/19/three-generations-of-a-ha...
876.
by tikhonj 9y ago
My only worry with the HCI community is that they seem to over-focus on beginners and prioritizing systems that are intuitive rather than powerful . I am absolutely not worried about whether they write proofs or not! This might just be a
877.
by tikhonj 9y ago
Coq and similar languages are definitely quite expressive, but they're still complex enough to involve non-trivial manual intervention. Verifying something with Coq is possible but it's hard ; whole PhD theses have been written a
878.
by tikhonj 9y ago
That's a good point—even a few hundred random test cases are usually enough to cover "normal" code. I use QuickCheck for that at work, and it's enough to both find bugs I wouldn't see otherwise and to make me confid
879.
by tikhonj 9y ago
Unfortunately, this doesn't scale well beyond a single 32-bit floating point number. The good news is that if your code works with doubles or multiple inputs, you might still be able to test it exhaustively using an SMT solver like Z3
880.
by tikhonj 9y ago
I might be missing a joke, but food also has a unique regulatory and logistical nature. Amazon and Walmart.com have had trouble expanding to groceries for this very reason, and that's why they've been partnering with or acquirin
881.
by tikhonj 9y ago
This is an important point: even a finite search space quickly gets out of hand in practical terms. I've worked a bit on bounded verification which comes down to comparing loop-free programs with finite inputs for equality. It is not e
882.
by tikhonj 9y ago
Not if the language was (still) Turing-complete. On the other hand, if the rules are restrictive enough to stop the language from being Turing-complete, you could make it work. There's an interesting design problem there: how do you
883.
by tikhonj 9y ago
Intuitively, it's because lots of things we work with in CS don't have a good notion of inverse. In practice, this usually means you're building up a structure out of smaller structures: you can always add more to the structu
884.
by tikhonj 9y ago
You can find all the instances of a typeclass by loading all your libraries into GHCi and then using the :i command: λ> :i Monoid class Monoid a where mempty :: a mappend :: a -> a -> a mconcat :: [a] -&
885.
by tikhonj 9y ago
The real advantage is that we can express the abstraction in the language , which lets us write libraries around it. A single function like fold is much nicer than either having one per type or having to pass in the operation and identity
886.
by tikhonj 9y ago
Target | Sunnyvale, CA | Haskell engineer | Remote OK | Full Time The data science and optimization team at Target is looking for somebody with experience developing and managing a production-level Haskell service. Over the last year or so,
887.
by tikhonj 9y ago
I don't think there's anything fundamental about a compiled language that prevents it from having a REPL. (If anything, you could always have a dedicated interpreter for interactive work—"compiled" and "interpreted&
888.
by tikhonj 9y ago
That's a real problem, but it's manageable for day-to-day development because reloading code in the REPL is really fast . I'm using Haskell at work at the moment and while rebuilding everything and rerunning all the tests ta
889.
by tikhonj 9y ago
On my old Thinkpad X1 Carbon, the Caps Lock key was replaced with Home and End keys. I thought it was a brilliant idea, although I immediately remapped them to Backspace and Control respectively. The laptop also had a primitive touch-bar in
890.
by tikhonj 9y ago
My favorite example are a few simple-seeming polynomials with integer solutions. (Equations that we want to solve for integers are called "Diophantene equations".) Here's one that's genuinely easy: x^3 + y^3 + z^3 =
891.
by tikhonj 9y ago
I've been working on whatever interests me, which tends to relate to programming languages. My biggest on-and-off project, for example, is a tool that compares source code based on parse trees. My main advice is just to jump into it, a
892.
by tikhonj 9y ago
Definitely Haskell, with GHCJS and reflex-frp for the frontend. I've been using Haskell for most of my personal projects for a while and, over the last year or so, I've been using it at work. The overall experience is incredible
893.
by tikhonj 9y ago
Honestly, I wouldn't be surprised if the reviews are effective—I bet reviews are a metric that's tied a lot more directly to executive compensation/promotions than "number of people protesting outside HQ"! Both at
894.
by tikhonj 9y ago
Venmo is, effectively, a social network; it's going to get popular along social lines. Depending on whether it's caught on among your immediate friends and acquaintances, you'd expect to either know a lot of people using Ve
895.
by tikhonj 9y ago
This blog post reads a lot like "users are using our product incorrectly, so we wrote them a blog post". Of course, the problem is almost never the user and almost always the product's UX design. Just like with UX design, you
896.
by tikhonj 9y ago
One thing I realized about writing maintainable code applies just as well to designing accessible interfaces: the right habits get you 80% of the way, with no real cost beyond developing the habits . Getting into the right habits is an O(1
897.
by tikhonj 9y ago
That presumably puts a real damper on the sort of direct communication and private feedback 1:1s are supposed to support.
898.
by tikhonj 9y ago
I got a ThinkPad X1 Yoga with an OLED display last year. It's pretty incredible, especially at rendering black and dark colors. The form-factor is also incredible: very light and thin and just slightly larger than a 13" laptop.
899.
by tikhonj 9y ago
Here's a great visualization of the piece that helps you see the structure: http://www.pianophase.com/
900.
by tikhonj 9y ago
It's hard to believe that a world where Ruby, Python and Node are massively popular cares about performance above expressiveness. Even Java became popular first and fast afterwards —not even talking about memory efficiency! I'd

More ›