2026-03-31T10:04:23Z https://yabu.me julesh https://yabu.me/npub162av2ljs9sm0x3t0ryrz0ucrj6a70her80m7m0lrtxg086zu73rstvlr5t https://media.mathstodon.xyz/accounts/avatars/109/257/794/123/587/158/original/36ca43f59c382f91.jpg https://media.mathstodon.xyz/accounts/avatars/109/257/794/123/587/158/original/36ca43f59c382f91.jpg https://yabu.me/nevent1qqsprujexwnjyj94082f0pnk83w2pwsdlxvxe7q7x7wpqpqzhnc20fgzyrft43t72qkrdu69duvsvflnqwtthe7lyval0mdludvepulgtn6yw42wcwq In reply to <a href='/nevent1qqs9s0kawhlr7kuslpv3nj44vdtz60vuhf4v2wn2k5upzgd7xw7sgfcpz4mhxue69uhhyetvv9ujuerfw36x7tnsw43qqtaqmv'>nevent1q…aqmv</a><br/>_________________________<br/><br/><span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqky223zcc4q69d8t0me4vg5uw8mw0yxeukjgvz6h92laqnenr0ajs7297ud" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqky223zcc4q69d8t0me4vg5uw8mw0yxeukjgvz6h92laqnenr0ajs7297ud</span> (<span class="italic">nprofile…97ud</span>)</a></span> There is a better resolution using type-in-type: an omnipotent God can create a stone so heavy that they can&#39;t lift it, and then they can lift it 2026-02-19T14:00:36Z https://yabu.me/nevent1qqsrxzyjenums5xjwv4r3cs8pj7gu8trf50wpadfcf98krcafcs42kczyrft43t72qkrdu69duvsvflnqwtthe7lyval0mdludvepulgtn6ywx9py94 In reply to <a href='/nevent1qqs0ud7zunwxxy85p94ekrq7xq60jk96fa7z3x43fpqamcu97l9xvwspz4mhxue69uhhyetvv9ujuerfw36x7tnsw43qlam4nv'>nevent1q…m4nv</a><br/>_________________________<br/><br/><span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpq73zugfcw5qemam49j598gfhr5nyctxun4mt3y8qf4ayj4pdnt7gqqpsqfw" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpq73zugfcw5qemam49j598gfhr5nyctxun4mt3y8qf4ayj4pdnt7gqqpsqfw</span> (<span class="italic">nprofile…sqfw</span>)</a></span> What is this heresy? Category theory is not superior to the Son or the Holy Ghost, but equal to them 2026-02-19T12:33:17Z https://yabu.me/nevent1qqsq4wq7c9ndmc9yfd6v2rnnknk8a6wfvjvmpwxxtd6wlmllrpuh0tgzyrft43t72qkrdu69duvsvflnqwtthe7lyval0mdludvepulgtn6ywksezz2 In reply to <a href='/nevent1qqs8zvjw62r5w2rtlrcus50nkufnsyzrwc7snnklydfgmcqxkggqzqgpz4mhxue69uhhyetvv9ujuerfw36x7tnsw43qh7efg3'>nevent1q…efg3</a><br/>_________________________<br/><br/><span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqg8n08kmdzt35uv7wedchd7qrhsyahh7wnwkzrypzx6rcfau62qxqcytfwq" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqg8n08kmdzt35uv7wedchd7qrhsyahh7wnwkzrypzx6rcfau62qxqcytfwq</span> (<span class="italic">nprofile…tfwq</span>)</a></span> I&#39;m preparing to move my stuff off Godaddy and OVH are my leading contender, do you still recommend them? 2026-01-27T14:37:43Z https://yabu.me/nevent1qqs09w4rdglzhcjs4l4zrclj07d7f49msdul6aj9cml6uv4had239kczyrft43t72qkrdu69duvsvflnqwtthe7lyval0mdludvepulgtn6ywqp6wm8 The hardest problem in computer science is naming things, therefore Nicolaas de Bruijn solved the hardest problem in computer science 2026-01-14T14:30:50Z https://yabu.me/nevent1qqsq9alxl350mezh0a3y9nkccpmv4rp68ed0jc75634rlj43yvljrsszyrft43t72qkrdu69duvsvflnqwtthe7lyval0mdludvepulgtn6yw0969nr In reply to <a href='/nevent1qqs8kpt7krnpxfgxx9rc8v7eqngyheqlksr2xudyg6kxyjf6nrc629spz4mhxue69uhhyetvv9ujuerfw36x7tnsw43q2pn39v'>nevent1q…n39v</a><br/>_________________________<br/><br/><span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqulfpffdgvk9f09te46a7ckukfsp3vek5urnfn2ptxskv6sw9tuvsyvamew" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqulfpffdgvk9f09te46a7ckukfsp3vek5urnfn2ptxskv6sw9tuvsyvamew</span> (<span class="italic">nprofile…amew</span>)</a></span> Well yes but everything is that, that doesn&#39;t distinguish what is special about transformers 2026-01-14T12:26:21Z https://yabu.me/nevent1qqsgwl20trkedtu2qyuwzr6nq7avz62vwhvg9hj2ux5pryse5vzlu8czyrft43t72qkrdu69duvsvflnqwtthe7lyval0mdludvepulgtn6yww72djq It&#39;s weirdly difficult to find good sources that explain how transformers and attention actually work, considering how important they are. Everybody just seems to repeat a variant of this diagram from the original paper, as though it actually explains anything<br/><br/> <img src="https://media.mathstodon.xyz/media_attachments/files/115/893/159/408/201/698/original/cdb664f51e5d8838.png"> 2026-01-14T11:15:46Z https://yabu.me/nevent1qqsdsr22edag5af9je94cfcnl7t6pz5ky9cx33lf2lr8amu86zeqm7gzyrft43t72qkrdu69duvsvflnqwtthe7lyval0mdludvepulgtn6ywg5ghp4 Assembling furniture without instructions feels like solving a well designed puzzle, right down to that moment when you have finally understood the puzzle deeply enough to figure out what the real puzzle is 2026-01-06T20:23:55Z https://yabu.me/nevent1qqsfyhlet83807w5t8hlx6xx4zks4h3wgmzxn46gxqgdut8san9a94szyrft43t72qkrdu69duvsvflnqwtthe7lyval0mdludvepulgtn6ywr7v964 In reply to <a href='/nevent1qqsffxa2qll2a5gcncyurwm5vkgw40f54n9mpvknf6j3jgza90yaq5qpzemhxue69uhhyetvv9ujuerfw36x7tnsw43z72y4lzl'>nevent1q…4lzl</a><br/>_________________________<br/><br/><span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyzc3f2ytrz5rg45adl0x43zn3cldeusm8j6fpst2u4tl5z0xvdlk2rj4x5t" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyzc3f2ytrz5rg45adl0x43zn3cldeusm8j6fpst2u4tl5z0xvdlk2rj4x5t</span> (<span class="italic">nprofile…4x5t</span>)</a></span> I&#39;ve still got a good 30 years to go until retirement and I have enough funding runway right now to spend time reskilling as a lumberjack or a circus juggler or a vtuber or whatever, so.... bet you my career that it doesn&#39;t? 2025-12-31T13:16:05Z https://yabu.me/nevent1qqsdx37p4pv69hf68u3humehcrxhhn02rgdv4850gfmc9ww57n0pc5czyrft43t72qkrdu69duvsvflnqwtthe7lyval0mdludvepulgtn6yw5qdzcu In reply to <a href='/nevent1qqsyktdmm8luhy6gcvyrmkdrtsw04axh5f8vxegqpgd00z0un2umhjspzemhxue69uhhyetvv9ujuerfw36x7tnsw43z7jwt9ep'>nevent1q…t9ep</a><br/>_________________________<br/><br/><span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyzc3f2ytrz5rg45adl0x43zn3cldeusm8j6fpst2u4tl5z0xvdlk2rj4x5t" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyzc3f2ytrz5rg45adl0x43zn3cldeusm8j6fpst2u4tl5z0xvdlk2rj4x5t</span> (<span class="italic">nprofile…4x5t</span>)</a></span> I don&#39;t doubt that, but it doesn&#39;t change what I said 2025-12-31T11:01:57Z https://yabu.me/nevent1qqs2a8rumre66eqq0gh37xufk088vwg5qv4a0xmtmcdnjty9ea0xwmqzyrft43t72qkrdu69duvsvflnqwtthe7lyval0mdludvepulgtn6yw9w6psa In reply to <a href='/nevent1qqs230w47nlyp9wka5u3mgufpr7dphswzjp08jakp9v42l2gn5u2h8cpzemhxue69uhhyetvv9ujuerfw36x7tnsw43z7ty5mvy'>nevent1q…5mvy</a><br/>_________________________<br/><br/><span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyzc3f2ytrz5rg45adl0x43zn3cldeusm8j6fpst2u4tl5z0xvdlk2rj4x5t" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyzc3f2ytrz5rg45adl0x43zn3cldeusm8j6fpst2u4tl5z0xvdlk2rj4x5t</span> (<span class="italic">nprofile…4x5t</span>)</a></span> There was me thinking that (human) chess was currently going through its greatest golden age since the cold war 2025-12-30T19:23:04Z https://yabu.me/nevent1qqs2pq2cfntedegnwm8824xqfg2s3se2xumrjvvf0qnw5f3txa8wu6qzyrft43t72qkrdu69duvsvflnqwtthe7lyval0mdludvepulgtn6yw6zt3ew In reply to <a href='/nevent1qqszr64glumspqupuhzxx06lt74vvwfsaavy9scmwd3uevavlx3ezecpzemhxue69uhhyetvv9ujuerfw36x7tnsw43z7k8a5xq'>nevent1q…a5xq</a><br/>_________________________<br/><br/><span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyz6v2rsmc8tufcfh95x8vlz8q4gf7pctpucsj3rajrxsav62ny5fv528eua" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyz6v2rsmc8tufcfh95x8vlz8q4gf7pctpucsj3rajrxsav62ny5fv528eua</span> (<span class="italic">nprofile…8eua</span>)</a></span> A discrete manifold equipped with an approximate scalar field? That sounds like it could be useful for some other stuff too 2025-12-26T11:06:23Z https://yabu.me/nevent1qqsqz7rvh4kgdqchmn4tla9adscff6svmly3pvvrhg4zh28zfr6fhpczyrft43t72qkrdu69duvsvflnqwtthe7lyval0mdludvepulgtn6yw5rzh9n In reply to <a href='/nevent1qqs0fs49fp8n84w5hsjug7mh4586vykwgtpxfjf6tlxna20pfzawtmgpzemhxue69uhhyetvv9ujuerfw36x7tnsw43z7lyhffm'>nevent1q…hffm</a><br/>_________________________<br/><br/><span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyz6v2rsmc8tufcfh95x8vlz8q4gf7pctpucsj3rajrxsav62ny5fv528eua" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyz6v2rsmc8tufcfh95x8vlz8q4gf7pctpucsj3rajrxsav62ny5fv528eua</span> (<span class="italic">nprofile…8eua</span>)</a></span> Today is the first day of Christmas so you should only expect a(1) = 1 gifts 2025-12-25T13:32:19Z https://yabu.me/nevent1qqsztfwdycsw0mcxh30w4mj3c2gl38zp3v3hf223qusf54fp9cls45szyrft43t72qkrdu69duvsvflnqwtthe7lyval0mdludvepulgtn6yw5d9ean In reply to <a href='/nevent1qqs9qkrnq5hex35gs7sdwnm5cty0gjwzvsvuwu876k8f2s8ta7n9t5qpzemhxue69uhhyetvv9ujuerfw36x7tnsw43z7rhsy0e'>nevent1q…sy0e</a><br/>_________________________<br/><br/><span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyz6v2rsmc8tufcfh95x8vlz8q4gf7pctpucsj3rajrxsav62ny5fv528eua" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyz6v2rsmc8tufcfh95x8vlz8q4gf7pctpucsj3rajrxsav62ny5fv528eua</span> (<span class="italic">nprofile…8eua</span>)</a></span> I&#39;m not sure I have that much to say, especially not that you haven&#39;t already said. To be honest, I feel like doing interdisciplinary research is so difficult that if you&#39;re in a position where advice from a blog would help you, you&#39;ve probably already failed 2025-12-21T21:01:43Z https://yabu.me/nevent1qqsrlmqm59kvhhcpewzqpfcdp46vdv8cd690r39r3h7f7xte5ucky0czyrft43t72qkrdu69duvsvflnqwtthe7lyval0mdludvepulgtn6ywrkxeef In reply to <a href='/nevent1qqsxqhzt9lx27qu3wpgnuqhurvwudzax4lg6wxrchteuwak8nuq7w3spzemhxue69uhhyetvv9ujuerfw36x7tnsw43z7zx2w5l'>nevent1q…2w5l</a><br/>_________________________<br/><br/><span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyz6v2rsmc8tufcfh95x8vlz8q4gf7pctpucsj3rajrxsav62ny5fv528eua" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyz6v2rsmc8tufcfh95x8vlz8q4gf7pctpucsj3rajrxsav62ny5fv528eua</span> (<span class="italic">nprofile…8eua</span>)</a></span> I had to scan back through my blog to see if I&#39;d forgotten anything, but no, I never wrote about it. Well, pretty sure I wrote a few twitter threads about it, but it would be easier to write it again than to track those down 2025-12-21T14:53:35Z https://yabu.me/nevent1qqsqx975c0gfz3qplz8zmr3dhmdmlmsznpy7yxxkwtpm0uz5n7rag9qzyrft43t72qkrdu69duvsvflnqwtthe7lyval0mdludvepulgtn6ywudt57q There is no AI bubble. There is an LLMs bubble, and among all the other problems it causes it&#39;s also blocking progress in AI far more effectively than all the AGI doomer bros could ever hope to achieve 2025-12-21T14:07:34Z https://yabu.me/nevent1qqswdmrsu3f7ekk09j0ws232xfrmgh9rldm7fsgala02fcsaay0t7fczyrft43t72qkrdu69duvsvflnqwtthe7lyval0mdludvepulgtn6yws6zctv In reply to <a href='/nevent1qqsrzq4g904jzqz9m5narunfs9evtykn4t8w44jcv45zedgc4yzcaagpzemhxue69uhhyetvv9ujuerfw36x7tnsw43z7cplvtd'>nevent1q…lvtd</a><br/>_________________________<br/><br/><span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyz6v2rsmc8tufcfh95x8vlz8q4gf7pctpucsj3rajrxsav62ny5fv528eua" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyz6v2rsmc8tufcfh95x8vlz8q4gf7pctpucsj3rajrxsav62ny5fv528eua</span> (<span class="italic">nprofile…8eua</span>)</a></span> I submit {me, Philipp Zahn} (with several other people joining at various points) as a successful ACT collaboration. My experience broadly matches yours, this collaboration is more than a decade long and required very much meeting each other half way 2025-12-21T13:58:21Z https://yabu.me/nevent1qqs2nktrp7f9wv6fr0q9lzgk4k9gh9wztuxj5a2v74ltjph43qjwd3qzyrft43t72qkrdu69duvsvflnqwtthe7lyval0mdludvepulgtn6ywylrj8u In reply to <a href='/nevent1qqsfz0379azwf4593g93dhr3k6ezjdekchp6eplgd0tu992c3cd9t3gpzemhxue69uhhyetvv9ujuerfw36x7tnsw43z7l93ujz'>nevent1q…3ujz</a><br/>_________________________<br/><br/><span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyzc3f2ytrz5rg45adl0x43zn3cldeusm8j6fpst2u4tl5z0xvdlk2rj4x5t" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyzc3f2ytrz5rg45adl0x43zn3cldeusm8j6fpst2u4tl5z0xvdlk2rj4x5t</span> (<span class="italic">nprofile…4x5t</span>)</a></span> I&#39;m not the right person to answer that (I happen to be an Idris programmer); my vague feeling is that Agda is the main language used as a testbed for new ideas (ie. the same role that Haskell used to have for polymorphic type theory), so it will probably continue to evolve, provided they have the courage to periodically break everybody&#39;s stuff like ghc always has. Perhaps Lean will do that too, but I would guess they probably face more social pressure to not break the big libraries 2025-12-20T17:32:37Z https://yabu.me/nevent1qqs2rpv0xttezs9qe8y20vgrpnnfdscmt5alulf6ndss5pwpvyuuxwgzyrft43t72qkrdu69duvsvflnqwtthe7lyval0mdludvepulgtn6ywrnh3w9 In reply to <a href='/nevent1qqsfsru900y74eyseh0twpa3pa2s7v624rewf9m630axdcaju8tu22gpzemhxue69uhhyetvv9ujuerfw36x7tnsw43z70a5e0a'>nevent1q…5e0a</a><br/>_________________________<br/><br/>Science advances one funeral at a time, and a bunch of mathematicians who are currently young and betting their career on Lean are eventually going to be dinosaurs sitting on hiring committees and insisting to their grave that it is good actually that their favourite proof assistant falls over if you hit it with a corner case of dependent pattern matching on something defined with coinduction-corecursion or whatever 2025-12-20T16:47:31Z https://yabu.me/nevent1qqsfsru900y74eyseh0twpa3pa2s7v624rewf9m630axdcaju8tu22gzyrft43t72qkrdu69duvsvflnqwtthe7lyval0mdludvepulgtn6ywmwsu9q While it&#39;s cool and good that a bunch of mathematicians are experimenting with proof assistants, I&#39;m very confident that one of the biggest consequences is that 20 years in the future, it will finally be sufficiently understood how to write a dependent typechecker, and a bunch of mathematicians are going to learn the hard way the meaning of the term &#34;technical debt&#34; 2025-12-20T16:44:23Z https://yabu.me/nevent1qqsvx9zvydrc8wj2vazzn3nhegrvvllrzlzupcxhpsctv79flulvnqszyrft43t72qkrdu69duvsvflnqwtthe7lyval0mdludvepulgtn6yw67208q In reply to <a href='/nevent1qqsrgxp3v5dqn2ec7zmllylt5fqkd96e5pkzc5ufzcs3hr0lwmjrl6spzemhxue69uhhyetvv9ujuerfw36x7tnsw43z7llla06'>nevent1q…la06</a><br/>_________________________<br/><br/><span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqypq7du7md5fwxn3nem9hzahcqw7qnk7le6d6cgvsygmg0p8hnfgqczhu6hy" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqypq7du7md5fwxn3nem9hzahcqw7qnk7le6d6cgvsygmg0p8hnfgqczhu6hy</span> (<span class="italic">nprofile…u6hy</span>)</a></span> I was wondering which cities I&#39;ve been to between 5 and 10 times. My first thought was Amsterdam 2025-12-15T12:17:56Z https://yabu.me/nevent1qqsptk7fr4qdkq7j33jtu5jzusuzuyjhtuunyeullp2p5tuf5ypwwdqzyrft43t72qkrdu69duvsvflnqwtthe7lyval0mdludvepulgtn6yw6djjn7 In reply to <a href='/nevent1qqs0k99vfgw3l3cugz343ypz5ceudquppze075d6arnq07jtpgl6cdcpzemhxue69uhhyetvv9ujuerfw36x7tnsw43z78x49rt'>nevent1q…49rt</a><br/>_________________________<br/><br/><span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqypren5k53ms4x26agn2qg4anqpe3a7zuy39qjjd5slavzskqn2qgxcaztfm" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqypren5k53ms4x26agn2qg4anqpe3a7zuy39qjjd5slavzskqn2qgxcaztfm</span> (<span class="italic">nprofile…ztfm</span>)</a></span> uBlock Origin has no problem at all with native adverts on other sites, so I guess it&#39;s a non issue 2025-12-09T13:28:37Z https://yabu.me/nevent1qqs0uh7wxra9mm3cu28jmrkksuy720cnrfxze60p0k3xjv8yaccgn3szyrft43t72qkrdu69duvsvflnqwtthe7lyval0mdludvepulgtn6ywl8zuj6 In reply to <a href='/nevent1qqsf8ggun45q2s9wxt9hr6anmqyyuj9vgr5z00jtfw03qa7hu8sevggpzemhxue69uhhyetvv9ujuerfw36x7tnsw43z7gf4wl5'>nevent1q…4wl5</a><br/>_________________________<br/><br/><span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyr6yt3p8p6sr80hw5k2s5apxuwjvnpvmjwhdwysupxh5j259kd0equaral2" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyr6yt3p8p6sr80hw5k2s5apxuwjvnpvmjwhdwysupxh5j259kd0equaral2</span> (<span class="italic">nprofile…ral2</span>)</a></span> I find theorem proving (even for non open problems) impressive for the same reason that AlphaGo still blows my mind: algorithmic search for such high dimensional problems with no known metric seems to be obviously impossible 2025-12-07T15:48:11Z https://yabu.me/nevent1qqsxf2egjsl3w7gt5vgcz7wwsxhcn74awxsrrnaes4rp62rjzudkumgzyrft43t72qkrdu69duvsvflnqwtthe7lyval0mdludvepulgtn6yw5w7rvu Catching the subway home at 11.15 and I haven&#39;t missed the last one, finally I&#39;m in a real city 2025-12-03T23:15:50Z https://yabu.me/nevent1qqs82mgnxgvs4cy0sw8rq9mjgn37cqrmj35mapvws6mtavf8v0sjllqzyrft43t72qkrdu69duvsvflnqwtthe7lyval0mdludvepulgtn6ywn8adca First I lived in Oxford when Lewis was still be regularly filmed, and later a chunk of a Transformers film was also filmed there. Then I moved to Leipzig where a police procedural for local tv was filmed in the same building I worked in. Then I moved to Glasgow where many Hollywood films are filmed (in the 5 years I was there there was a bunch of Batman, a bunch of the Catwoman that was infamously deleted for tax reasons, and a scene of Indiana Jones). Now I live in London and *something* is being filmed outside our window, although I haven&#39;t figured out what yet. 2025-12-02T16:18:10Z https://yabu.me/nevent1qqs2apu30qv7sulyp30v3evx52f9a6fv4uj47pgsj9xwuw3wdaqlk7szyrft43t72qkrdu69duvsvflnqwtthe7lyval0mdludvepulgtn6yw5a5jtn In reply to <a href='/nevent1qqs2u08h8g02n8up9jgq3ca7pezwvdzssy4kadj02p89dkg2j67t54spzemhxue69uhhyetvv9ujuerfw36x7tnsw43z780wm46'>nevent1q…wm46</a><br/>_________________________<br/><br/><span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyr6yt3p8p6sr80hw5k2s5apxuwjvnpvmjwhdwysupxh5j259kd0equaral2" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyr6yt3p8p6sr80hw5k2s5apxuwjvnpvmjwhdwysupxh5j259kd0equaral2</span> (<span class="italic">nprofile…ral2</span>)</a></span> They made up a number and got mad at it 2025-12-01T10:29:28Z https://yabu.me/nevent1qqspvawphjf9rzaqhnnhgvx70f62fxlc5nwlesg0w2rk3576j223n4qzyrft43t72qkrdu69duvsvflnqwtthe7lyval0mdludvepulgtn6ywpxpd24 In reply to <a href='/nevent1qqswcmuxrd9t0cnu3jcleyg3fujw5wgvnafjduvw4lzu4zqjmkl2j2spzemhxue69uhhyetvv9ujuerfw36x7tnsw43z73m0pe9'>nevent1q…0pe9</a><br/>_________________________<br/><br/><span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqypren5k53ms4x26agn2qg4anqpe3a7zuy39qjjd5slavzskqn2qgxcaztfm" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqypren5k53ms4x26agn2qg4anqpe3a7zuy39qjjd5slavzskqn2qgxcaztfm</span> (<span class="italic">nprofile…ztfm</span>)</a></span> i saw Helfgott give a talk about this proof once. I understood basically none of the details (starting from the explanation of the classical Hardy-Littlewood proof that it starts from), but it was still one of the coolest talks I ever saw 2025-11-24T12:05:03Z https://yabu.me/nevent1qqsptfqjmjx4qy6wmu377mmphhv2xqkn6ktdcxf58kxl45svd09z0aqzyrft43t72qkrdu69duvsvflnqwtthe7lyval0mdludvepulgtn6ywj6ju7t A genre of twoot I just don&#39;t understand is screenshots of google dot com showing a hilariously and/or dangerously wrong answer. Like, you&#39;re using an LLM and trying to treat it like it&#39;s a search engine, literally what did you expect? 2025-11-18T11:13:07Z https://yabu.me/nevent1qqswhzudrqhk0jj8zuhw725hgr9teq43fwj644m5gxpg2ezqwlf84gqzyrft43t72qkrdu69duvsvflnqwtthe7lyval0mdludvepulgtn6ywyd9nx0 In reply to <a href='/nevent1qqsgger4ph69wyjpgpjxeapgxle04ewx32auas5rjrt2c2km6xxkfyqpzemhxue69uhhyetvv9ujuerfw36x7tnsw43z7s58q5k'>nevent1q…8q5k</a><br/>_________________________<br/><br/><span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyzc3f2ytrz5rg45adl0x43zn3cldeusm8j6fpst2u4tl5z0xvdlk2rj4x5t" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyzc3f2ytrz5rg45adl0x43zn3cldeusm8j6fpst2u4tl5z0xvdlk2rj4x5t</span> (<span class="italic">nprofile…4x5t</span>)</a></span> <span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyqjv3gcv7ak6rc7svzew2rdes6qwtqxa6efl0c2rgv2m0ys7jyge5n70775" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyqjv3gcv7ak6rc7svzew2rdes6qwtqxa6efl0c2rgv2m0ys7jyge5n70775</span> (<span class="italic">nprofile…0775</span>)</a></span> For me the interesting question is why every actegory gives you both, while general enrichments only give Para and only tensored ones give you Copara. Feels like a broken symmetry 2025-11-10T14:13:59Z https://yabu.me/nevent1qqsftdu6c3n4wg3j7prcs37458wg3g28qa9008av7pafj99rjzqjdugzyrft43t72qkrdu69duvsvflnqwtthe7lyval0mdludvepulgtn6ywm2fw4m In reply to <a href='/nevent1qqsv9h3tq6x3njr4c8h2an04y280pr6g2r4kdnzvz8za730nrwg7mwgpzemhxue69uhhyetvv9ujuerfw36x7tnsw43z70xa3un'>nevent1q…a3un</a><br/>_________________________<br/><br/><span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyzc3f2ytrz5rg45adl0x43zn3cldeusm8j6fpst2u4tl5z0xvdlk2rj4x5t" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyzc3f2ytrz5rg45adl0x43zn3cldeusm8j6fpst2u4tl5z0xvdlk2rj4x5t</span> (<span class="italic">nprofile…4x5t</span>)</a></span> Inside our group that was Dylan. I don&#39;t remember if it ever got written down anywhere though 2025-11-10T11:04:24Z https://yabu.me/nevent1qqsvqswm4hmqttpgexexmnf2sldfp362knap9vrr89fuk8q74v6zmrczyrft43t72qkrdu69duvsvflnqwtthe7lyval0mdludvepulgtn6ywqgewfj In reply to <a href='/nevent1qqs9zrr4nvugnunhtt2x6t5hvterj3lracu4unqnz2r38uewqjaprjgpzemhxue69uhhyetvv9ujuerfw36x7tnsw43z70as6jn'>nevent1q…s6jn</a><br/>_________________________<br/><br/><span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyr6yt3p8p6sr80hw5k2s5apxuwjvnpvmjwhdwysupxh5j259kd0equaral2" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyr6yt3p8p6sr80hw5k2s5apxuwjvnpvmjwhdwysupxh5j259kd0equaral2</span> (<span class="italic">nprofile…ral2</span>)</a></span> Fun fact, since negation is strictly involutive (p and not-not-p are different names for the same proposition), proof of negation and proof by contradiction are actually different names for the same logical rule, they only differ by a relabelling 2025-11-05T17:21:37Z https://yabu.me/nevent1qqsgfmt7yh4f94cn4n8py2qjgw8rl8d9d64als5zgr8ejz74p9whgcgzyrft43t72qkrdu69duvsvflnqwtthe7lyval0mdludvepulgtn6ywnhfc2y In reply to <a href='/nevent1qqs02jj73ma75fxwyfct7wp8cghlulsk5w5f4jknp98je9ky4cjyncspzemhxue69uhhyetvv9ujuerfw36x7tnsw43z7gkpwvw'>nevent1q…pwvw</a><br/>_________________________<br/><br/><span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyzt0etn5lrvv67aes2g3ydczch7ufw7grw79qd4ds3y230qkkdk3wujmk8f" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyzt0etn5lrvv67aes2g3ydczch7ufw7grw79qd4ds3y230qkkdk3wujmk8f</span> (<span class="italic">nprofile…mk8f</span>)</a></span> No, 100% organic artisan CSS 2025-11-02T13:03:20Z https://yabu.me/nevent1qqsv54z9e0fdjngqqscm7xghpqqwadxqwssp5md4gc47vet258wsgcczyrft43t72qkrdu69duvsvflnqwtthe7lyval0mdludvepulgtn6ywaapxs0 <a href="https://julesh.com/">https://julesh.com/</a> is finally starting to look close to how I would like, after changing the font to Open Sans 3<br/><br/> <img src="https://media.mathstodon.xyz/media_attachments/files/115/480/092/771/387/183/original/b698cecc81ada5ba.png"> 2025-11-02T12:28:12Z https://yabu.me/nevent1qqsvem7jslh7r5qtuphkf0ftanz5gpv2adzqlpvzhajsataudqkkkkqzyrft43t72qkrdu69duvsvflnqwtthe7lyval0mdludvepulgtn6yw8nj42j In reply to <a href='/nevent1qqsr6dcpkmtkfgmh4gryrw2g845p7un73qua5jvv548zvyq6559psdgpzemhxue69uhhyetvv9ujuerfw36x7tnsw43z7rys8ed'>nevent1q…s8ed</a><br/>_________________________<br/><br/><span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyr6yt3p8p6sr80hw5k2s5apxuwjvnpvmjwhdwysupxh5j259kd0equaral2" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyr6yt3p8p6sr80hw5k2s5apxuwjvnpvmjwhdwysupxh5j259kd0equaral2</span> (<span class="italic">nprofile…ral2</span>)</a></span> When ported all my blog posts recently I checked all the links, and noticed that a few that claimed to be to my twitter threads were dead 2025-10-29T12:44:08Z https://yabu.me/nevent1qqsx8em4xv5n3asl2kyp3zht2za8s8g33rtpghlefu3a0et4v58qtkqzyrft43t72qkrdu69duvsvflnqwtthe7lyval0mdludvepulgtn6yw8e7gg6 In reply to <a href='/nevent1qqsqkgq0pw634cn8tvspd4yazkge0a9y0jcug8pz6req9s2m9gw80sqpzemhxue69uhhyetvv9ujuerfw36x7tnsw43z76lx93x'>nevent1q…x93x</a><br/>_________________________<br/><br/><span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyrnay9994pjc49u40xhthmzmjexqx9nx6nswdxdg9v6zen2pc403jp8jahe" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyrnay9994pjc49u40xhthmzmjexqx9nx6nswdxdg9v6zen2pc403jp8jahe</span> (<span class="italic">nprofile…jahe</span>)</a></span> I might do that if I get stuck, but I only ever use an llm if I want to do something without learning how to do it, and I do in fact want to learn css 2025-10-26T11:12:58Z https://yabu.me/nevent1qqsyymv5pg5rc2ewsx59d658pxezt65t8ttqjnnz2vjefj3wjqysv3qzyrft43t72qkrdu69duvsvflnqwtthe7lyval0mdludvepulgtn6ywxzxdlz I really want to improve the visual style of <a href="https://julesh.com">https://julesh.com</a>. Unfortunately this requires learning something about CSS. This is quite a dilemma. 2025-10-25T11:35:36Z https://yabu.me/nevent1qqsxujxgpq995l7aazd9cj6fjctpzfajnxqlft780ner9krnjt8hp9czyrft43t72qkrdu69duvsvflnqwtthe7lyval0mdludvepulgtn6ywr4hh9p In reply to <a href='/nevent1qqs9zrm68vnyqeztjk2dkukfk60e3ck32x4lqq93elnajndzeqjlwrspzemhxue69uhhyetvv9ujuerfw36x7tnsw43z7w820ny'>nevent1q…20ny</a><br/>_________________________<br/><br/><span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyr6yt3p8p6sr80hw5k2s5apxuwjvnpvmjwhdwysupxh5j259kd0equaral2" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyr6yt3p8p6sr80hw5k2s5apxuwjvnpvmjwhdwysupxh5j259kd0equaral2</span> (<span class="italic">nprofile…ral2</span>)</a></span> I think the hype bubble was so ridiculous that nobody can be taken seriously for working on it even like 3 decades after it burst 2025-10-25T10:15:25Z https://yabu.me/nevent1qqsghjnarca54zr60vahergszmpnnranf3jue5vlkgtwdgf4m9wu2eqzyrft43t72qkrdu69duvsvflnqwtthe7lyval0mdludvepulgtn6ywwjv6ru In reply to <a href='/nevent1qqstted967vjmre0ufhn7n3605wzlxc8uckac94tthtn8syyy2zlspgpzemhxue69uhhyetvv9ujuerfw36x7tnsw43z7n36lq2'>nevent1q…6lq2</a><br/>_________________________<br/><br/><span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqypren5k53ms4x26agn2qg4anqpe3a7zuy39qjjd5slavzskqn2qgxcaztfm" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqypren5k53ms4x26agn2qg4anqpe3a7zuy39qjjd5slavzskqn2qgxcaztfm</span> (<span class="italic">nprofile…ztfm</span>)</a></span> <span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyz6v2rsmc8tufcfh95x8vlz8q4gf7pctpucsj3rajrxsav62ny5fv528eua" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyz6v2rsmc8tufcfh95x8vlz8q4gf7pctpucsj3rajrxsav62ny5fv528eua</span> (<span class="italic">nprofile…8eua</span>)</a></span> <br/>This is the orange site, if you don&#39;t expect the worst from it then you haven&#39;t been around it long enough 2025-10-23T21:51:20Z https://yabu.me/nevent1qqsdhdrns5ghd7zpzudjyqzkv429t4pd23guhhzyf4cjfh6efc85jhczyrft43t72qkrdu69duvsvflnqwtthe7lyval0mdludvepulgtn6ywwd3cu4 In reply to <a href='/nevent1qqsf3uqw9nxcz7d96qpp33dg99gdldt8upzer8dm6kh4hjndcndx9lcpzemhxue69uhhyetvv9ujuerfw36x7tnsw43z70y3j5f'>nevent1q…3j5f</a><br/>_________________________<br/><br/><span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqypren5k53ms4x26agn2qg4anqpe3a7zuy39qjjd5slavzskqn2qgxcaztfm" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqypren5k53ms4x26agn2qg4anqpe3a7zuy39qjjd5slavzskqn2qgxcaztfm</span> (<span class="italic">nprofile…ztfm</span>)</a></span> <span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyz6v2rsmc8tufcfh95x8vlz8q4gf7pctpucsj3rajrxsav62ny5fv528eua" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyz6v2rsmc8tufcfh95x8vlz8q4gf7pctpucsj3rajrxsav62ny5fv528eua</span> (<span class="italic">nprofile…8eua</span>)</a></span> <br/><a href="https://news.ycombinator.com/item?id=45677397">https://news.ycombinator.com/item?id=45677397</a><br/>(but nothing especially worth seeing there) 2025-10-23T20:33:53Z https://yabu.me/nevent1qqs94g8cswzytpv7s0jgw9x7dww2nrrf7l79nx79krh9ep7jurh3u6gzyrft43t72qkrdu69duvsvflnqwtthe7lyval0mdludvepulgtn6ywwpaha9 In reply to <a href='/nevent1qqsp74mr88llmu469unyh3xxjzaaq5fdu5q58h8hjqfrpvj8v9753ccpzemhxue69uhhyetvv9ujuerfw36x7tnsw43z7cy5a36'>nevent1q…5a36</a><br/>_________________________<br/><br/><span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqypren5k53ms4x26agn2qg4anqpe3a7zuy39qjjd5slavzskqn2qgxcaztfm" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqypren5k53ms4x26agn2qg4anqpe3a7zuy39qjjd5slavzskqn2qgxcaztfm</span> (<span class="italic">nprofile…ztfm</span>)</a></span> She does have a daemon, you just can&#39;t see or interact with it 2025-10-22T16:58:36Z https://yabu.me/nevent1qqsv6zzuc6xhhn8yzmd5fhdnymhs895jr0yy93pj2zk3cpssz0ztx8gzyrft43t72qkrdu69duvsvflnqwtthe7lyval0mdludvepulgtn6ywq3ktkc The proof is left as an exorcism for the reader 2025-10-20T23:12:24Z https://yabu.me/nevent1qqsyy8hwqz80kkxgs8gkdp2x93pyc4z374kr4wgvresudu7vf4h7jwgzyrft43t72qkrdu69duvsvflnqwtthe7lyval0mdludvepulgtn6ywv3ed6t In reply to <a href='/nevent1qqs9k295zxwkran5vp8q5eym45n34m9j2ltzpk37gg463z7hqwuk5sgpzemhxue69uhhyetvv9ujuerfw36x7tnsw43z7ej75w3'>nevent1q…75w3</a><br/>_________________________<br/><br/><span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyr6yt3p8p6sr80hw5k2s5apxuwjvnpvmjwhdwysupxh5j259kd0equaral2" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyr6yt3p8p6sr80hw5k2s5apxuwjvnpvmjwhdwysupxh5j259kd0equaral2</span> (<span class="italic">nprofile…ral2</span>)</a></span> My pet theory is that the main purpose of sleep is to copy memories from the cortex to somewhere more stable, but that requires suspending normal operation of the cortex. Meanwhile anything running on digital hardware you can generally copy anything freely without disrupting anything 2025-10-18T10:36:51Z https://yabu.me/nevent1qqsv2q8wuqu3j8ajvw9dt864608kn4x6nm36spv3fde9al0lj6ampeczyrft43t72qkrdu69duvsvflnqwtthe7lyval0mdludvepulgtn6ywc8zv5u In reply to <a href='/nevent1qqsxcn3657zj09ye879xxks0pq773270c00vskz9f8w02c4r0zt86yspzemhxue69uhhyetvv9ujuerfw36x7tnsw43z7t7t0yl'>nevent1q…t0yl</a><br/>_________________________<br/><br/><span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyr6yt3p8p6sr80hw5k2s5apxuwjvnpvmjwhdwysupxh5j259kd0equaral2" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyr6yt3p8p6sr80hw5k2s5apxuwjvnpvmjwhdwysupxh5j259kd0equaral2</span> (<span class="italic">nprofile…ral2</span>)</a></span> My gut feeling is some version of the first thing will actually be necessary, but not the second thing (whatever is the function of sleep, my gut feeling is that it is probably a quirk of the weird hardware the mind runs on) 2025-10-17T11:13:19Z https://yabu.me/nevent1qqsdu2uhza7f3ekeq9nc7zqq5sfcmxkcntp90shnwg9rwxst7zh5g7qzyrft43t72qkrdu69duvsvflnqwtthe7lyval0mdludvepulgtn6ywcf5nmg In reply to <a href='/nevent1qqsqhd7ejnjgctty8r09d7hq23qrhvd3g8cp4ap4t9cjh0lcxx5k97qpzemhxue69uhhyetvv9ujuerfw36x7tnsw43z76gaspu'>nevent1q…aspu</a><br/>_________________________<br/><br/><span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyry2ysn5av9pr8m76kgpggcflz294t0pr9shd99kh8redys7ku0xkefw8t5" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyry2ysn5av9pr8m76kgpggcflz294t0pr9shd99kh8redys7ku0xkefw8t5</span> (<span class="italic">nprofile…w8t5</span>)</a></span> Academics gonna academic 2025-10-16T20:58:10Z https://yabu.me/nevent1qqsxg4jrtx04cuhcsn9jy5cfufh5dq49kp9w9skwsppx0leank3fy5gzyrft43t72qkrdu69duvsvflnqwtthe7lyval0mdludvepulgtn6ywl598yp In reply to <a href='/nevent1qqsq5xpp6g64r4fmnp7za80v3g87cjrfzh04ufay7kxl42mvp2qcd8qpzemhxue69uhhyetvv9ujuerfw36x7tnsw43z7hxn02r'>nevent1q…n02r</a><br/>_________________________<br/><br/><span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyry2ysn5av9pr8m76kgpggcflz294t0pr9shd99kh8redys7ku0xkefw8t5" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyry2ysn5av9pr8m76kgpggcflz294t0pr9shd99kh8redys7ku0xkefw8t5</span> (<span class="italic">nprofile…w8t5</span>)</a></span> Hm, I find this a pretty interesting question, at first I strongly disagreed but I&#39;m sort of coming round to your point of view. If the rules of form are only being checked externally, either by a machine or by other humans, are you working formally or informally? If you submit classical paintings over and over until the curator accepts you got the form right, were you following the laws of form? Is it possible that Bach intuited the formal rules of fugue so deeply that he was actually writing informally? 2025-10-16T11:08:23Z https://yabu.me/nevent1qqs8549mjg6n6ecpdsq4slx087k9aww98fpuwe6n20n2ygxeru9sl5qzyrft43t72qkrdu69duvsvflnqwtthe7lyval0mdludvepulgtn6ywfluctk Migrating <a href="https://julesh.com">https://julesh.com</a> off <a href="https://wordpress.com">https://wordpress.com</a> has been something I&#39;ve wanted to do since at least 2019. I&#39;m so so happy to have finally done it. 2025-10-14T18:29:30Z https://yabu.me/nevent1qqsd2pl3nc0j2acvwfhadyqr2r97p8ktlpxs80y4ru3kwz8jd6ffpaqzyrft43t72qkrdu69duvsvflnqwtthe7lyval0mdludvepulgtn6yw7vyasy For some reason I was 100% convinced Wikipedia was based in Sweden, I&#39;m actually horrified to learn that it&#39;s entirely American<br/><br/>So...... rest-of-world alternatives to Wikipedia? 2025-09-29T22:20:31Z https://yabu.me/nevent1qqsrzlrzhl2z02w2yv0d0jpuapzquuh5w7wp26z2yvd7uvhgkec6fxczyrft43t72qkrdu69duvsvflnqwtthe7lyval0mdludvepulgtn6yw2lq033 In reply to <a href='/nevent1qqs8mu9q2vw0xq80np6fyrfh8dd3d5z36lhem89ugq8p9c3w95hr9mqpz4mhxue69uhhyetvv9ujumt0wd68ytnsw43q9z5qn5'>nevent1q…5qn5</a><br/>_________________________<br/><br/><span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqg7va94ywu9fjkh2y6sz90vcqwv00shpyfgy5ndy8ltq59sy6szpsr4pmdx" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqg7va94ywu9fjkh2y6sz90vcqwv00shpyfgy5ndy8ltq59sy6szpsr4pmdx</span> (<span class="italic">nprofile…pmdx</span>)</a></span> It&#39;s one of the papers that made me first notice how irrelevant the idea of publication is 2025-08-18T10:58:57Z https://yabu.me/nevent1qqsv25lvlurxlvwaydqt6rhtgf8jps2pqh8jkctpev4cnvgdw3nktnszyrft43t72qkrdu69duvsvflnqwtthe7lyval0mdludvepulgtn6ywyp958c My thoughts about this just clicked. I have seen a bunch of cases of professed non-programmers building pretty big things entirely by vibe-coding, and they work fine. This allows people to participate in creation without years of training, and in the end that is not a bad thing<br/><br/>There are a bunch of other systems like this, that allow non-experts to simulate being able to do the real thing. Playing a shooter with aimbot. Playing guitar with 3 chords. Driving automatic.<br/><br/>These are all perfectly good things that allow amateurs to match the performance of experts, and none of them are bad things. But if you don&#39;t take the hit and switch over to the real thing sooner or later, you&#39;ll be a novice forever. 2025-08-06T09:50:10Z https://yabu.me/nevent1qqsd3zee9gtkcmtpmnufmzg77f0w4mvue7h9ztq9dklghu9y8ndqydczyrft43t72qkrdu69duvsvflnqwtthe7lyval0mdludvepulgtn6yw63jfta If I was planning a city from scratch I would simply grade the surface 1 floor higher than the natural ground. You have the additional cost that every street needs a covered roof strong enough to bear the weight of pedestrian traffic, but in return for that you solve a whole bunch of problems. The streets of the entire city are exclusively for pedestrians and cyclists - you don&#39;t even have the option to backtrack on that because they can&#39;t bear the weight of road traffic. Most buildings have a basement level, and below every street you have a combination of mass rail transit, roads for cars (with exhaust fumes extracted and vented far away from the pedestrians), loading bays and car parks, utility tunnels, floor reservoirs, and commercial buildings that don&#39;t need daylight access like supermarkets and distribution warehouses. You avoid ever having to dig any tunnels, and never having to see or breathe a car is a massive quality of life boost for everyone. 2025-07-26T12:28:22Z https://yabu.me/nevent1qqsftfdwawt9e6udl54suv35ffazaeqltne3dn9wqw8gu8mmpvw3e0qzyrft43t72qkrdu69duvsvflnqwtthe7lyval0mdludvepulgtn6ywpmhr0s ibuprofunctor 2025-07-20T15:00:44Z https://yabu.me/nevent1qqs8amkcqxyadfllpndeksg44e4w2txp74q7j2vvp07ee4y9lwhkjtczyrft43t72qkrdu69duvsvflnqwtthe7lyval0mdludvepulgtn6ywp03nps In reply to <a href='/nevent1qqsfn5x2dwkdar6md6e0m3z5spvpm5ql9f0ajqq87h5ldd28p2m67vqpz4mhxue69uhhyetvv9ujumt0wd68ytnsw43qhqx35u'>nevent1q…x35u</a><br/>_________________________<br/><br/><span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqez3yya8tpgge7lk4jq2zxz0cj3d2mcgev9mffd4ec7tfy84hre4sqchszg" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqez3yya8tpgge7lk4jq2zxz0cj3d2mcgev9mffd4ec7tfy84hre4sqchszg</span> (<span class="italic">nprofile…hszg</span>)</a></span> How short is short? If I remembered correctly that&#39;s the topic of the first half of Lambek &amp; Scott Introduction to higher order categorical logic 2025-07-19T16:27:40Z https://yabu.me/nevent1qqs0h3rm7cw5t025t3mlfg5dl05nth0a3fg87mhuhdfz8asgn88zsyszyrft43t72qkrdu69duvsvflnqwtthe7lyval0mdludvepulgtn6yws3pz3t As far as I can tell, HoTT is about making types into (∞,0)-categories (aka ∞-groupoids), and the directed HoTT folks want to make types into (∞,∞)-categories (aka ∞-categories), but I reckon you could already get a lot of mileage if you could make types into (∞,1)-categories (aka categories, up to the amount of weakness I expect to be necessary in type theory). And that sounds probably a bit easier. 2025-06-26T18:55:12Z https://yabu.me/nevent1qqstzlmlelr0cnzwrv9xnj3l8grffj4xnydvsawyxcxd0wcxk3xrjkszyrft43t72qkrdu69duvsvflnqwtthe7lyval0mdludvepulgtn6ywpge85y In reply to <a href='/nevent1qqszlp0nzq5w9usyryc394r6vyglwuxczuhydkhnd84e6pnk96s05dqpz4mhxue69uhhyetvv9ujumt0wd68ytnsw43qe2dct3'>nevent1q…dct3</a><br/>_________________________<br/><br/><span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqky223zcc4q69d8t0me4vg5uw8mw0yxeukjgvz6h92laqnenr0ajsgze5g0" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqky223zcc4q69d8t0me4vg5uw8mw0yxeukjgvz6h92laqnenr0ajsgze5g0</span> (<span class="italic">nprofile…e5g0</span>)</a></span> Unable to tell if sarcastic or not, but I suspect yes 2025-06-11T10:11:00Z https://yabu.me/nevent1qqsdjmh992h9szjzn02az3a828p82622em62gfk7lhzfmwmfcte8svszyrft43t72qkrdu69duvsvflnqwtthe7lyval0mdludvepulgtn6ywrt4s8a In reply to <a href='/nevent1qqs2dcavrr7uqzey8k9vfnw9ds54mctaxw7wrjprk4mm8uum3ur0qwcpz4mhxue69uhhyetvv9ujumt0wd68ytnsw43ql7mune'>nevent1q…mune</a><br/>_________________________<br/><br/><span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqknzsux7p6lzwzdedp3m8c3c92z0swzc0xyy5glvse58txj5e9ztqaufa4k" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqknzsux7p6lzwzdedp3m8c3c92z0swzc0xyy5glvse58txj5e9ztqaufa4k</span> (<span class="italic">nprofile…fa4k</span>)</a></span> Here&#39;s the standard answer: the von Neuman-Morgenstern expected utility axioms are equivalent having real-valued utility, and *you* try doing any nontrivial modelling without using any calculus 2025-06-05T10:43:13Z https://yabu.me/nevent1qqs8q0qwyyrleczefpxvktsqzvq5jnsnyvmf53ga79au5hlu5lqmhwczyrft43t72qkrdu69duvsvflnqwtthe7lyval0mdludvepulgtn6ywarux8p The intuitive reason that the internal logic of lenses is linear is that if you could copy data then you could have update conflicts. You can only copy the things for which you have a strategy to resolve conflicts. 2025-05-26T07:28:37Z https://yabu.me/nevent1qqsw87e5mj9tdjyjr4j8tlt95k58da9glvxjewtnkw6590jxza8lttgzyrft43t72qkrdu69duvsvflnqwtthe7lyval0mdludvepulgtn6yw8zvjnk So apparently Scotland now has a tropical monsoon climate and everyone is excited that the rains have come 2025-05-23T18:51:51Z https://yabu.me/nevent1qqsv72ka5xgtj3ulcn6wr9pxhheryxrwjs57skjugzunxjs242sgk5gzyrft43t72qkrdu69duvsvflnqwtthe7lyval0mdludvepulgtn6ywhvu5lq In reply to <a href='/nevent1qqswxj3w30rdw89a3p5rggmkv8690zwdys5cfkp6ks37mzj4uhx28jspz4mhxue69uhhyetvv9ujumt0wd68ytnsw43qe0sxhf'>nevent1q…sxhf</a><br/>_________________________<br/><br/><span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqknzsux7p6lzwzdedp3m8c3c92z0swzc0xyy5glvse58txj5e9ztqaufa4k" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqknzsux7p6lzwzdedp3m8c3c92z0swzc0xyy5glvse58txj5e9ztqaufa4k</span> (<span class="italic">nprofile…fa4k</span>)</a></span> Nice! Unlike last year I&#39;m going to make an effort to hang around for this, if I&#39;m allowed to. Naturally I&#39;m very interested in the economic part 2025-04-23T17:29:11Z https://yabu.me/nevent1qqsxyjjk3d74xay5c6gqmdcgswlraz8fmtxpltvu5ckuzygus074x3gzyrft43t72qkrdu69duvsvflnqwtthe7lyval0mdludvepulgtn6ywzcy992 In reply to <a href='/nevent1qqsdrfpjtt5rdmfm42n65umswu5qqzkq3t9peajvg2949uywrdl3c4spz4mhxue69uhhyetvv9ujumt0wd68ytnsw43ql3madu'>nevent1q…madu</a><br/>_________________________<br/><br/><span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqknzsux7p6lzwzdedp3m8c3c92z0swzc0xyy5glvse58txj5e9ztqaufa4k" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqknzsux7p6lzwzdedp3m8c3c92z0swzc0xyy5glvse58txj5e9ztqaufa4k</span> (<span class="italic">nprofile…fa4k</span>)</a></span> For those who don&#39;t know, PhD positions in the UK that are not just open to UK citizens (or those with existing residence permits) are rare as hens teeth 2025-04-01T19:37:14Z https://yabu.me/nevent1qqstk72mcm5hus8ey7wg4ssgfja0wjdcewnphchgulnasvua32p00qqzyrft43t72qkrdu69duvsvflnqwtthe7lyval0mdludvepulgtn6yw94cnu4 In reply to <a href='/nevent1qqs9z4xp2trkfjwggdaej5fp25azjxj7e3jqvejfgqfqg7rwq2nvguqpz4mhxue69uhhyetvv9ujumt0wd68ytnsw43qf3udeu'>nevent1q…udeu</a><br/>_________________________<br/><br/><span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqknzsux7p6lzwzdedp3m8c3c92z0swzc0xyy5glvse58txj5e9ztqaufa4k" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqknzsux7p6lzwzdedp3m8c3c92z0swzc0xyy5glvse58txj5e9ztqaufa4k</span> (<span class="italic">nprofile…fa4k</span>)</a></span> The article I linked has a lot to say about that. One of the main underlying causes is that the Scottish government pays for Scottish students to study in Scotland, but they amount they pay hasn&#39;t been adjusted for inflation in a very very long time, so universities now make quite a big loss on every single Scottish student 2025-03-16T17:52:05Z https://yabu.me/nevent1qqsp3eypnr3uz82cpq3l58vfs64jtx7257q2kqcldzp3csmv7m4qu5qzyrft43t72qkrdu69duvsvflnqwtthe7lyval0mdludvepulgtn6ywz0ux8e <a href="https://www.bbc.co.uk/news/articles/cddynyz9q6po">https://www.bbc.co.uk/news/articles/cddynyz9q6po</a><br/><br/> <img src="https://media.mathstodon.xyz/media_attachments/files/114/173/301/214/753/739/original/7b8dea33deb86b6f.png"> 2025-03-16T17:32:14Z https://yabu.me/nevent1qqswx53x028h05k8dmyddpl27turx46wdkpddxpwe0vq7s53s7d2t8szyrft43t72qkrdu69duvsvflnqwtthe7lyval0mdludvepulgtn6ywe8lur3 Recreational mathematics puzzle: is there an interesting number that is approximated by today&#39;s date, 14.3? 2025-03-14T15:21:32Z https://yabu.me/nevent1qqs0xn98wdff4j7xdh0vq257g70gml9pckw62mxxw0geqm68aqyl38szyrft43t72qkrdu69duvsvflnqwtthe7lyval0mdludvepulgtn6ywrecku6 Einstein notation works for the frobenius/hypergraph structure of tensors, right? As in, instead of an index appearing exactly twice it can appear any number ≥ 1 times and you just sum over all of them? Do physicists actually use that? 2025-03-01T13:39:53Z https://yabu.me/nevent1qqsgwmd855p82cr35kfjkjvlcdefakxyqyf7sanwh053rnztd5qkxugzyrft43t72qkrdu69duvsvflnqwtthe7lyval0mdludvepulgtn6ywk3wvg0 In reply to <a href='/nevent1qqswa47fk6ajffzqhl7a4r8c7n3p0xx2pdyktrqsghzxcztcz4clc8gpz4mhxue69uhhyetvv9ujumt0wd68ytnsw43ql3phax'>nevent1q…phax</a><br/>_________________________<br/><br/><span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqky223zcc4q69d8t0me4vg5uw8mw0yxeukjgvz6h92laqnenr0ajsgze5g0" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqky223zcc4q69d8t0me4vg5uw8mw0yxeukjgvz6h92laqnenr0ajsgze5g0</span> (<span class="italic">nprofile…e5g0</span>)</a></span> Same (although I have long assumed that the CDU is not more right wing than British Labour, who allegedly pass for left wing in England) 2025-02-24T11:22:53Z https://yabu.me/nevent1qqswk4rdl5algegs0n97s2vg2sautmtx9m8g50wvfwr0pkju03d6myszyrft43t72qkrdu69duvsvflnqwtthe7lyval0mdludvepulgtn6ywhxvjmn A lot of politics is threatening to occur<br/><br/> <img src="https://media.mathstodon.xyz/media_attachments/files/114/058/357/580/848/534/original/b6b9ac97e2c9a507.png"> <br/> <img src="https://media.mathstodon.xyz/media_attachments/files/114/058/358/081/869/379/original/856f2819c1812cc6.png"> 2025-02-24T10:21:28Z https://yabu.me/nevent1qqsprtgvnyhdytn72c7q60uqzkpxhjk90kncj3ty9aehp73axvgcyfczyrft43t72qkrdu69duvsvflnqwtthe7lyval0mdludvepulgtn6ywgxhlgz Ah yes, a letter of support for the NIH, that&#39;ll learn the bastards for sure 2025-02-21T20:31:31Z https://yabu.me/nevent1qqs82kr4qpt03ygr4nuw5pm59p420au747mvyuzhq4ztgu76e0z6s6czyrft43t72qkrdu69duvsvflnqwtthe7lyval0mdludvepulgtn6yws90d0h It&#39;s a day to keep a close eye on the news. Counting so far: Germany, Sweden and the UK have said they are willing to put soldiers on the ground in Ukraine 2025-02-17T13:07:14Z https://yabu.me/nevent1qqsg2w9p88gase30frhm9t4qtjhe80n5m20avxcuykrqh9dm6k9gymszyrft43t72qkrdu69duvsvflnqwtthe7lyval0mdludvepulgtn6ywxhr7nw In reply to <a href='/nevent1qqsqey84nuwuek408zmaw605lyamn35dmkxs3c64altn0cmt6dgnsrgpz4mhxue69uhhyetvv9ujumt0wd68ytnsw43qfykvpf'>nevent1q…kvpf</a><br/>_________________________<br/><br/><span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqky223zcc4q69d8t0me4vg5uw8mw0yxeukjgvz6h92laqnenr0ajsgze5g0" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqky223zcc4q69d8t0me4vg5uw8mw0yxeukjgvz6h92laqnenr0ajsgze5g0</span> (<span class="italic">nprofile…e5g0</span>)</a></span> Ok I last thought about how Enigma works when I was a teenager and don&#39;t remember much about it, now I am wondering whether it&#39;s yet another thing that&#39;s secretly lenses 2025-02-16T15:07:49Z https://yabu.me/nevent1qqspd4ca6jc2nu8ddvc298zg3hxmu9jvvn0eumkxk33dhhn350rjwvgzyrft43t72qkrdu69duvsvflnqwtthe7lyval0mdludvepulgtn6ywe70jh7 In reply to <a href='/nevent1qqs9t2f345gze5megjk65uwn70nlfvwh8prkz6l30zx00y30m92z2pqpz4mhxue69uhhyetvv9ujumt0wd68ytnsw43qlmeu9k'>nevent1q…eu9k</a><br/>_________________________<br/><br/><span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqky223zcc4q69d8t0me4vg5uw8mw0yxeukjgvz6h92laqnenr0ajsgze5g0" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqky223zcc4q69d8t0me4vg5uw8mw0yxeukjgvz6h92laqnenr0ajsgze5g0</span> (<span class="italic">nprofile…e5g0</span>)</a></span> Is it just that they are both instances of iterating a fairly simple function a few times creates complicated behaviour? 2025-02-16T12:36:54Z https://yabu.me/nevent1qqszdcxlkuds2dgpljy99z0q80743haqy2ejzv8e6mkvn9vwz8ad7tszyrft43t72qkrdu69duvsvflnqwtthe7lyval0mdludvepulgtn6ywg5s46l It&#39;s only a banana if you have 2 of them. If you only have 1 it&#39;s a unanana, and if you have a bunch of 𝑛 of them it&#39;s an 𝑛-anana 2025-01-15T13:14:25Z https://yabu.me/nevent1qqs24scuqrhjqdzzfd7drftpa98tr5nfjrc2s5j67tg6pkg2ul26wpszyrft43t72qkrdu69duvsvflnqwtthe7lyval0mdludvepulgtn6ywpwzg2c Current affiliations:<br/>90% Institute for Categorical Cybernetics<br/>10% University of Strathclyde 2024-09-02T09:50:38Z https://yabu.me/nevent1qqsrgprr47z6rg5xl8t5fz0dff547z23q3f8gy2xqfktlfl5066kylgzyrft43t72qkrdu69duvsvflnqwtthe7lyval0mdludvepulgtn6ywva6q5f Knives are cutlery, forks are stabblery, spoons are scooplery 2023-12-31T14:43:27Z https://yabu.me/nevent1qqsx63fgdvpsjvgk3ltdnm3rmnlrf3dl23k9a54ph8xgds5ghr7u6xgzyrft43t72qkrdu69duvsvflnqwtthe7lyval0mdludvepulgtn6yw97gkpe New blog post: AI safety meets value chain integrity<br/><br/>tl;dr - Advanced AI making economic decisions in supply chains and markets creates poorly-understood risks, especially by undermining the fundamental concept of individuality of agents.<br/><br/><a href="https://cybercat-institute.github.io/2023/12/11/ai-safety-meets-value-chain-integrity/">https://cybercat-institute.github.io/2023/12/11/ai-safety-meets-value-chain-integrity/</a> 2023-12-12T13:42:30Z https://yabu.me/nevent1qqsqyrzgekscrf5ua5k8j6456snr22wavh30rf5kqv9rnnvj9umn9agzyrft43t72qkrdu69duvsvflnqwtthe7lyval0mdludvepulgtn6ywjjylk2 There seems to be a decentralisation-usability tradeoff, very similar to the security-usability tradeoff 2023-08-08T13:12:17Z https://yabu.me/nevent1qqsq4nf2cee7nhqexg29j4skl0vu6aw7clpe929q8ctrgdhrul77a8qzyrft43t72qkrdu69duvsvflnqwtthe7lyval0mdludvepulgtn6ywa02nra How in the world did people do international travel before the internet?<br/><br/>Like... you can&#39;t even look up hotels in the phone book, unless you happen to have a phone book for the country you&#39;re going to... 2023-07-16T16:34:49Z