gunnihinn

8 ms·

31.
by gunnihinn 7y ago
Turns out the Vietnam war was a savvy retirement plan setup: clear out some space, return to the US to bask in the most generous ROI in history for 30+ years, return to that patch of land that’s conveniently clear now. At least the conquist
32.
by gunnihinn 7y ago
N=1 and all that, but I ported 500k lines of a Python 2 monorepo to Python 3 this year and it took like two weeks, including a week spent reading Eevee’s post on the subject half a dozen times and playing with six and futurize.
33.
by gunnihinn 7y ago
So it sucks as it cuts?
34.
by gunnihinn 7y ago
> This seems just as magical as the original algorithm. If you do a "change of coordinates" the original algorithm becomes trivial: If you know that any loop in the list doesn't begin after the node you're on, you can
35.
by gunnihinn 7y ago
Fuck cables.
36.
by gunnihinn 7y ago
Wow.
37.
by gunnihinn 7y ago
Casts exponential function.
38.
by gunnihinn 7y ago
Fewer.
39.
by gunnihinn 7y ago
As a mathematician and long-time sufferer of that Douglas Adams meme: GIVE A FUCK?
40.
by gunnihinn 7y ago
That restricts you to mathematics, logic or philosophy. Engineering, or the rest of the world, operates _at best_ on statistics.
41.
by gunnihinn 7y ago
> [Cold outreach] Rating: Not successful. Kapwing’s most senior engineer said that he gets multiple cold emails from recruiters daily, so it seems impossible to cut through the noise. You are the noise.
42.
by gunnihinn 7y ago
Yeah. I’ve never been unhappy with reading a long commit message.
43.
by gunnihinn 7y ago
> I’m still rather unwilling to hand over my email to a third party. Didn't you do that already by having a Gmail account?
44.
by gunnihinn 7y ago
> It’s food advice because the English-speaking culture of today values writing that sounds like speech. And lord forbid us for writing in a way or about subjects that don't please as much of the potential readers as possible. They
45.
by gunnihinn 7y ago
And projections. Without them you only get linear maps with nonzero determinant.
46.
by gunnihinn 7y ago
Maybe I miswrote it. I’ve been very unimpressed with all other crowbarrings of category theory into programming than this one. Other attempts feel like language for its own sake, while Pijul really seems like a Grothendieck-style compass be
47.
by gunnihinn 7y ago
I am a mathematician and generally bearish on category theory in programming. The best argument for it I've seen so far is that it can inform the design of your system to give it desirable properties, like how the DVCS Pijul [1] bases
48.
by gunnihinn 8y ago
I don't want to discourage you from learning things. If you think category theory might enrich your life, go for it. That said: I have a PhD in mathematics in a field that uses quite a few category theoretic notions, so I've had e
49.
by gunnihinn 8y ago
It will come for you, too, one day. We all float down here.
50.
by gunnihinn 8y ago
I’m sorry, I didn’t make clear enough I was expressing surprise at your casual sexism.
51.
by gunnihinn 8y ago
Umm... what?
52.
by gunnihinn 8y ago
Out of curiosity, does anyone have a ballpark estimate for what a no-ad online subscription would cost if we assume the parent is true?
53.
by gunnihinn 8y ago
> Once government gets involved and starts playing favorites, everything gets messed up. OK. Is it more or less messed up than that a private corporation can and is willing to perform surveillance on foreign citizens on behalf of those c
54.
by gunnihinn 8y ago
Gimlet [1] has been doing "not Squarespace, but obviously ads" for a while now. I think it's fine; I always know when their ads are on, and the ads aren't repetitive enough that it's worth it to skip them. edit: Jus
55.
by gunnihinn 8y ago
As a PhD in mathematics who converted to development, please, go into the details of what you mean. I know tensor products. I know SQL joins. I see superficial similarities between the two, but no unifying underlying principle. The world ha
56.
Request-level configuration invariance in Go(magnusson.io)
2 points by gunnihinn 8y ago|0 comments
57.
by gunnihinn 8y ago
You _could_ introduce the One True Lamport Clock, and as long as you're in its light cone you can get global syncronization, but that comes at the cost of having to learn a lot about patience.
58.
by gunnihinn 8y ago
I suppose those continue working fine in very local systems (contained in a ball of a few light-seconds radius) whose components move at speeds where relativistic effects can be discarded. Drop those constraints and you also need to drop ev
59.
by gunnihinn 8y ago
Make pandoc convert the txt/md/whatever to roff and pipe it to man, and you're pretty much there. It would also work on more than OSX, unlike um itself.
60.
by gunnihinn 8y ago
Count bytes via wc?

More ›