I tried using Claude 3.5 sonnet and .... it's actually not bad. Can someone please come up with a simple logic puzzle that it abysmally fails on so I can feel better? It passed the "nonsense river challenge" and the "how many sisters does the brother have" tests, both of which fooled gpt4.

AHAHAHAHAAH they had fucking piddly little fans blowing. I hope that made the fire worse.

more ooms! MORE OOMS!

trumpisn is fascism you dimwit

was this supposed to be a reply to /u/dgerard's comment?

Announced a year ago. AFAIK nothing like it actually exists yet. https://www.youtube.com/watch?v=6DaJVZBXETE

I spent a while reading this post, he has to be trolling right?

do I also detect a hint of "failed to be a engineer/scientist but desperately still wants to appear like one"?

The confusion monk has confused you!
  The confusion monk hit you.
Alas, you have died.

Did you ... stop reading?

The real die-hards don’t think it’s a scheme to create a permanent Democratic majority; they think it’s a plot to ethnically replace white Americans. At its core, the great replacement is about demographics, not democracy.

The article doesn't try to rebut this because of the staggering number of premises you need to accept before you can even reach such a conclusion. It's really not worth unpacking here.

I have a scattered interest in lambda calculus too so I'd love to follow this project. Tromp's BLC definitely hits a sweet spot of complexity/size when it comes to describing computation in a way that's deeply satisfying.

Have you looked into interaction nets/other optimal beta-reduction schemes (there's a project out there called HVM)? Probably way too high level for now though. I am fascinated by the possibility of these algorithms making church-representations more asymptotically efficient (or even balanced ternary)

hey, you banned me from r/badphil for arguing that LLMs don't have feelings. I probably was being an ass but the username/sub combo in your message triggered the memory.