Viewing profile — leifmetcalf

This is a trade that is already done by trading businesses. It doesn’t even need to be this explicit; you could for instance dispose one side of a trade to reduce exposure to insid…

Why do we have that E[max_k alg(k)/opt(k)] is equal to max_k E[alg(k)]/opt(k) ?

Gemini 2.5 at least replies that it seems unlikely to be false without hallucinating a proof. From its thoughts it gets very close to figuring out that A_4 exists as a subgroup.

My mistake, I said unique path when I should have said unique shortest path. Also, there are trivial solutions with odd cycles and complete graphs which must be excluded. (So the a…

Let G be a group of order 3*2^n. Prove there exists a non-complete non-cyclic Cayley graph of G such that there is a unique shortest path between every pair of vertices, or otherwi…

This seems pretty convincing to me. At the very least, the story that NVDA dropped because the Deepseek announcement reduced expected demand for cpus seems inconsistent with typica…

I was wrong about this. Case is a macro (a special-cased macro even, defined at https://github.com/elixir-lang/elixir/blob/4def31f8abea5fba4... ), not a function. It works with pip…

Elixir doesn’t even need a special syntax — it gets Haskell’s LambdaCase as a natural consequence of case being just another function, and the pipe operator always chaining by the …

This is according to ‘climate damages compared to market value’.

Haskell gets compiled to core ( https://hackage.haskell.org/package/ghc-9.2.1/docs/GHC-Core.... ) which is pretty similar to lambda calculus, but it has some additions like literal…

Huh. If I move my mouse fast enough I can escape the lock.

Back now in NZ

Heat pumps are more than 100% efficient

Auckland Transport does the same thing

I'd be interested to see how effective algae and mosses are at cleaning air, too, since they are so easy to grow and propagate.

I just switched from GSuite to https://www.pobox.com . For $20 a year they manage your email address and forward anything sent to it to another account. I have a gmail free account…

With this? http://duriansoftware.com/joe/Optimizing-is-multiple-checks-...

I'm a bit confused, how did you implement let, if, else etc.? I don't really know much about the lambda calculus except for what I learned from a short youtube video.

Ah, that explains it. The link actually works, though.

How does the url http://redacted/ work? I've never seen a url without a tld on the end. Could I register the domain http://foo ?