Hacker News: carnitine

New comment by carnitine in "Jane Street's "Figgie" Card Game"

carnitine — Fri, 26 Jan 2024 18:51:23 +0000

They provide a service to the market and that’s just a pretty basic description of it. Obviously they hope to make money from doing so, but so does every company.

No different to saying McDonald’s focuses on delivering quick and easy food to customers.

New comment by carnitine in "Formalizing 100 Theorems"

carnitine — Sun, 05 Nov 2023 15:11:21 +0000

That’s not true either. Coq’s logic is significantly different to HoL.

New comment by carnitine in "Formalizing 100 Theorems"

carnitine — Fri, 03 Nov 2023 19:58:55 +0000

They definitely don’t all compile to the same thing. Some do, most don’t.

New comment by carnitine in "Formalizing 100 Theorems"

carnitine — Fri, 03 Nov 2023 19:57:34 +0000

It also just follows from X being >= 30.

New comment by carnitine in "DALL-E 3 Is So Good It's Stoking an Artist Revolt Against AI Scraping"

carnitine — Fri, 03 Nov 2023 19:08:45 +0000

January 2023 is an age ago in terms of generative AI. DALL-E 3 has been out what, a month? I just tried and it generated hands no problem.

New comment by carnitine in "Copying Angry Birds with nothing but AI"

carnitine — Tue, 31 Oct 2023 19:51:34 +0000

You’re saying that based on what? All the code and assets are AI.

New comment by carnitine in "Ridiculous captcha at GitHub to reset your password"

carnitine — Wed, 23 Aug 2023 13:02:21 +0000

Dice is plural, and common games have you roll two dice at a time. So you’re looking for a pair of pairs.

New comment by carnitine in "Let's make a Teeny Tiny compiler (2020)"

carnitine — Mon, 29 May 2023 18:47:49 +0000

C is definitely a high level language.

New comment by carnitine in "Moody's downgrades US banking: ‘rapidly deteriorating operating environment’"

carnitine — Tue, 14 Mar 2023 19:37:56 +0000

Obviously not in reality, but their (wrong) definition refers to ‘time to do so’.

New comment by carnitine in "Moody's downgrades US banking: ‘rapidly deteriorating operating environment’"

carnitine — Tue, 14 Mar 2023 17:55:47 +0000

Under your definition they can just hold the bonds to maturity to be solvent.

New comment by carnitine in "Binance halts deposits and withdrawals for customers in the UK"

carnitine — Tue, 14 Mar 2023 16:55:06 +0000

No one is claiming it is a tautology for all X and Y, it just happens to be true in this particular case.

New comment by carnitine in "Astronomical Calculations for Hard SF in Common Lisp"

carnitine — Tue, 20 Dec 2022 10:36:08 +0000

Lisp is not very functional at all.

New comment by carnitine in "Argentina Wins the World Cup"

carnitine — Sun, 18 Dec 2022 20:33:39 +0000

How is it hilarious? I doubt the average English person is a massive fan of Canary Wharf and it’s owners.

New comment by carnitine in "FTX’s financial black hole leaves Binance balking at rescue plan"

carnitine — Wed, 09 Nov 2022 18:29:42 +0000

Tether can be liquidated via the Tether Foundation.

New comment by carnitine in "Binance to acquire FTX"

carnitine — Tue, 08 Nov 2022 19:16:12 +0000

How is a prop crypto firm a bank? Laughable

New comment by carnitine in "Multiple assertions are fine in a unit test"

carnitine — Sat, 05 Nov 2022 11:20:10 +0000

That has nothing to do with not knowing which assertion in a given test has failed.

New comment by carnitine in "Banks prepare to hold $12.7B Twitter debt on books until early 2023"

carnitine — Tue, 01 Nov 2022 09:21:50 +0000

They don’t need to claw back the money as long as Twitter services the debt.

New comment by carnitine in "A Geometrically Natural Uncomputable Function (2008)"

carnitine — Thu, 20 Oct 2022 08:02:34 +0000

Equality on reals is not computable.

New comment by carnitine in "The technology behind Bella Hadid’s spray-on dress"

carnitine — Mon, 03 Oct 2022 18:24:52 +0000

Would shredded fabric and paint ordinarily form a dress when sprayed?

New comment by carnitine in "Elon Musk sells $6.9B worth of Tesla stock"

carnitine — Wed, 10 Aug 2022 13:30:58 +0000

The whole point is that he secured funding from third parties for the Twitter deal. He was never buying it alone.