Recent submissions

Comment · 1 year ago
> We don't recommend oh-my-fish for various reasons

Care to elaborate a bit on those? Or is it the kind of thing that's impolite to discuss?

Comment · 1 year ago
Comment · 1 year ago
If b is negative, define c = -b, and use the linked result to show that

a^2 - b^2 = a^2 - (-c)^2 = a^2 - c^2 = (a + c)(a - c) = (a + b)(a - b)

Comment · 1 year ago
> Then you've just skipped the case when a^2 - b^2 is negative.

Not really. If b > a, then swap them to conclude that b^2 - a^2 = (b + a)(b - a), which is what the visual proof demonstrates.

Your conclusion is equivalent to saying that a^2 - b^2 = (a + b)(a - b).

Comment · 2 years ago
Steve Jobs would have agreed with you at one point.

I'm not sure what changed his mind (or if he ever even really did), but he also thought that aside from the native apps that came with the iPhone, everything else should just be a web app.

Comment · 3 years ago
Huh, is this what Nix users mean by “impure”?

If so, then it makes so much more sense to me now.

Comment · 3 years ago
> Anyone could just change username/organization and break thousands/millions of build.

GitHub redirects you to the new name in the event of a rename and you look up the old one.

Comment · 3 years ago
Comment · 3 years ago
Comment · 3 years ago
Interesting problems!

It’s not hard to intuit the truth values of the conjectures in the first two questions. I don’t have proofs, though.

No idea about the third one.

Comment · 4 years ago
David Williams’ Probability with Martingales is a personal favourite. And I’m not the only one.
Comment · 4 years ago
Almost everything here is an unmitigated disaster. However,

> the secret exemption of Alameda from certain aspects of FTX.com’s auto-liquidation protocol

— barring the part where this is secret — this seems like it would make some sense?

Alameda was, by my understanding, meant to be a market maker for the markets that FTX allowed its customers to trade in. You probably don’t want to apply the same auto-liquidation protocol to the market maker as you would regular traders.

Of course, I’m not a finance person, so I’d be happy to be enlightened here.

Comment · 4 years ago
Same. My requirements are very basic, so the switch to colima was basically seamless. I also appreciated being able to avoid Docker Desktop constantly trying to update itself (which is what ultimately motivated me to make the switch).

As a bonus, you can install the Docker CLI (e.g. `brew install --formula docker`) and use that to interact with any containers you start with colima.

Comment · 4 years ago
> just banging out definitions and theorems

This is pretty standard for graduate-level math texts, though. That might say something about their intended audience.

Comment · 4 years ago
Judging from the TOC, everything in Part I of Boyd and Vandenberghe appears in some form in the monograph, so I don't think that's it.

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton