hvocode

7 ms·

31.
by hvocode 6y ago
I was able to dive right in and read it. I don’t think every blog post needs to be a standalone document. I’m always surprised at the whiny comments from HN readers like the one above: for a site that likes to act tech savvy, some folks
32.
by hvocode 6y ago
I’m very glad it’s online, and hope this continues. I’ve done decades of conference/workshop/meeting travel, and yeah - the in-person interactions are useful. Those interactions IMHO don’t outweigh the cost, disruption-to-life,
33.
by hvocode 6y ago
Not applicable to me since I've been 100% remote for 3+ years, but prior to that I stopped personalizing my desk when I moved from a regular private office around 2008 to a gig with an open office. If someone was to have said that givi
34.
by hvocode 6y ago
This has to be a joke mocking the obsession some parts of HN have with LeetCode and interviews.
35.
by hvocode 6y ago
Not sure how that’s relevant, given that it appears to be expressing the usual language constructs but not in English or via a Latin alphabet. A couple minutes with Google translate made that apparent.
36.
by hvocode 6y ago
Not unreasonable at all. A rough way to think about a tool like Coq or Isabelle is that it provides a very simple core foundation built out of some mathematical logic and mechanisms for manipulating statements in that logic ("if P impl
37.
by hvocode 6y ago
Muted words is the only thing that makes Twitter useful for me. Totally takes the temperature down by just excluding things that aren’t useful to see. I mute everything from specific words that I know are going to spark useless arguments
38.
by hvocode 6y ago
Not everything is deserving of being treated as historical artifacts worthy of retention. A friend has lamented that when he was in college in the late 80s, he used USENET as a way to connect with people and work through some pretty heavy
39.
by hvocode 6y ago
Yup. I've met a number of old farts like me who were not thrilled when what we assumed was transient had been archived. I'm not a big fan of the opt-out model of archiving where archivers just assume that they have implied conse
40.
by hvocode 6y ago
Well, a Sea Bream did pretty well. https://twitter.com/j4n0/status/1125380024733925377
41.
by hvocode 6y ago
“If you see it as a place to have conversations with your professional community, your feed is going to look like a constant streamed event with the best content.” No. LinkedIn is where your feed will be full of people trying to sound like
42.
by hvocode 6y ago
It ain’t WFH causing it given that I’ve been remote 100% for a few years and noticed a significant productivity dip in the pandemic. It’s that the little things that made life interesting are missing (occasional dinner at a restaurant, con
43.
by hvocode 6y ago
I’ve seen people speak about applications of LBM-based models in medical contexts like modeling blood in arteries with complex geometries. You can see applications on the pages for OpenLB and Palabos, which I believe are some of the more m