Skip Navigation
kogasa Kogasa @programming.dev
Posts 0
Comments 849
Proof by fucking obviousness
  • 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.

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

  • Infinite Suffering
  • It can be, usually for college credit though

  • Infinite Suffering
  • 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.

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

  • The return
  • It's called speed of lobsters

  • World Incarceration Rates If Every U.S. State Were A Country (No other country even makes the first page)
  • 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.

  • What is your preferred API error response and why?
  • 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.

  • What is your preferred API error response and why?
  • 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.

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

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

  • Child medicine
  • I've been taking 6+ pills a day for years and still can't get myself to swallow them. I just chew everything. Tasty painkillers and caffeine.

  • SQL Has Problems. We Can Fix Them: Pipe Syntax In SQL
  • This should be done with font ligatures, not replacing character combinations with other characters that can't be typed normally

  • mfw you're trying to take the Fourier Transform of a distribution
  • It's a reach, but the Fourier transformation of a Schwarz (rapidly decaying) function is also a Schwarz function. Compact support is a strictly stronger condition than Schwarz (the function must eventually decay to 0) but doesn't have this nice property with respect to Fourier transforms, i.e. the FT of a compactly supported function is Schwarz but not necessarily compactly supported

  • xkcd #2974: Storage Tanks
  • I'm stuck on the homological algebra exercise

  • Do you know the .vscode/tasks.json file? You can add it to your project, and will run your configured commands automatically when you open the project ✨
  • You'd still need to manually install the git hooks though, the .git folder isn't part of the repo

  • Do you know the .vscode/tasks.json file? You can add it to your project, and will run your configured commands automatically when you open the project ✨
  • Pre-commit hooks aren't committed to the repo though. What's to disable? Unless it's something like python's precommit module I guess

  • I don't know what this style is, but it's amazing 🤩
  • You look like you could turn runes into strength