kogasa

joined 1 year ago
[–] kogasa@programming.dev 1 points 6 days ago

It depends on what you mean by well defined. At a fundamental level, we need to agree on basic definitions in order to communicate. Principia Mathematica aimed to set a formal logical foundation for all of mathematics, so it needed to be as rigid and unambiguous as possible. The proof that 1+1=2 is just slightly more verbose when using their language.

[–] kogasa@programming.dev 27 points 1 week ago (4 children)

It's not a 360 page proof, it just appears that many pages into the book. That's the whole proof.

[–] kogasa@programming.dev 2 points 1 week ago

It can be, usually for college credit though

[–] kogasa@programming.dev 6 points 1 week ago (2 children)

At the universities I went to, Calc 2 was integration, sequences and series, then Calc 3 was multivariable. They really pack all the harder parts into 2.

[–] kogasa@programming.dev 4 points 3 weeks ago

I got that banana for my cat. I think the catnip wears off or something but he still likes to have it near him.

[–] kogasa@programming.dev 6 points 3 weeks ago

double sided möbius strip

[–] kogasa@programming.dev 10 points 4 weeks ago

It's called speed of lobsters

[–] kogasa@programming.dev 0 points 1 month ago* (last edited 1 month ago)

No other country even makes the first page

If every state in America were only 1% worse than every other country, then again the first 50 entries would be the American states. This is barely saying more than "America has the highest incarceration rate," so it shouldn't be a surprise.

[–] kogasa@programming.dev 4 points 1 month ago

Status 200 for errors is common for non-REST HTTP APIs. An application error isn't an HTTP error, the request and response were both handled successfully.

[–] kogasa@programming.dev 5 points 1 month ago (3 children)

There may be a need for additional information, there just isn't any in these responses. Using a basic JSON schema like the Problem Details RFC provides a standard way to add that information if necessary. Error codes are also often too general to have an application specific meaning. For example, is a "400 bad request" response caused by a malformed payload, a syntactically valid but semantically invalid payload, or what? Hence you put some data in the response body.

[–] kogasa@programming.dev 2 points 1 month ago

I'm speaking my truth. XR Adderall, crack em open and pour em on me tongue. The caviar of stimulants

[–] kogasa@programming.dev 6 points 2 months ago (3 children)

My only time-release capsule is filled with little beads, I just pop it open and eat the beads like pop rocks

view more: next ›