ves

12 ms·

91.
by ves 7y ago
the amount of programming/hour you get at a job vs on a hobby project is very different, though, and tends to go down as you get more responsibility. Not that the other work you do instead of programming, like problem decomposition, sp
92.
by ves 7y ago
I opted to go for “pinning” based on the version number, so if you make a breaking change, like adding a required field, IDOL copies your schema into a v2 (say) namespace and then applies the change, leaving v1 untouched. At this point we j
93.
by ves 7y ago
It isn’t... yet! it would be a bit of work to open source it (rip out any lingering affirm bits, spruce it up some) and my team is real pressed for time at the moment. but I definitely want to do it sooner rather than later!
94.
by ves 7y ago
I agree with a lot of this post, although the tone isn’t great. The problems we ran into with protobufs at my job include: 1. The schema evolution claims don’t really hold water for our systems. 2. The type system isn’t very expressive (e.g
95.
by ves 7y ago
You could have the type model mentioned in this post in nearly all languages as well.
96.
by ves 7y ago
seconded, his grad probability classes were some of my favorites a few years ago (also hi!). Measure theoretic probability significantly influenced how I think about nearly everything today, which is as strong an endorsement of these notes
97.
by ves 7y ago
None of them compete, effectively, since they’re in different coverage areas. Except for bart, basically. And I certainly treat bart and MUNI as competitive products for commuting to work, although it doesn’t feel like MUNI does...
98.
by ves 7y ago
I occasionally ran into exam questions that were "discuss the motivation behind making this maneuver instead of some other maneuver in this proof we discussed in class," which is a sort of meta-showing-of-work.
99.
by ves 7y ago
It’s not very big, is the problem, and is often full of tourists.
100.
by ves 7y ago
a while back there was a scare that some vapes had lots of tiny metal particles in their vapor, which would be really really bad for you. Dunno what the resolution to that was, but it’s probably worth following up on.
101.
by ves 7y ago
To pile on further, hitting the gym and other sports relentlessly is what allows me to continue programming for long hours without my body falling apart.
102.
by ves 7y ago
esperanza spalding? jacob collier?
103.
by ves 7y ago
Apparently Inuit people are actually fine on carbs because the meat they eat tends to retain its glycogen stores better because of the arctic conditions.
104.
by ves 7y ago
Exercise a lot, especially focusing on cardio and strength+flexibility in your hips. Doing this massively mitigates the adverse effects from my job for me; if I stop my routine for a week or two the soreness, tightness and discomfort come r
105.
by ves 7y ago
economy of motion works wonders, but even then sometimes there are positions which have the same economy but may be dramatically easier at speed, and you need to play closer to tempo to learn that. Sometimes it's even better to trade a
106.
by ves 7y ago
perhaps performing computations is to studying computation as observing the universe through a telescope is to studying it.
107.
by ves 7y ago
ot: there's a really nice derivation in the first couple chapters of generatingfunctionology[0]. [0]: https://www.math.upenn.edu/~wilf/DownldGF.html
108.
by ves 7y ago
You probably want to say “eking out,” not “eating out,” as the latter means something... very different.
109.
by ves 7y ago
That’s not the sort of whataboutism you called out in your comment, because the parent isn’t justifying Chinese actions, but pointing out that the U.N. hasn’t acted in similar cases and so it’s not unreasonable to think that they wouldn’t a
110.
by ves 7y ago
I also tip my (imagined) hat.
111.
by ves 8y ago
It’s much more difficult and expensive to list on a public exchange than it is to raise private capital. Also the SEC kinda forbids this situation to further the aim of “protecting mom and pop investors.”
112.
by ves 8y ago
Can’t use rewards points on Airbnb in the same way as hotels, though.
113.
by ves 8y ago
...money in five years in five further years . the idea is that you’re evaluated on your purchasing power ten years hence, but in one case you have to liquidate your position five years in and find another position with the same risk chara
114.
by ves 8y ago
I live-TeXed notes for some of my math classes and it was absolutely a great idea.
115.
by ves 8y ago
So they believe.
116.
by ves 8y ago
same. I think this tends to affect people with musical training or experience; my non-musician friends can happily listen to music and work, but I can’t.
117.
by ves 8y ago
It’s often called a sankey chart.
118.
by ves 8y ago
It is absolutely a limitation, because there are things you can express in other languages that you cannot in CSS. But a limitation isn’t necessarily bad, and is often good. Finding the language of least power (ie it is just powerful enough
119.
by ves 8y ago
I tried to work through a proof of “free trade makes the pie no smaller,” and it seems like it only works if you’re considering one good. I reasoned thusly: 1. Country A can produce good X at price p_a < price p_b the price at which dome
120.
by ves 8y ago
There’s no compounding here, since the property tax is a fee and not a reduction in the value of the asset, so I don’t think that’s applicable.

More ›