gelisam

Deconstructing Bostrom’s Argument for AI Doom I had a pretty great discussion with social psychologist and philosopher Lance Bush recently about the orthogonality thesis, which ended up turning into a broader analysis of Nick Bostrom’s a…

Have you seen @norabelrose.bsky.social 's optimists.ai/2024/03/10/d... ? This is literally the only time I heard an AI optimist explain the AI doom position in detail _before_ arguing against it. Others seem to be dismissing the arguments before understanding them.

Indeed! Since the day is over, here is the answer in ROT13:

haqrsvarq :: UnfPnyyFgnpx => n

Oh, that video isn't an intro to React (only the first 10 seconds are).

For the category theory point of view, perhaps the paper "Declarative UIs are the Future — And the Future is Comonadic!"? I think he claims that each UI frameworks including React embodies a different comonad.

e.g. the first 10 seconds of this video summarizes what's good about react and teaches it with examples 🧑‍🍳👌
youtu.be/DIFPVCcolO8?...

I enjoy @t3.gg's videos in that area

I recommend today's haskle.net puzzle. It looks impossible, but in retrospect, it's blindingly obvious!

My wife participated in a contest contest about generating blog posts using AI. Her approach was to proof-read and fact-check each post. At first it looked like the guy who just generated 1000 garbage posts per day would win, but then Google caught him and delisted all his posts 👏

As for why filtering spam is easier: spam wants to sound fake because they only want gullible people to enter the costlier part of the funnel.
www.reddit.com/r/explainlik...

Actually, they succeeded! My wife used to make SEO websites for a living, but Google killed that entire industry in 2023. At the cost of lower quality search results: my wife and others were pouring their souls into making good contents for both humans and machines! SEO ≠ spam.

My wife used to hire writers to write these preambles, they write surprisingly fast. Then she used AI. And these days she's dropping the preamble because Google killed SEO, so she can finally focus on the recipe itself 😅

This is the first time I see an LLM response in which the AI appears curious to explore something! I did not mention "categorical semantics" at all, whatever that is, it is Claude who wants to explore that, not me.

Wow, I would love to work on a programming language (more specifically Klister github.com/gelisam/klister) full time! How long did it take you to get enough sponsorships to make that sustainable?

👋

Here it is! go.bsky.app/VAptMhY

Yay @kmett.org is here!

@bartoszmilewski.bsky.social just joined.

Hi Bartosz!

I recently added you via the Functional Programming starter pack bsky.app/profile/leos...

I'll try: do you live in a city where bikes are often stolen?

I now see how the "over several years" part might be discouraging but you have to understand that there wasn't a much learning material as today in 2006

Persevere! I gave up and tried many times over many years and now Haskell is like my number one attribute, e.g. a friend made a Haskell-themed cake for my birthday

👋

🙋

all right, time to give this site another go. where's the lambda gang at?

signal boost so that us PL twitter expats can find each other