2026-05-29T21:30:37Z https://yabu.me Jade Master https://yabu.me/npub1vlp5j2mcgzckz3gadkd46u53xqvc5dy6aqlp2wechttrehxyl3cqzutswa https://media.mathstodon.xyz/accounts/avatars/109/383/525/375/198/137/original/89c54202bbf5367f.jpg https://media.mathstodon.xyz/accounts/avatars/109/383/525/375/198/137/original/89c54202bbf5367f.jpg https://yabu.me/nevent1qqs0l8je3ez5fh3ek3gx2lzmkj4t3r4q02ma33ezf8zmvzxvqwtankgzypnuxjft0pqtzc29r4kekhtjjycpnz35nt5ru9fm8zadv0xucn78qervdrj RE: <a href="https://mathstodon.xyz/@johncarlosbaez/116535036632605800">https://mathstodon.xyz/@johncarlosbaez/116535036632605800</a><br/><br/>And then god said, let Freiman&#39;s constant be (2221564096 + 283748 sqrt(462)) / 491993569<blockquote class="border-l-05rem border-l-strongpink border-solid"><div class="-ml-4 bg-gradient-to-r from-gray-100 dark:from-zinc-800 to-transparent mr-0 mt-0 mb-4 pl-4 pr-2 py-2">quoting <br/><span itemprop="mentions" itemscope itemtype="https://schema.org/Article"><a itemprop="url" href="/note1uw55822xz0k9nsa6mas9nd0ex87k7fwyv94t949ccpx5wzphgk6qppzcel" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1">note1uw5…zcel</a></span><br/> </div> Here's my big recent surprise: the number<br/><br/>F = (2221564096 + 283748 sqrt(462)) / 491993569<br/><br/>plays a fundamental role in number theory! <br/><br/>For any irrational x, we define its 'Lagrange number' to be the supremum of c such that<br/><br/>|(p/q) - x| < 1/cq² <br/><br/>has infinitely many solutions for rationals p/q. So, the bigger the Lagrange number is, the easier x is to approximate by rational numbers. Quite famously, the golden ratio has the smallest possible Lagrange number, namely √5.<br/><br/>Here's the shocking fact: every real number ≥ F is a Lagrange number, and F is the smallest number with this property!<br/><br/>F is called 'Freiman's constant', because he proved this fact. His proof is 100 pages, and I don't want to read it... but some people have.<br/><br/>There's a lot more crazy stuff about the set of all Lagrange numbers. A tiny bit is here:<br/><br/><a href="https://en.wikipedia.org/wiki/Markov_spectrum#Lagrange_spectrum">https://en.wikipedia.org/wiki/Markov_spectrum#Lagrange_spectrum</a><br/> <img src="https://media.mathstodon.xyz/media_attachments/files/116/535/023/737/715/328/original/50b94e20f36ae206.png"> <br/> </blockquote> 2026-05-08T07:34:21Z https://yabu.me/nevent1qqs2xkm3z94wcg2wmg39q3ygex6jdzaep8lh42knfc3r4sdq6c20sfgzypnuxjft0pqtzc29r4kekhtjjycpnz35nt5ru9fm8zadv0xucn78qa3em9k In reply to <a href='/nevent1qqsr7lk3q4d4yp3xxx5suexu2vw9tqtgq3kktqtnkzk4x50eqvjycaqr2l33r'>nevent1q…l33r</a><br/>_________________________<br/><br/>it&#39;s a *big* subject, surely there&#39;s room for a second book? 2026-04-29T07:55:17Z https://yabu.me/nevent1qqsg9uq90uvwg9a9n7wk08j3epj5xhcr37c40xdlzwc78vywqu2fggszypnuxjft0pqtzc29r4kekhtjjycpnz35nt5ru9fm8zadv0xucn78qfa9je2 In reply to <a href='/nevent1qqs27vdpdsluct49fh4pvqhw7h0hkkd2qy3h2vghdl73mx5unrx0jmsmc9qkr'>nevent1q…9qkr</a><br/>_________________________<br/><br/>And here I thought a feldspathoid was a many object feldspath :p 2026-04-19T19:06:06Z https://yabu.me/nevent1qqsddhy7q274gwzqt58lu39un6p9hdhv7mc3tezdc5lpfzms9znsysczypnuxjft0pqtzc29r4kekhtjjycpnz35nt5ru9fm8zadv0xucn78qdf9rlm In reply to <a href='/nevent1qqs292haka7kvgcxxzrj5w9egdmvzgjs8n4lzhre69cp4ty4rdad34gymspkz'>nevent1q…spkz</a><br/>_________________________<br/><br/>Did GPT give the correct proof in one shot?, or was it a more iterative process with the prompter? 2026-04-18T09:39:34Z https://yabu.me/nevent1qqs0pcu85vxyadyet03wtyzz5s5zrezrqslv535ez9v5md6ak3feyqgzypnuxjft0pqtzc29r4kekhtjjycpnz35nt5ru9fm8zadv0xucn78qjpjsat In reply to <a href='/nevent1qqsxtk8gluxltfpzal3p9qwpl3f330928lczzwx0clv5044h8r3cspcdlj4f7'>nevent1q…j4f7</a><br/>_________________________<br/><br/>Seems like there was a lot of work done by humans in completing this proof (much of it done by one of the worlds most eminent mathematicians) so I wouldn&#39;t personally give GPT the credit for this one, just for coming up with the initial idea. 2026-04-18T06:52:24Z https://yabu.me/nevent1qqsqea8xqj9n0vrzcmf76glcl4cj9t3w8yz8yntwk4m9s7km93a298szypnuxjft0pqtzc29r4kekhtjjycpnz35nt5ru9fm8zadv0xucn78qetjery In reply to <a href='/nevent1qqsx0k3xrswxnhgdnssdd90zll87v3r8navrsv9jeqdf9nmwcu6k0sg6an9kc'>nevent1q…n9kc</a><br/>_________________________<br/><br/>Wow this looks so fun. Yes please! 2026-04-14T08:26:10Z https://yabu.me/nevent1qqs8pshr9ndqqcrqd5vcxwrw96ht32cj4l589vducs7seh5xt60xc8gzypnuxjft0pqtzc29r4kekhtjjycpnz35nt5ru9fm8zadv0xucn78qzfdha4 In reply to <a href='/nevent1qqsw8d3r2mjvwpj56ts9p8elscujkuzkf0yn0h7xtygf0rrg866zm4srtdgx6'>nevent1q…dgx6</a><br/>_________________________<br/><br/>Would be fun to add some finite categories to this. Might be something like a categorical OEIS 2026-03-19T09:31:09Z https://yabu.me/nevent1qqs0483s9llgdewnkp8gajnujq6gqswxcqvzw3g7xjjxju4gkj73u7gzypnuxjft0pqtzc29r4kekhtjjycpnz35nt5ru9fm8zadv0xucn78qk0nj5u In reply to <a href='/nevent1qqsf6xyhh08av87qptcflh39sqvfqm3d5f5r6vuekvzccqpq869ptns7pvkl7'>nevent1q…vkl7</a><br/>_________________________<br/><br/>I still have your tikz presets for drawing Petri nets like that, might break them out if I&#39;m feeling nostalgic :) 2025-10-09T15:45:35Z https://yabu.me/nevent1qqsqz32px2en4mfyq54lhaqenmj8hpmpd9xs3tsy4h3dueqt4v30d0gzypnuxjft0pqtzc29r4kekhtjjycpnz35nt5ru9fm8zadv0xucn78qcm9rg0 May your Petri nets be colorful <a href="https://arxiv.org/abs/2510.01946">https://arxiv.org/abs/2510.01946</a> 2025-10-09T09:30:18Z https://yabu.me/nevent1qqsx86fn76gekjp355n5pawt0s5wwpgj42rv55npmss70v8njxqq46szypnuxjft0pqtzc29r4kekhtjjycpnz35nt5ru9fm8zadv0xucn78qe00jhz In reply to <a href='/nevent1qqst8tspsmzg707qrk7nxsknh2k9xw00f5ws2vkd9pcsuxuhxpn7r2q73sz32'>nevent1q…sz32</a><br/>_________________________<br/><br/>Actually nevermind I think it was Lawvere&#39;s idea first 2025-09-14T12:16:33Z https://yabu.me/nevent1qqst8tspsmzg707qrk7nxsknh2k9xw00f5ws2vkd9pcsuxuhxpn7r2qzypnuxjft0pqtzc29r4kekhtjjycpnz35nt5ru9fm8zadv0xucn78qus37y2 <a href="https://arxiv.org/abs/2509.05900">https://arxiv.org/abs/2509.05900</a> I had this idea years ago but I never wrote a paper about it...just a blog post <a href="https://jadeedenstarmaster.wordpress.com/2019/03/31/dynamical-systems-with-category-theory-yes/">https://jadeedenstarmaster.wordpress.com/2019/03/31/dynamical-systems-with-category-theory-yes/</a><br/>Would have been nice to get a citation... 2025-09-14T10:04:50Z https://yabu.me/nevent1qqs0kdgel4ry34fxv8ahu82x90ttrpf64hkl6ywdpx6v29uqaqvt49szypnuxjft0pqtzc29r4kekhtjjycpnz35nt5ru9fm8zadv0xucn78q04zpfk In reply to <a href='/nevent1qqsqwqfhf6zauxlqvdrd00p6p8400d223nssqtykvudh3cfd3sh3qkskrzuel'>nevent1q…zuel</a><br/>_________________________<br/><br/>holy shit, this is a find! 2025-07-24T12:34:29Z https://yabu.me/nevent1qqsqd2ywqv703dezccj4gc24l79lu33zq6dryk7l8822ztt4jmdessszypnuxjft0pqtzc29r4kekhtjjycpnz35nt5ru9fm8zadv0xucn78q0w393f In reply to <a href='/nevent1qqsye3e959shj886hqgkewf5sehn02wvly3s7ync4mza9crjk50wanqpzy3kd'>nevent1q…y3kd</a><br/>_________________________<br/><br/>Oh fair enough, I&#39;ll stick with NPR then as long as long as it&#39;s still playing 2025-06-14T08:50:21Z https://yabu.me/nevent1qqsdfz47ke6h4d3gfn9d4rq64fdlgr3hfcty20pgfqpfqrvnwcmdlngzypnuxjft0pqtzc29r4kekhtjjycpnz35nt5ru9fm8zadv0xucn78qgwn0kq In reply to <a href='/nevent1qqsp0x5yfwpker4vzsp4f4zev4xdcvf67ey5vtqjr5autk904nyw6js208dnl'>nevent1q…8dnl</a><br/>_________________________<br/><br/>I&#39;m not sure where I&#39;ll get reliable US news after NPR goes... maybe you have a favourite? 2025-06-14T07:40:44Z https://yabu.me/nevent1qqsqrghskzfkyaxxrmyz95wzzj92jnk7jakxhv4qa0p8dvamrddhlgszypnuxjft0pqtzc29r4kekhtjjycpnz35nt5ru9fm8zadv0xucn78qvu9jes House votes to kill U.S. funding for NPR and PBS <a href="https://www.npr.org/2025/06/12/g-s1-72223/public-media-funding-up-in-the-air-as-house-prepares-to-vote-on-claw-backs">https://www.npr.org/2025/06/12/g-s1-72223/public-media-funding-up-in-the-air-as-house-prepares-to-vote-on-claw-backs</a> very disappointing to see 2025-06-13T19:56:49Z https://yabu.me/nevent1qqszfe68gcxya3qwt9vy0z7eewrmhrda5qgxrmujac77v2mryy5g8wszypnuxjft0pqtzc29r4kekhtjjycpnz35nt5ru9fm8zadv0xucn78qjunjq0 In reply to <a href='/nevent1qqsxpst5z4e58zy59m90f4zzr8nq3xgpwa9q496xjruf32hzd4eudacwx0skk'>nevent1q…0skk</a><br/>_________________________<br/><br/>Did you ever learn the Hamilton Jacobi Bellman equation? That&#39;s what I&#39;m focusing on at the moment since I&#39;m also interested in control theory and variational calculus :) 2025-05-26T07:40:14Z https://yabu.me/nevent1qqszysacyg0ljckungvxtk7pw8r5cz9su68tkyknaq5t7tmtxspczpczypnuxjft0pqtzc29r4kekhtjjycpnz35nt5ru9fm8zadv0xucn78qzq3vp8 I&#39;ve been learning about PDEs. I think they are a lot fun and even more vibes based than category theory. 2025-05-25T14:36:00Z https://yabu.me/nevent1qqs9aq33tx7qg2k5dlegjmj49ntw4yt0cxuvjucsxv79jqs6n0vzm0qzypnuxjft0pqtzc29r4kekhtjjycpnz35nt5ru9fm8zadv0xucn78qaf422u Begging and crying and constipating for a vegetarian protein option that&#39;s not cheese 2025-04-23T09:30:59Z https://yabu.me/nevent1qqsdgmz4gw096xgce2rl966td53ctjhwuns4z60vsfuwdugn9a99n5szypnuxjft0pqtzc29r4kekhtjjycpnz35nt5ru9fm8zadv0xucn78qx8d8hx In reply to <a href='/nevent1qqs9w9t9k3c5ujurw5r8mnghq9sgx7qdselq0d5r7fnnhs0jtja3kgsdvxt87'>nevent1q…xt87</a><br/>_________________________<br/><br/>what about in the UK? 2025-04-22T04:02:44Z https://yabu.me/nevent1qqsg9a4qhnyawvdv0sgc0kt277dqal07gl4ztrnknuqqe76t52gemaczypnuxjft0pqtzc29r4kekhtjjycpnz35nt5ru9fm8zadv0xucn78q3al6nk In reply to <a href='/nevent1qqsf6e4j5rhrcduy355pjwuuqrc734ta6h3s3j3wghmx4uh6ptr4h0gah3myl'>nevent1q…3myl</a><br/>_________________________<br/><br/>I am conflating configuring Pythagorean Theorem with what I want to call Pythagorean Fact...that a^2 + b^2=c^2. The Babylonians certainly discovered the fact! 2025-04-11T09:39:29Z https://yabu.me/nevent1qqsp2alj4djuvz6w8zvatlmgdluq87z3eqdm96g33n3kcfuv8gsfssczypnuxjft0pqtzc29r4kekhtjjycpnz35nt5ru9fm8zadv0xucn78qlx255u Today I learned Pythagorean Theorem was not discovered by Pythagoras, it was actually discovered 13-15 centuries earlier in Iraq! 2025-04-10T20:39:58Z https://yabu.me/nevent1qqs92cv93v4l6x2t7l6lqg0tyr68562ta4z87h8wqkkvskxstkvsa7qzypnuxjft0pqtzc29r4kekhtjjycpnz35nt5ru9fm8zadv0xucn78qy9tfsp In reply to <a href='/nevent1qqsq4dmjp4f22g6cftukckaal5uehjmml8dq8xp37mm7j28epssrcugtsu4s6'>nevent1q…u4s6</a><br/>_________________________<br/><br/>without admitting to watching her videos I&#39;ll say that she thinks the majorana qubits are fake. 2025-03-05T08:17:07Z https://yabu.me/nevent1qqsfum2n4sadtyyhlxdst7lzneuazmex04qp8mjn97npm64xw64hh8czypnuxjft0pqtzc29r4kekhtjjycpnz35nt5ru9fm8zadv0xucn78qy87chj Was Sabine Hoffensfelder right about the Majorana Qubits? 2025-03-04T22:08:04Z https://yabu.me/nevent1qqsx8msrjxvcp06hppkl8ma4w3wepg3mq6lfyq2rkpjqqja7c0k266gzypnuxjft0pqtzc29r4kekhtjjycpnz35nt5ru9fm8zadv0xucn78qvd38wg In reply to <a href='/nevent1qqsq2jwzr58sjkyyar57rm4639eekatnxackjcp0jvrvexkncnudlgqjcjr7h'>nevent1q…jr7h</a><br/>_________________________<br/><br/>I think my biggest problem for academic jobs was that all my options were in a CS department. I&#39;m much better at teaching calculus than iCS topics which I never learned as a student. 2025-02-26T02:27:44Z https://yabu.me/nevent1qqsq2jwzr58sjkyyar57rm4639eekatnxackjcp0jvrvexkncnudlgqzypnuxjft0pqtzc29r4kekhtjjycpnz35nt5ru9fm8zadv0xucn78qkk3pru In reply to <a href='/nevent1qqstj00zca3kp4umhjtc4fqwe9t7e6kzyhe0ml5w5g4nma37cjalsnsc60yee'>nevent1q…0yee</a><br/>_________________________<br/><br/>Yes I tried for teaching jobs and academic jobs, they wanted me to move all over the world and I wasn&#39;t lucky enough to get any of the ones in Glasgow.<br/><br/>I would still be happy to get an academic job in this city, but hearing about what it&#39;s like from my friends who are academics...it seems a lot harder and more stressful than what I currently have. 2025-02-26T02:24:21Z https://yabu.me/nevent1qqsp0rlf4jxaflfrpma3lcmgczery4gvc9w4n4rggjmu38sceuusnxszypnuxjft0pqtzc29r4kekhtjjycpnz35nt5ru9fm8zadv0xucn78q7hxf80 In reply to <a href='/nevent1qqsgczeffeklq0pmskalg48ctverdaz58lr8x0admxv0a5hl39tqxtq5pp4aq'>nevent1q…p4aq</a><br/>_________________________<br/><br/>No but I don&#39;t actually work on AI directly, I work on other things and argue that later on it will be useful for making AI better. 2025-02-26T02:04:59Z https://yabu.me/nevent1qqs8whr557f5hupmektdfh9q4hj9r8q2nqce46jt9qcn8gd6htd862qzypnuxjft0pqtzc29r4kekhtjjycpnz35nt5ru9fm8zadv0xucn78q0qppwx In reply to <a href='/nevent1qqsrndv5sg7ap35gda6ync4vkkztmwsvll9fu33c9c4uden07ugzftsxueezr'>nevent1q…eezr</a><br/>_________________________<br/><br/>You&#39;ve had the luxury of retirement...and I&#39;ve had to make some choices. Although I am working on AI, I am comforted by the fact that my job gives me a lot of independence and freedom to work on what I like. 2025-02-26T01:35:58Z https://yabu.me/nevent1qqsx72nmqjd2wt836f7dlljeaqpkrzxvf6wdgtlxzq3z8vz3l6xq2tczypnuxjft0pqtzc29r4kekhtjjycpnz35nt5ru9fm8zadv0xucn78ql3mxdq In reply to <a href='/nevent1qqswz00eesy8fv8jyscggxpkput538fqp3v5g5dv0vdpdp3zquts83cdgm0fy'>nevent1q…m0fy</a><br/>_________________________<br/><br/>The way that accelerationism has become an excuse for fascism has made me believe more in the opposite philosophy: decelerationism. At the very least I believe that everybody should have the right not to work, especially if we know our work will just hasten the capitalist apocalypse. 2025-02-26T01:15:51Z https://yabu.me/nevent1qqsgnfjjts22dsjksj7xjek5vd6q85877wag5n8pst6ylyzsjklx4uqzypnuxjft0pqtzc29r4kekhtjjycpnz35nt5ru9fm8zadv0xucn78qpmwetr In reply to <a href='/nevent1qqsf8pfxuvd53lf55dgdujtpnf4047sh0cgjv80zaws3ptxxrlaz0vcmvmajk'>nevent1q…majk</a><br/>_________________________<br/><br/>I would be interested in reading your take on Noether&#39;s theorem. Have you written it down somewhere? 2025-02-07T19:02:48Z https://yabu.me/nevent1qqsyxfmqv7h76fu49h0z005jhs7uhupg8q7wtxyprg0ensaffl4fp6gzypnuxjft0pqtzc29r4kekhtjjycpnz35nt5ru9fm8zadv0xucn78qf77wa6 Breaking: Trump says that every subobject classifier in a topos has cardinality 2.<br/><br/>He&#39;s wrong. Down with the law of the excluded middle! 2025-01-20T20:21:25Z https://yabu.me/nevent1qqs0yqhumq7vq46t4wy5ku02h68cn5864vmlzxnqc8drk35jv58axqqzypnuxjft0pqtzc29r4kekhtjjycpnz35nt5ru9fm8zadv0xucn78q9g5ry7 In reply to <a href='/nevent1qqs9xw3yg9ggrzs6t7gfkdu8exd2y9uecsx7v4xg6msadg43g99z8ksx240gk'>nevent1q…40gk</a><br/>_________________________<br/><br/>Eh at the time categories felt more exciting 👍 2025-01-08T21:27:27Z https://yabu.me/nevent1qqsfmjznmxtlum6hlm4sfla2zsmzgqqrjavltgugptlqxzjucc8s6lszypnuxjft0pqtzc29r4kekhtjjycpnz35nt5ru9fm8zadv0xucn78qh7ty0n In reply to <a href='/nevent1qqsrj7t0x9gxxfvqx8agmw3vrepa20sntwgcqa2dj237kkjmrchdesc9udqz7'>nevent1q…dqz7</a><br/>_________________________<br/><br/>wow magnetohydrodynamics is a topic I quite enjoy. I studied it very briefly in undergrad because it was my undergrad advisor&#39;s research specialty. Excited to get into your blog post! 2025-01-08T17:56:58Z https://yabu.me/nevent1qqs2ktl70r4nd537tmw8k8ar4sdrd8ghzv6ql3fh3ay0jg2h90a9mgqzypnuxjft0pqtzc29r4kekhtjjycpnz35nt5ru9fm8zadv0xucn78qqhcn2n In reply to <a href='/nevent1qqsdp2gvavnknnflecqnf68g6chzq430r66mkfs8nm6v68jvluqt48cv9ragx'>nevent1q…ragx</a><br/>_________________________<br/><br/>I visited it a few years ago and it was an incredible museum so I hope it survives. I&#39;ve also got some family in Santa Monica that I haven&#39;t heard from yet so I hope they&#39;re okay! 2025-01-08T10:32:33Z https://yabu.me/nevent1qqsz2dm63urqq466dz3643frt47gkyvakdl2708hevj7aplqp4jk5jgzypnuxjft0pqtzc29r4kekhtjjycpnz35nt5ru9fm8zadv0xucn78q0g6zln In reply to <a href='/nevent1qqsfv6t0wvuhgdhqpzap7jkkam8zagwdpf0k5u2f5n5rgnv26xh5j9sw0yf6t'>nevent1q…yf6t</a><br/>_________________________<br/><br/>5 years? Oh no it&#39;s already too late... 2024-11-15T09:09:33Z https://yabu.me/nevent1qqsxj45zfs93ujy6dqacvc4umrw4n5y673dr8w2qhh938cz980e5d4gzypnuxjft0pqtzc29r4kekhtjjycpnz35nt5ru9fm8zadv0xucn78qrqjwtw In reply to <a href='/nevent1qqsz3jn9g20zh7uczluyu2jph0gwm4yjtgvl0zdmf76lgdl6fszp29gydnacm'>nevent1q…nacm</a><br/>_________________________<br/><br/>I think management consultants are easily sold on the idea of category theory but the actual practice requires too much paradigm shifting 2024-11-15T01:54:26Z https://yabu.me/nevent1qqs25ct9rhv3yfeaws6yt4w8ekyqaqak4lkedyj8rw8al9j6kc2l00gzypnuxjft0pqtzc29r4kekhtjjycpnz35nt5ru9fm8zadv0xucn78qjff3gx I don&#39;t know what debrujin indices are and I&#39;m worried it&#39;s too late to ask 😂 2024-11-12T22:25:25Z https://yabu.me/nevent1qqszluz4un6usepkcr5d6rx30kaausn332q4k0zkhkl4cvn4y8e5qdgzypnuxjft0pqtzc29r4kekhtjjycpnz35nt5ru9fm8zadv0xucn78qkned4h They should make journals for papers that are only partially completed 2024-10-15T12:42:47Z