<unnamed>

Public Key

npub1sfhflz2msx45rfzjyf5tyj0x35pv4qtq3hh4v2jf8nhrtl79cavsl2ymqt

Profile Code

nprofile1qqsgym5l39dcr26p53fzy69jf8ng6qk2s9sgmm6k9fynem34llzuwkgpremhxue69uhkkmn0wd68ytnwv46hgunfdejjucm0d5arswpcxqq3vamnwvaz7tmwdaehgu3wwd6xz6m90yhxuet5qyt8wumn8ghj7un9d3shjtnwdaehgu3wvfskueqpzemhxue69uhhyetvv9ujuurjd9kkzmpwdejhgqfpwaehxw309ahx7um5wfex2mrp0yh8gcted3hhyur9wfex7m3wvdhk6qg4waehxw309aex2mrp0yhxjmn8wa5k2tndv5g66rn8

Publishing to

knostr.neutrine.com:8880

nostr.stakey.net

relay.nostr.band

relay.primal.net

nostrrelay.taylorperron.com

relay.ingwie.me

Last Notes

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 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-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

put a banana in your ear.
few.

2025-11-10 11:20:55 CET

- reply

is this like a technical argument or a Spartacus argument?

2025-11-09 20:12:03 CET

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

2025-11-08 15:39:21 CET

https://blossom.primal.net/13a2b91b4e51451d38b91b1ff5454398aa52803a19769689fea1639054d0b7d7.jpg

2025-11-07 15:54:11 CET

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

2025-11-05 16:42:36 CET

- reply

“and booked a YUGE 1.4% profit over 6 months”

2025-11-05 16:23:45 CET

- reply

is there ever a situation in which this isn’t the best move?

2025-11-05 14:35:58 CET

- reply

that would be a pretty sweet technicality to avoid losing the bet on

2025-11-05 10:18:54 CET

- reply

REEEEEE CENSORSHIP STORE MY DICKBUTT YOU FASCIST!

2025-11-05 10:04:59 CET

fun fact: anybody upset about the word “retarded” is literally changing their use of language on direct orders from the Obama White House.
try to remember that when you think you are being kind: you are just doing what you are told.

2025-11-04 22:14:26 CET

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

2025-11-03 19:30:15 CET

mood
https://www.youtube.com/watch?v=fnx-UGa9bPA

2025-11-02 14:48:23 CET

read Wendell Berry.
that’s it. that’s the note.

2025-10-27 22:48:55 CET

twas brillig

2025-10-26 19:33:15 CET

read A Gentleman In Moscow. thank me later.

2025-10-26 11:41:16 CET

- reply

supposedly

2025-10-26 11:38:41 CET

I think we should call op codes spells.
“bitcoin has enough spells” or “bitcoin needs more spells” both hit harder no matter which side you take.

2025-10-26 08:30:06 CET

- reply

yeah but everything sounds better in French

2025-10-26 08:06:02 CET

“Florence” may be the only word in English that actually sounds nicer than the Italian …

2025-10-22 19:31:55 CEST

- reply

innit
nevent1qqswqqvq7vg333a4zxdwca8uruuvu886v8njg7v52lx4yv35ua22u2s8pa3sv

2025-10-21 11:16:53 CEST

Bitcoin, Fiat, and Islamic Finance by Harris Irfan and me.
very long in the works, finally arrived! hope you all enjoy.
https://www.axiombtc.capital/islamic

2025-10-20 13:18:52 CEST

do ballerinas have good job security or nah?

2025-10-14 16:59:52 CEST

“saving private buyin” is a genius tagline for a p2p bitcoin exchange, I’m amazed nobody has used it yet.

2025-08-23 00:51:02 CEST

- reply

say you are constantly telling people not to say or do naughty things and if anything the app is very helpful in this respect because without it you would have no way of communicating with them