allen

hopescrolling web🍰

Public Key

npub1sfhflz2msx45rfzjyf5tyj0x35pv4qtq3hh4v2jf8nhrtl79cavsl2ymqt

Profile Code

nprofile1qqsgym5l39dcr26p53fzy69jf8ng6qk2s9sgmm6k9fynem34llzuwkgpremhxue69uhkkmn0wd68ytnwv46hgunfdejjucm0d5arswpcxqq3vamnwvaz7tmwdaehgu3wwd6xz6m90yhxuet573us4a

Publishing to

knostr.neutrine.com:8880

nostr.stakey.net

Author Public Key

npub1sfhflz2msx45rfzjyf5tyj0x35pv4qtq3hh4v2jf8nhrtl79cavsl2ymqt

Show more details

Last Notes

2026-04-19 16:33:46 CEST

I prefer nostr for new content in general but this is stuff all bitcoiners know anyway and I wanna try to viralise it into normies’ minds:
https://x.com/allenf32/status/2045477517201477686

2026-03-31 12:19:40 CEST

- reply

what he said
#nevent1q…z2uq

2026-03-23 10:07:01 CET

- reply

infinite wish hack. big smarts.

2026-03-20 13:27:50 CET

wholesome sauce innit
https://www.youtube.com/shorts/w14JUOe6cbk

2026-03-17 11:03:43 CET

Take off the fake deep, take off the fake woke, take off the, "I'm broke, I care"
Take off the gossip, take off the new logic that if I'm rich, I'm rare
Take off the Chanel, take off the Dolce, take off the Birkin bag
Take all that designer bullshit off, and what do you have?

2026-03-16 15:42:03 CET

- reply

is there a futures market?

2026-03-16 13:27:40 CET

- reply

it’s only a quarter baked currently. I’m trying to bait nostr into filling in the gaps.

2026-03-16 13:23:23 CET

- reply

Claude, be less human to boost my ego. make no mistakes.

2026-03-16 13:22:46 CET

- reply

that’s the worst.

2026-03-16 13:20:59 CET

- reply

hard or soft?

2026-03-16 13:20:30 CET

I actually have some thoughts about AI in case anybody hasn’t heard much on the topic and is curious?

2026-03-16 13:00:37 CET

- reply

but a16z invested so I’m confused

2026-03-16 12:58:50 CET

- reply

bro I’m a carpenter

2026-03-03 20:31:18 CET

super fun, worth a watch:
https://www.youtube.com/watch?v=fsLh-NYhOoU

2026-02-26 17:27:23 CET

- reply

probably

2026-02-12 12:11:04 CET

- reply

then you are more optimistic than me on the timeline. I think we have the low-hanging fruit of people who will be interested for either technical or ideological reasons. but for the vast swathes of normies, fiat is always going to work better. until they are made to care about either inflation, privacy, or censorship resistance, you literally can’t build anything superior, as judged by criteria they care about.
I don’t mean this to be too doomery. I still think we win in the end and of course all this stuff ought to be built to facilitate victory. I’m just trying to be realistic about *how* we win.

2026-02-12 10:32:29 CET

- reply

most people think fiat works. we win at the margin when they get rugged and learn the error of their ways.

2026-02-02 05:27:39 CET

- reply

you.
you are the fake giraffe.

2026-01-31 06:15:50 CET

- reply

that’s like 60 million bitcoin 👀

2026-01-25 15:28:31 CET

TIL it’s an open problem whether there exists a polynomial bijection from Q to QxQ and therefore apparently a very very difficult question.
who knew?

2026-01-24 14:00:36 CET

- reply

I haven’t used but reading the comments it seems a bit clunky if viewed solely from that perspective. I think with enough volume you could justify a market maker that can actually quote prices and redeem instantly.

2026-01-24 10:58:13 CET

- reply

I once wasted an entire hour of pitching Axiom listening to some public pension plan schlub tell me how farcaster is the future and that it’s very existence proves crypto is a better stack to build apps on that route around bitcoin entirely. I hope the plan’s beneficiaries thank him for his service.
#nevent1q…8xh4

2026-01-24 10:55:14 CET

- reply

with enough volume you could turn this into a fully fledged p2p exchange.

2026-01-24 10:53:37 CET

- reply

speaking of which, @nprofile…8tea, do you even believe the reals exist?

2026-01-24 10:52:16 CET

- reply

doesn’t it feel weird? Q has infinitely many holes in it.

2026-01-24 10:51:42 CET

- reply

heine borel and anything relying on compactness fails.
weirdest/coolest result is IVT fails too, which is bizarre because on R continuity is strictly stronger than IVP, but in dense-but-not-complete R that flips.

2026-01-23 14:12:46 CET

they don’t tell you that virtually every concept surrounding continuity works on functions from Q to Q.
they don’t tell you this because they want you to be ignorant and afraid.

2026-01-22 22:31:35 CET

so interesting:
https://www.youtube.com/watch?v=jxu80s5vvzk

2026-01-22 12:06:01 CET

- reply

ah but you are assuming the algebra works such that (a,b)*(c,d)=(a*c,b*d) whereas I am analogising it to how C works with reals.

2026-01-22 12:03:39 CET

- reply

😂

2026-01-21 23:34:07 CET

- reply

think of it this way: to perform any arithmetic operation in QxQ you can only possibly require multiplication and addition of rationals, which, given Q is closed (just not complete) will give you answers in QxQ too.

2026-01-21 23:30:15 CET

- reply

why don’t they work? every nonzero element has a multiplicative inverse (which is kinda trivially demonstrable). what are you thinking the issue is?

2026-01-21 23:27:07 CET

- reply

I think you are reading too much into it. QxQ is useless, just fun. you may have missed it but I declared the other day this is a mathslop account now.

2026-01-21 22:46:00 CET

- reply

exactly

2026-01-21 22:45:38 CET

- reply

I don’t think so. {a+bi : a,b∈Q} is a field, multiplication exists and is closed. it’s just not complete, but that’s obvious because Q isn’t complete.

2026-01-21 22:25:02 CET

- reply

go on …

2026-01-21 22:20:25 CET

nobody ever talks about the complex-ish numbers as QxQ
everybody’s all “nooooooo you need to go from Q to R and THEN to C noooooo you have to do it in that order!”
but like … you don’t :/

2026-01-21 21:57:51 CET

teacher: “what is a number?”
student: “a number is a connected component of the terminal sub-bicategory of the 2-category of finitary endofunctors on the-“
[teacher shoots student in the face. the rest of the class is frozen in shock and fear.]
teacher: “anybody else? what is a number?”

2026-01-19 23:07:41 CET

- reply

although I guess mod 12 it is …

2026-01-19 23:07:08 CET

- reply

definitely not 7, I’ll tell you that for free

2026-01-19 23:06:30 CET

- reply

exqueeze me?

2026-01-19 22:44:39 CET

twitter is for hate scrolling the collapse of the west. nostr is for mathslop. this is a mathslop account now 👍

2026-01-19 22:43:28 CET

- reply

this is an autist dog whistle, isn’t it?

2026-01-19 22:42:45 CET

the first number is zero and the second number- wait no, that sounds dumb-

2026-01-15 22:53:34 CET

- reply

I absolutely do not and I would request you be careful with these fighting words, good sir.

2026-01-15 22:19:41 CET

I thought this was kinda cool. bummer Claude can’t access a real dictionary. if anybody wants to suggest a basis of English under definitional closure, that would be pretty dope:
https://claude.ai/share/86a61607-41fc-4e55-b6ba-bcc8dad0db4f

2026-01-15 15:19:01 CET

- reply

Bitcoin is about acceleration. do you know what else is about acceleration?

2026-01-15 15:18:21 CET

- reply

the attack surface of the calculus is -AAAAAARGHHHHHHH

2026-01-15 11:21:26 CET

honestly can’t stand people who say “the calculus”. I don’t think there is anything in bitcoin that annoys me this much …

2026-01-14 23:17:47 CET

innit bruv
https://www.youtube.com/watch?v=nVF4N1Ix5WI

2026-01-12 20:29:05 CET

- reply

I see what you did there

2026-01-04 11:04:50 CET

- reply

I preferred medieval total war tbh. rome felt too restrictive and contrived with the roman clans it made you start with.

2026-01-03 00:14:27 CET

lex friedman just did a podcast on (pretty much) my undergrad thesis so I forgive him for being a bit dumb on other things and I encourage you all to waste nearly 4 hours on this so we can be better friends:
https://www.youtube.com/watch?v=14OPT6CcsH4

2026-01-02 15:55:59 CET

- reply

for the foundations of mathematics

2026-01-02 14:13:10 CET

y’all keen on homotopy type theory or we sticking with ZFC for now?

2025-12-21 23:33:51 CET

- reply

I made it up

2025-12-21 22:35:00 CET

you can actually just ignore the current thing

2025-12-19 18:56:05 CET

- reply

at this point my wife and I will try literally any holistic health trend. red light, sunlight, seed oils, tallow, organ meat, Wim hof, microplastics, wireful headphones, etc, etc. just tell us mainstream medicine disapproves and we are good to go 👍

2025-12-19 17:48:55 CET

Gödel’s third incompleteness theorem is that any sufficiently complex pseudo-intellectual thoughtwank is incomplete without nonsensical reference to the first two theorems.

2025-12-19 17:41:02 CET

- reply

that is not at all what the incompleteness theorems say, nor do they have any bearing whatsoever on physical systems. this is all literal nonsense. it is not even wrong.

2025-12-19 17:17:31 CET

- reply

it’s Friday, Friday, gotta get down on Friday

2025-12-19 17:09:46 CET

- reply

can you please explain this sentence?
“Gödelian limits already explain why this axiom cannot be settled by measuring Planck time from within the system”

2025-12-19 17:08:41 CET

- reply

a quantum resistant car, obvs

2025-12-19 17:06:23 CET

- reply

of course, because if you could prove it’s impossible then it wouldn’t work as FUD, would it?

2025-12-19 14:29:28 CET

- reply

me, I like mobilecoin

2025-12-19 14:28:56 CET

- reply

it’s also the game theoretically perfect FUD because it will never actually happen, hence the theoretical threat will never go away, hence the materially conflicted can get research grants and engagement farm forever.
it’s “the climate crisis” for cryptography nerds.

2025-12-19 14:26:07 CET

- reply

*reassigned ownership in a strictly above board legal manner

2025-12-17 00:16:24 CET

- reply

wireful ftw

2025-12-17 00:13:10 CET

- reply

LIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIFT

2025-12-09 12:23:33 CET

- reply

NO U!

2025-12-09 12:23:19 CET

- reply

;

2025-12-09 10:06:29 CET

- reply

fascist

2025-12-08 14:46:18 CET

- reply

yeah the truth hurts

2025-12-08 14:46:02 CET

- reply

ah crap. that’s probably the one I mean. oh well.

2025-12-08 14:28:32 CET

- reply

that bitcoiners are bullies

2025-12-08 12:37:15 CET

GUYS GUYS GUYS
Eric Weinstein is back on the bird app talking shit about bitcoin.
@nprofile…wxz8, can you please tell the story about him now? you know … THE story? 😜

2025-12-06 11:21:59 CET

what is the purpose of the p2p relay network?
genuinely interested in any and all sincere suggestions …

2025-12-03 21:54:38 CET

- reply

Juror #2

2025-12-03 10:57:52 CET

shit’s popping off on the bird app with Brock 😂
https://x.com/brockm/status/1996010191113035830

2025-12-03 09:55:23 CET

- reply

sorry, wait a minute, are you saying there are finitely many primes?

2025-12-02 22:49:34 CET

anybody got any good leads on twin prime conjecture?

2025-12-02 22:43:49 CET

- reply

🙏

2025-12-02 22:43:16 CET

https://www.youtube.com/watch?v=egA9K_R5pkg

2025-12-01 14:30:53 CET

- reply

tracker is cargo cult (for exercise at least, I can see a better argument for sleep perhaps). makes you feel like you know what you are doing and are doing something without actually knowing or doing anything. you need to learn to feel it or you will never meaningfully improve.

2025-11-24 22:44:26 CET

- reply

😏
https://www.youtube.com/watch?v=uFpK_r-jEXg

2025-11-24 22:39:48 CET

The Nutcracker is mind bogglingly good if you think of it as an album. there are 8+ absolute bangers.
king shit from Tchaikovsky 👑🙏

2025-11-22 10:57:28 CET

@nprofile…k0vf and I appear to have very different moods …
https://blossom.primal.net/83194c476b0e3eabcc272aa66b1e8ac7bf28c624fe607de9602d1edbf46f7a59.jpg

2025-11-22 10:40:02 CET

- reply

I mean … yeah …

2025-11-21 19:42:50 CET

mood
https://www.youtube.com/watch?v=RusC5iqkXMo

2025-11-19 10:06:54 CET

- reply

what were you wearing?

2025-11-13 17:30:01 CET

- reply

huh?

2025-11-11 16:37:13 CET