spew

https://hj.9fs.net/spew

I'm Benjamin.

Anti-technologist married to a luddite.

Location: Mexico City
Diet: Vegan(mostly)
Religion: Buddhism
Politics: Anarchism
Languages: English, Español
Death To: AI, Capitalism

Public Key

npub1dq7y9wmpddsmgftvtc6uyj8f0tfgcnsqumpcl4dr0yrevkctdypqfqykdd

NIP-05 Address

spew_at_hj.9fs.net@momostr.pink

Profile Code

nprofile1qqsxs0zzhdskkcd5y4k9udwzfr5h455vfcqwdsu06k3hjpuktv9kjqsprpmhxue69uhhyetvv9ujumt0d4hhxarj9ecxjmntjej5ec

Publishing to

relay.momostr.pink

Author Public Key

npub1dq7y9wmpddsmgftvtc6uyj8f0tfgcnsqumpcl4dr0yrevkctdypqfqykdd

Show more details

Last Notes

2026-02-01 19:10:26 UTC

I just realized that the correspondence between vectors in the tangent space and derivations at a point is a direct consequence of the Yoneda Lemma. A derivation at a point is a natural transformation between germs of smooth functions C(R^n,-) and vectors in the tangent space T_p(-). By Yoneda, any such derivation corresponds uniquely to a vector in T_p(R^n).

2026-01-29 15:22:59 UTC

- reply

por supuesto lo voy a comprar mañana. Gracias!

2026-01-29 03:58:28 UTC

- reply

it's in the gutter! O the symbolism!

2026-01-27 17:15:47 UTC

Doing some more math. My long-term goal is to read Differential Forms in Algebraic Topology, so I'm starting with An Introduction to Manifolds by Loring Tu.
https://hj.9fs.net/spew/s/post-adabfb2788baa612e9070d7a0fe0d60c.png
https://hj.9fs.net/spew/s/post-f19f9a0d9ac3a7ef07f0664fce26ea23.pdf

2026-01-26 18:48:58 UTC

- reply

apropos: purdue pharmaceutical's main business now is opioid addiction treatment

2026-01-26 17:32:48 UTC

enough already with all the content

2026-01-25 00:00:10 UTC

- reply

that's not true about the Aztec thing. Not at all.

2026-01-23 20:57:33 UTC

- reply

Wow! Congratulations!

2026-01-23 02:52:54 UTC

- reply

2026-01-22 16:50:58 UTC

That's it, no more fediverse for today

2026-01-22 16:47:19 UTC

- reply

well done, gonna elide all my sentences now

2026-01-22 16:34:50 UTC

- reply

this is particularly painful for snac web ui users

2026-01-22 15:55:05 UTC

- reply

Get well, keep writing, little things like this help keep the world a better and more hopeful place

2026-01-22 15:46:31 UTC

- reply

2026-01-21 19:56:39 UTC

- reply

only $19.95 to find out

2026-01-21 00:25:40 UTC

- reply

speak for yourself

2026-01-20 20:40:49 UTC

- reply

doesn't count because that's when she was under Grendel's spell

2026-01-20 20:33:37 UTC

- reply

I'll miss you

2026-01-20 02:23:22 UTC

- reply

boats

2026-01-19 20:56:06 UTC

Just started sobbing listening to "et in terra pax hominibus bonae voluntatis" from bach's missa in h moll. I suppose it's to be expected.

2026-01-19 19:36:03 UTC

- reply

almost as if she is expecting you to kiss her paw to show your loyalty.

2026-01-18 13:43:17 UTC

- reply

this is exactly what @npub1wfp…w2m9 is currently working on, their latest update on this project being https://soatok.blog/2025/12/15/announcing-key-transparency-fediverse/. So I was under the impression that it very much can happen.

2026-01-18 01:49:52 UTC

- reply

I think I should get a prize because I know what all those things are

2026-01-17 16:45:59 UTC

- reply

the video is sped up 2x, so slow it down 2x for the real experience

2026-01-17 16:44:57 UTC

- reply

this sounds ominous. What happens in the end?

2026-01-17 14:38:48 UTC

Adventures in cross-compiling: sl running on my kobo ereader. #StreetLISP #lisp [@sigrid@ftrv.se](https://nein.ftrv.se/users/sigrid )
https://hj.9fs.net/spew/s/post-6a386f5b28fa23a50812f74511307391.mp4

2026-01-16 01:57:03 UTC

- reply

no exactamente eso pero me recuerda un poco de este software de neural nets que sí, algunas personas usan para tareas. Es uno de los ejemplos. https://wiki.xxiivv.com/site/neural_nets.html

2026-01-15 20:22:08 UTC

Well I'm drunk on half a bottle of wine and the altitude at the mountain house (9000 ft, 2800 meters) helps and I'm reading Nona the Ninth and the fire is cozy.

2026-01-15 17:49:14 UTC

- reply

including that one

2026-01-15 17:48:40 UTC

- reply

I prefer to think that all naive takes are hot

2026-01-15 17:44:13 UTC

Got a nice fire going at the mountain house.
https://hj.9fs.net/spew/s/post-c20ac95b1244a5af0d0d3ab4b08130de.mp4

2026-01-15 16:12:37 UTC

I'm back at the mountain house where I left half a bottle of wine so my alcohol free streak may be coming to an end.

2026-01-15 14:04:38 UTC

I like mathematics because no matter how fucked up the real world is, the mathematical world remains pure and beautiful. Nothing will ever make Galois theory less elegant or true.

2026-01-15 03:08:50 UTC

I more or less stopped drinking alcohol, I think I haven't had a drink in two weeks. I'm actively trying not to drink any more. I feel desperate for a drink every day now, so maybe I was an alcoholic.

2026-01-14 15:36:09 UTC

- reply

sorry to ruin this for you but llms are just markov chains

2026-01-11 04:59:12 UTC

- reply

that's my strategy for everything!

2026-01-11 00:47:20 UTC

- reply

And to think all it took was having the pain treatment done and feeling better and being off the bad steroid that made my face hurt and having the ability to make my favorite stew!

2026-01-10 01:58:43 UTC

- reply

I wish it were always soup time

2026-01-09 16:24:22 UTC

It took me five days to really understand the yoneda lemma, it has a lot of moving parts. So here's my own very complete and verbose proof of the contravariant functor version. Alt text is the pdf. Enjoy!
https://hj.9fs.net/spew/s/post-31751d5328359ef163618d4512c2e75c.png
https://hj.9fs.net/spew/s/post-2f780bf0148049df9199afcc7f05efa3.png
https://hj.9fs.net/spew/s/post-742d3f91b2495c766ecfe49a532974fa.png
https://hj.9fs.net/spew/s/post-84b98539642f9c5eb4d9eb07b2612abe.pdf

2026-01-09 14:23:51 UTC

It took me five days really to understand the yoneda lemma, it has a lot of moving parts. So here's my own very complete and too verbose proof of the contravariant functor version. Alt text is the pdf.
https://hj.9fs.net/spew/s/post-e41f02a57608224ac6ba895e407e6e17.png
https://hj.9fs.net/spew/s/post-0d27b15e015c994ca541c9a12d74d87b.png
https://hj.9fs.net/spew/s/post-c14580ac1dcfc46d80857d0b3c618d32.png
https://hj.9fs.net/spew/s/post-b7a248d46acc488215dedfb24909ca1d.pdf

2026-01-08 14:28:10 UTC

- reply

I think I use cp for this

2025-12-23 17:18:44 UTC

- reply

that's very helpful advice, thank you.

2025-12-23 01:34:15 UTC

- reply

2025-12-22 20:36:44 UTC

- reply

what song?

2025-12-20 00:48:11 UTC

- reply

Yes! If it's easy it's not worth doing. If it's hard you're going to feel like shit. Have fun!

2025-12-19 21:06:11 UTC

- reply

mexico is doing well right now but no one pays any attention

2025-12-19 14:36:43 UTC

- reply

I still have "pork chop sandwiches" and "I'm a body massage machine" seared into my brain.

2025-10-22 05:15:14 UTC

- reply

unsubscribe

2025-10-20 18:23:11 UTC

- reply

It's nice to see that grendel won

2025-10-20 16:04:05 UTC

- reply

Yes

2025-10-20 14:48:44 UTC

- reply

But amazon's not one of them

2025-10-20 04:13:55 UTC

- reply

Make me

2025-10-20 03:49:47 UTC

- reply

oh you're going to regret that

2025-10-20 03:33:04 UTC

- reply

prove it

2025-10-19 04:45:35 UTC

- reply

I'm not giving up

2025-10-18 19:35:08 UTC

- reply

Thank you for the poetry!

2025-10-18 19:05:48 UTC

- reply

El tiempo es un
Adornado
Por ti,
Una joya
Facetada
Se hace
De estrellas

2025-10-18 14:08:27 UTC

- reply

He told me he was

2025-10-16 21:51:08 UTC

LinkedIn is fun
https://hj.9fs.net/spew/s/post-e97e6e2791d1816fb2bf3835bb6b09e7.jpg

2025-10-10 05:05:16 UTC

- reply

Word

2025-09-16 01:00:14 UTC

- reply

Que muera Israel cabrones

2025-09-16 00:59:23 UTC

Que viva mexico cabrones

2025-09-10 18:05:46 UTC

FUCK ISRAEL

2025-08-19 00:12:11 UTC

- reply

DOOOOOOOOOOOOOOOOOTS
CC: @npub1e3p…yqgr

2025-08-17 05:58:11 UTC

- reply

Great keyboard too
CC: @npub1lym…fqe3

2025-08-12 13:59:37 UTC

What kind of haskell programmer are you?

2025-07-17 16:31:27 UTC

- reply

every morning I get to decide if I'm a people or a kobold or a creature.

2025-07-16 23:16:22 UTC

- reply

I once hiked the trail there. SO MANY BEARS

2025-07-16 05:19:15 UTC

- reply

"This profile or page does not exist."
Sincerely,
Disappointed

2025-07-16 05:11:29 UTC

- reply

I have to admit the existential dread was particularly strong today

2025-06-09 12:52:46 UTC

- reply

Quantum mechanics

2025-06-09 02:26:01 UTC

- reply

Nopales. Unless he just ate one, then he ate a nopal. They are delicious and very very healthy. Eat your nopales!

2025-06-08 21:20:40 UTC

- reply

behold: https://github.com/spewspews

2025-06-08 18:48:12 UTC

I finally deleted my github account and moved everything to sourcehut.

2025-06-07 16:14:23 UTC

- reply

We have to find or create more non-corporate, non-capitalist alternatives. I think this is what you're doing with Ariadne. It's hard to get off the merry go round when you feel like you're chained to it.

2025-06-05 04:31:44 UTC

- reply

I have faith in the goodness of mankind but not in the goodness of capitalism, which is what's holding the reins.

2025-04-29 01:58:23 UTC

- reply

I should try this too

2025-04-23 03:14:09 UTC

- reply

Something to cheer me up maybe.
Sorry could not resist!

2025-03-08 06:22:37 UTC

- reply

That really brought back a flood of college memories

2025-03-05 15:06:19 UTC

Death of Piro #4 is out
http://stanleylieber.com/2025/03/04/0/

2025-03-04 04:20:20 UTC

Is this article right in saying llms are just markov chains with optimized lookup tables? I don't know how they work and I don't know what to believe anymore.
https://mindmatters.ai/2025/03/how-the-father-of-information-theory-invented-modern-ai/