2026-04-18T20:54:15Z https://yabu.me Grégoire Locqueville https://yabu.me/npub1pcclfh3rg0zpetm79x6ax68gjzgtep7xzamchl6ek5yydmygrces25cn6z https://media.mathstodon.xyz/accounts/avatars/110/695/381/421/683/293/original/c4b6233c79255a73.png https://media.mathstodon.xyz/accounts/avatars/110/695/381/421/683/293/original/c4b6233c79255a73.png https://yabu.me/nevent1qqs05qdnfs6frsnp2g7898z62x04nkxded0e04q3375ajqmc6uzztnqzyq8rrax7ydpug8900c5mt5mgazgfp0y8ccth0zlltx6ss3hv3q0rxnvsf6c In reply to <a href='/nevent1qqsrvmv08lwrdd4j5d6k5nkr458v9w487e5lzchnz9d0luu2dvqztgg3j9kjn'>nevent1q…9kjn</a><br/>_________________________<br/><br/>&gt; Physics is very different from math.  It involves understanding at a gut level what particles and fields tend to do in different situations.<br/><br/>Right, but can&#39;t the language of math help those who understand it build an intuition for a physical theory? Not as a means to get a rigorous, complete picture, just as a means of communication.<br/><br/><span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/npub18a63tjqchu08dmrzfs644v3wysydjq4kdqjx2xh66qdx02zk4a9qtkszuj" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>Andrej Bauer</span> (<span class="italic">npub18a6…szuj</span>)</a></span> 2026-03-25T17:16:21Z https://yabu.me/nevent1qqsts7lej9zte7rlsut0jpt3eqc96jatuhvasw2htgqqvflt5j3d8zgzyq8rrax7ydpug8900c5mt5mgazgfp0y8ccth0zlltx6ss3hv3q0rxnpgf76 It seems that installing audio plugins on #NixOS is its own can of worms 🙃 2026-01-25T18:23:47Z https://yabu.me/nevent1qqs8a9xmgpln6sm24fa37xht7rfm7n2pkjuxlf9ywulds86e2zad54szyq8rrax7ydpug8900c5mt5mgazgfp0y8ccth0zlltx6ss3hv3q0rxdmzqna In reply to <a href='/nevent1qqsznwkp7tqmnr35tejqa4feq877gzx66d87587enejm3navffe9v8cp3xvz8'>nevent1q…xvz8</a><br/>_________________________<br/><br/>What do you mean? Doesn&#39;t<br/>```<br/>someArray.join(&#34;, &#34;, last: &#34;, and &#34;)<br/>```<br/>work? 2026-01-20T07:51:28Z https://yabu.me/nevent1qqswvkgqjpwe3l9wpgus6jwzhzkghg4f9jw39skzpz8777h69swpycgzyq8rrax7ydpug8900c5mt5mgazgfp0y8ccth0zlltx6ss3hv3q0rx04hay0 In reply to <a href='/nevent1qqst8rg5344j2aq0knkzvaug08z30v2kde5zmv7frldpha6rfmlaejc8cy5pd'>nevent1q…y5pd</a><br/>_________________________<br/><br/>Thanks a lot! 2026-01-10T05:22:40Z https://yabu.me/nevent1qqsgkmz2cuw4rtdrl3dwfe4w36uqy9k897ev8tyr9jx6p5c9t7c0z0czyq8rrax7ydpug8900c5mt5mgazgfp0y8ccth0zlltx6ss3hv3q0rx9dfcxj In reply to <a href='/nevent1qqsr8cw8qhr7ffxqftr83gfmjwvkufgunrsnxv0w6clzx7kq4qyfkhgza6ftv'>nevent1q…6ftv</a><br/>_________________________<br/><br/>Now I&#39;m curious what conceptual frameworks Poincaré suggested? 2026-01-10T04:42:44Z https://yabu.me/nevent1qqs8pwy75w3fnq9gwpadl2ctz7fduycwtlqmeu2qzfjmsvt9s9ph5nqzyq8rrax7ydpug8900c5mt5mgazgfp0y8ccth0zlltx6ss3hv3q0rxtkggza In reply to <a href='/nevent1qqsfc3zhsmf6r7wkm7h6j9haxk5vhf3q5em35k97af0sfum6la5p7gsqymgz9'>nevent1q…mgz9</a><br/>_________________________<br/><br/>&#34;lump in the carpet&#34; is a great analogy 2025-12-25T11:02:56Z https://yabu.me/nevent1qqsz9m33dxxce66rxkmqaaeswa9cg93nppq4d2xsqucprfwzgn529ygzyq8rrax7ydpug8900c5mt5mgazgfp0y8ccth0zlltx6ss3hv3q0rx4x9tql In reply to <a href='/nevent1qqst2mpz60pmn8mt3t67pegq0l7vcnuk03dd2zgcz9e5ansu50djutcfa2eh6'>nevent1q…2eh6</a><br/>_________________________<br/><br/>It&#39;s honestly shocking how charitable the people in that thread are, with some spammer who basically just dumped tens of thousands of lines of code that he has not even bothered to understand (let alone write) and expects them to review it... 2025-11-28T22:30:57Z https://yabu.me/nevent1qqszjnxvw0ecwlavu0je5tm4gyvu8hvyxn2lfwdy3h9lkjuz4x28mtszyq8rrax7ydpug8900c5mt5mgazgfp0y8ccth0zlltx6ss3hv3q0rxskvls7 In reply to <a href='/nevent1qqszwaellyq6655kac4dtpxrzkt975geqjs23slg6fgfush3uzhvenqcf9utp'>nevent1q…9utp</a><br/>_________________________<br/><br/>As a French, we were actually asked to solve the French version of this problem in middle school: how many layers are in a croissant?<br/><br/>(ok, the problem was actually much simpler (obviously — we were in middle school) since it was just about integer powers, but I&#39;m pretty sure it can be made to resemble what&#39;s discussed in the paper if you start thinking about whether you fold from the left or from the right at each step) 2025-11-27T21:25:38Z https://yabu.me/nevent1qqsqxqcfgr4xevwta78e4ev9fjzpt8jxdypwftracwnezun4gmnllkqzyq8rrax7ydpug8900c5mt5mgazgfp0y8ccth0zlltx6ss3hv3q0rxh5he54 In reply to <a href='/nevent1qqsrxpvreqgz0v93hdrt3yp560w9qle2x72lc5mrgl69tnyph4uqlngua4dqd'>nevent1q…4dqd</a><br/>_________________________<br/><br/>It&#39;s half past midnight and I&#39;m nerd-sniped 😭 2025-07-07T22:41:54Z https://yabu.me/nevent1qqsd2nyf2qxht3ss0f97at7zl0up5ldnuvnw8ykg9qf0p5uvgaacraszyq8rrax7ydpug8900c5mt5mgazgfp0y8ccth0zlltx6ss3hv3q0rxac4qfd In reply to <a href='/nevent1qqsfsnm53r2qdnt7qtsh3ul5cysa5tj4pjaj6u0654gzedae3dwqdzs2fyfd7'>nevent1q…yfd7</a><br/>_________________________<br/><br/>Ohh I missed that 🙄 I thought it had as many steps as elements in the cycle, which is obviously false 2025-07-07T22:32:34Z https://yabu.me/nevent1qqsyfxuu06pgtyqy0qxcxkgsfkqva5df2lhzvvwdmr85njetg976sggzyq8rrax7ydpug8900c5mt5mgazgfp0y8ccth0zlltx6ss3hv3q0rx5skq3l In reply to <a href='/nevent1qqsytszwtzkwum3zlcu7pn7s6tpnqlttm6kdk3klgdx7jk3c8r49w8svqy7sv'>nevent1q…y7sv</a><br/>_________________________<br/><br/>Unless I&#39;m missing something, you need as many steps as you have elements, minus the number of elements that remain unchanged:<br/>- You &#34;obviously&#34; need at least as many steps, because otherwise there would be an element that does not change <br/>- You need at most as many steps, because you can decompose any permutation into a product of cyclic permutations with disjoint orbits, and you can apply your little algorithm for cyclic permutations for each of those 2025-07-07T22:26:04Z https://yabu.me/nevent1qqsxmlg8tz6fakyl9rh48a4v65p0cahun7a76jc9rtm0rxwnfyvywnqzyq8rrax7ydpug8900c5mt5mgazgfp0y8ccth0zlltx6ss3hv3q0rx35uv2l In reply to <a href='/nevent1qqswel6pwv6srlfp24qxdn9c4tcczrwga9js2nkjvcc753yuzltwhrc34nmty'>nevent1q…nmty</a><br/>_________________________<br/><br/>A related observation:<br/><br/>&#34;A burrito is like a functor: it takes a type, like meat or beans, and turns it into a new type, like beef burrito or bean burrito.&#34;<br/><br/><a href="https://blog.plover.com/prog/burritos.html">https://blog.plover.com/prog/burritos.html</a> 2025-02-22T16:14:05Z https://yabu.me/nevent1qqsd4lmfynduw0wpj5q643t9ug07g90mm4w0lfavmj9jmyuwd9sctzgzyq8rrax7ydpug8900c5mt5mgazgfp0y8ccth0zlltx6ss3hv3q0rxzp3r2q In reply to <a href='/nevent1qqs9yyat2kedyell8v9qcv0hlejsrrnw8ds62qfajephcq7ey5yunxqta5rk3'>nevent1q…5rk3</a><br/>_________________________<br/><br/>Ok but I still don&#39;t get why he should &#34;see her at a close distance&#34;? 2024-11-30T13:02:24Z https://yabu.me/nevent1qqsflncwjdexys546472z0l04jzla55e5m84jzuyyh9jrtavzftdk5czyq8rrax7ydpug8900c5mt5mgazgfp0y8ccth0zlltx6ss3hv3q0rx7h399w In reply to <a href='/nevent1qqsztt6tanp0ha4ak4nctv9kpf9duxl9sgntp72usyhta98v3p35ayqr4set4'>nevent1q…set4</a><br/>_________________________<br/><br/>&gt; Bob will eventually see her at a close distance<br/><br/>I don&#39;t think so. From Bob&#39;s conceptual perspective, Alice&#39;s progress is stalled near the horizon only as long as Bob is a distant observer. Once he approaches the black hole, there&#39;s a time on his clock at which he can say she&#39;s crossed the horizon, even though the light of Alice crossing the horizon hasn&#39;t reached him yet. 2024-11-30T11:50:46Z https://yabu.me/nevent1qqstsc9asujwcu0m7hgfnupjcpch7jddz7ltfefkh2tmu36lr2xgqzgzyq8rrax7ydpug8900c5mt5mgazgfp0y8ccth0zlltx6ss3hv3q0rxgzvx2c In reply to <a href='/nevent1qqs8m9hcl7zxmr7ka8gjj8wm0tzyhu6ha0g54f3egyg2pwra0kmpljcnrzd54'>nevent1q…zd54</a><br/>_________________________<br/><br/>I assume &#34;question 2&#34; refers to your question about Alice being flattened in my scenario where you follow her from a short distance. But in that scenario I was assuming you were following her from close enough (compared to the size of the black hole), at the same speed.<br/><br/>If you go slow enough and leave enough space between some ships and you that you start to see them flatten, I think (not 100% sure of that) you will still see them flat (but not infinitely flat!) while you&#39;re crossing the horizon. But I may be wrong, and you might see them progressively get (some of) their thickness back as you&#39;re approaching the horizon.<br/><br/>Either way, I don&#39;t see anything paradoxical? 2024-11-30T11:20:43Z https://yabu.me/nevent1qqsvyy8tue8md2p38ur45as87n63h806faltj26kk2w9pxgsew5revczyq8rrax7ydpug8900c5mt5mgazgfp0y8ccth0zlltx6ss3hv3q0rx5a2aj5 In reply to <a href='/nevent1qqsgfc86auzmczy9ku7f59s6ldtvdu3vq0c7uzk3pkwe6ezsz7qhh2ckaedzz'>nevent1q…edzz</a><br/>_________________________<br/><br/>Correct<br/><span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/npub1nf4p4rh06z6n6lsvje4txk7eqs23y3hs8vd7nraq6tgwady5qvsqy3nqe4" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>John Carlos Baez</span> (<span class="italic">npub1nf4…nqe4</span>)</a></span> <span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/npub12cuzzqzv8e8y7na77a9zv47mx2v6pec60qs5h7takzmv5p0mw0fsmgd38p" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>Greg Egan</span> (<span class="italic">npub12cu…d38p</span>)</a></span> 2024-11-30T07:06:40Z https://yabu.me/nevent1qqsf4zrqpc6u5pnh63s2nt0l03c6hx8xc9yp5s9924rptaq2ymsn48czyq8rrax7ydpug8900c5mt5mgazgfp0y8ccth0zlltx6ss3hv3q0rxw6yslz In reply to <a href='/nevent1qqsx4h2phwfyl6vp02y9apd8ula58hav3ldlszewq7gcgj68mwhv2tqtq60r6'>nevent1q…60r6</a><br/>_________________________<br/><br/>I think you need to make it clear if the observer is going into the black hole with the object or not.<br/><br/>1. If not, then yes they will be seeing the object flatten above the horizon to avoid crossing it.<br/><br/>2. If they are going into the black hole too, then things will look normal, and they will see the object cross the horizon just while they are crossing it themselves (see my other toot).<br/><br/>3. If they follow the object, but accelerate backwards enormously at the last minute, to avoid crossing it, then they will first be seeing a normal image of it before it crossed the black hole (see my previous toot), then after the backwards acceleration they will suddenly see it flattened because their relative speed will have become suddenly high.<br/><br/>You can try to imagine all kinds of scenarios like that, and the answer will generally be somewhere on the spectrum between 1. and 2.<br/><br/><span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/npub1nf4p4rh06z6n6lsvje4txk7eqs23y3hs8vd7nraq6tgwady5qvsqy3nqe4" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>John Carlos Baez</span> (<span class="italic">npub1nf4…nqe4</span>)</a></span> <span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/npub12cuzzqzv8e8y7na77a9zv47mx2v6pec60qs5h7takzmv5p0mw0fsmgd38p" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>Greg Egan</span> (<span class="italic">npub12cu…d38p</span>)</a></span> 2024-11-30T00:40:02Z https://yabu.me/nevent1qqswqpuwpcxwccd3anlnekz3e3mvsyv0f5s2nmn6ucme4npmr9tk74qzyq8rrax7ydpug8900c5mt5mgazgfp0y8ccth0zlltx6ss3hv3q0rx07jh7x In reply to <a href='/nevent1qqs90zvl4k7j27e0tdvlrzws20qem07m275zzlrgp7u739tcdc8e8ecs5gw5x'>nevent1q…gw5x</a><br/>_________________________<br/><br/>Just so we&#39;re clear: you&#39;re suggesting that the bacterium in my eye shoot a tiny laser towards my nose, on which a tiny mirror will have been placed, allowing the laser light to bounce on it and get back to my eye; and that the bacterium measure the time (on its clock) between the moment it shoots the laser and the moment it gets its light back. Right?<br/><br/>Now you say my nose is &#34;receding&#34;, and my eye is &#34;running towards&#34; it — but what frame of reference are we talking about now? I thought we were talking about my local frame of reference, in which neither my eye nor my nose are moving! If we&#39;re talking a distant observer&#39;s point of view, we&#39;ve already established they do indeed think I am flattened!<br/><br/><span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/npub1nf4p4rh06z6n6lsvje4txk7eqs23y3hs8vd7nraq6tgwady5qvsqy3nqe4" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>John Carlos Baez</span> (<span class="italic">npub1nf4…nqe4</span>)</a></span> <span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/npub12cuzzqzv8e8y7na77a9zv47mx2v6pec60qs5h7takzmv5p0mw0fsmgd38p" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>Greg Egan</span> (<span class="italic">npub12cu…d38p</span>)</a></span> 2024-11-27T21:27:26Z https://yabu.me/nevent1qqsdpj34pg6pevpl7gq0eskyyr6yvg35ttdwfe9k5pejx0dm5q02t5qzyq8rrax7ydpug8900c5mt5mgazgfp0y8ccth0zlltx6ss3hv3q0rxj8u3v5 In reply to <a href='/nevent1qqsrg4xhap5lwf4t2k98g43nfrcj66xdgg9jquq6tc9r9kqgt70npgcm7a790'>nevent1q…a790</a><br/>_________________________<br/><br/>What experiment do you suggest I do, once near the horizon, to measure the thickness of my nose in my frame of reference?<br/><span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/npub1nf4p4rh06z6n6lsvje4txk7eqs23y3hs8vd7nraq6tgwady5qvsqy3nqe4" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>John Carlos Baez</span> (<span class="italic">npub1nf4…nqe4</span>)</a></span> <span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/npub12cuzzqzv8e8y7na77a9zv47mx2v6pec60qs5h7takzmv5p0mw0fsmgd38p" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>Greg Egan</span> (<span class="italic">npub12cu…d38p</span>)</a></span> 2024-11-27T21:07:44Z https://yabu.me/nevent1qqsw3vktrfhhhu5lxqk94ysd7ak0y2ftxmz3f8g2gx3wccxkkjjpr7gzyq8rrax7ydpug8900c5mt5mgazgfp0y8ccth0zlltx6ss3hv3q0rxlskpm6 In reply to <a href='/nevent1qqsw4ktgqyj5lhwkm2x03skv8wmfz8g9sme0pe5u7h00zqz42w5eeysam3lca'>nevent1q…3lca</a><br/>_________________________<br/><br/>No, the bacterium is also flattened (from the point of view of a distant observer), along with its local environment, including my nose, and thus it does not notice that my nose is flattened — there&#39;s no local experiment it can perform to determine that my nose is in fact flat, any more than it could in space away from the black hole.<br/><br/>It&#39;s the exact same in special relativity. If you and I were flying close to light speed relative to each other, from the perspective of each of us the other would be flattened, yet we wouldn&#39;t think of ourselves as flattened.<br/><br/><span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/npub1nf4p4rh06z6n6lsvje4txk7eqs23y3hs8vd7nraq6tgwady5qvsqy3nqe4" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>John Carlos Baez</span> (<span class="italic">npub1nf4…nqe4</span>)</a></span> <span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/npub12cuzzqzv8e8y7na77a9zv47mx2v6pec60qs5h7takzmv5p0mw0fsmgd38p" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>Greg Egan</span> (<span class="italic">npub12cu…d38p</span>)</a></span> 2024-11-27T18:34:19Z https://yabu.me/nevent1qqst9jw5g84a77tthkksazdtw6357plg34rvz0klu3gv72yeufxhm7qzyq8rrax7ydpug8900c5mt5mgazgfp0y8ccth0zlltx6ss3hv3q0rx3xmpwf In reply to <a href='/nevent1qqspdsll5q3y99h2fsq89d3tuwvnucfjz73zn78ajjnu5gy4urptprcufacvj'>nevent1q…acvj</a><br/>_________________________<br/><br/>Your first paragraph is correct *as long as you&#39;re looking from far enough from the horizon*.<br/><br/>The second paragraph is incorrect. Locally, you are still in euclidean spacetime before, during, and after your crossing of the *event horizon*; this only becomes false as you approach the *singularity*.<br/><br/>Sure, if you&#39;re close to the horizon, people far away from the black hole do see you flat and redshifted, but you don&#39;t agree with them!<br/><br/><span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/npub1nf4p4rh06z6n6lsvje4txk7eqs23y3hs8vd7nraq6tgwady5qvsqy3nqe4" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>John Carlos Baez</span> (<span class="italic">npub1nf4…nqe4</span>)</a></span> <span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/npub12cuzzqzv8e8y7na77a9zv47mx2v6pec60qs5h7takzmv5p0mw0fsmgd38p" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>Greg Egan</span> (<span class="italic">npub12cu…d38p</span>)</a></span> 2024-11-27T18:07:20Z https://yabu.me/nevent1qqsw94w85kxwfcga57feh60u6ut2a8ssw65r7uyea5e97qdhmaxn4mszyq8rrax7ydpug8900c5mt5mgazgfp0y8ccth0zlltx6ss3hv3q0rx4musue In reply to <a href='/nevent1qqs9jqw5jly6ek037zsmtlm4j7en2jhaprfg5vnu5d3vqs0e8cty6lcvqwage'>nevent1q…wage</a><br/>_________________________<br/><br/>The first ship does actually &#34;wait for you&#34;, i.e. its clock slows down relative to yours and it slows down so much it appears to stop at the even horizon — that is, until you go to the event horizon yourself.<br/>(It also gets redshifted more and more to the point you can&#39;t see it anymore — again, until you go to the event horizon yourself) 2024-11-25T23:47:50Z https://yabu.me/nevent1qqsf37rf63hr5dnfkqqje2vl9flzprjlaxkdzhd8tk89clnhhuvg52qzyq8rrax7ydpug8900c5mt5mgazgfp0y8ccth0zlltx6ss3hv3q0rxn27r6w In reply to <a href='/nevent1qqs8af9dejp4hern937wf2alm3zxq5q3rjxxsyezx5u247m5xtychwczvdpu9'>nevent1q…dpu9</a><br/>_________________________<br/><br/>Alessandro Roussel, aka ScienceClic, also makes great GR- and black hole-related visualizations <br/><a href="https://www.youtube.com/watch?v=wrwgIjBUYVc">https://www.youtube.com/watch?v=wrwgIjBUYVc</a> 2024-11-25T22:28:56Z https://yabu.me/nevent1qqs8zmtvnc9ylesqznzzplszfftwhxdakyqg5dvxlm7ednqpqc2tfrqzyq8rrax7ydpug8900c5mt5mgazgfp0y8ccth0zlltx6ss3hv3q0rx5d6jrs In reply to <a href='/nevent1qqsxg8krsdrjzhtcxp9mf3z0gm300q8d7n3azplnkd6fmtuetzdk4vs7yxjf0'>nevent1q…xjf0</a><br/>_________________________<br/><br/>Ahh you&#39;re right, I didn&#39;t think about that. So I guess what I initially thought was a volume is actually a half-line. When will shrinkflation stop 😢<br/><span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/npub1glgxnwfzwxpvj3l6d96vxttum7rkfav3dmcwdkyqz9eqkt83mdfsaxtqzy" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>Bartosz Milewski</span> (<span class="italic">npub1glg…tqzy</span>)</a></span> <span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/npub1x4dc9the5uen6unmwyn4whsuznj6jp2a004twuvjjcarkm745ems3z6lp6" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>TobyBartels</span> (<span class="italic">npub1x4d…6lp6</span>)</a></span> <span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/npub12cuzzqzv8e8y7na77a9zv47mx2v6pec60qs5h7takzmv5p0mw0fsmgd38p" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>Greg Egan</span> (<span class="italic">npub12cu…d38p</span>)</a></span> <span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/npub1hnphh99kmukqa3qq2axyw9jweek98rchfzchfnjqua7xr79x4xjs5z26ht" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>Nick has moved to Mathstodon</span> (<span class="italic">npub1hnp…26ht</span>)</a></span> 2024-11-25T19:16:45Z https://yabu.me/nevent1qqsdvrjpn3c0euf945lp2gl52r6qnc5pr0utxsrwvjd33gq323gnq5czyq8rrax7ydpug8900c5mt5mgazgfp0y8ccth0zlltx6ss3hv3q0rxtx4fzz In reply to <a href='/nevent1qqsteqzp7x0p4n4vle97ttnypnaymx586v6kh4q5aac3ze7w3maruccjla2l4'>nevent1q…a2l4</a><br/>_________________________<br/><br/>Thank you, I corrected my reply. Am I (locally) correct now talking about a half volume instead of a volume, and saying Bob &#34;sees&#34; the horizon everywhere in front of him as he&#39;s crossing it? 2024-11-25T19:02:47Z https://yabu.me/nevent1qqspmnk025mjfasq73kpavyxtreuwvcjfrv2g76cur553a9vsz7ah9qzyq8rrax7ydpug8900c5mt5mgazgfp0y8ccth0zlltx6ss3hv3q0rxgvlsp5 In reply to <a href='/nevent1qqsruj3a05fyw5qgmscpckvr0suetxynrhctplgxls2gs5t4psfkd4g05gt4x'>nevent1q…gt4x</a><br/>_________________________<br/><br/>If Bob could see the horizon, at the moment he crossed it, he would see it in front of him, overlapping him, and behind him all at once, like an invisible wall passing him at light speed. When Bob crosses the horizon, it appears to him everywhere — like a volume instead of a surface. But Alice only appears at one point in this volume, in front of him. 2024-11-25T18:18:02Z https://yabu.me/nevent1qqsruj3a05fyw5qgmscpckvr0suetxynrhctplgxls2gs5t4psfkd4gzyq8rrax7ydpug8900c5mt5mgazgfp0y8ccth0zlltx6ss3hv3q0rxedczu7 In reply to <a href='/nevent1qqsd9tpgqwms4a2qr6lttlaayx0kxqwz4sfcuu3n0dw3764dcv8ux9qd06y6r'>nevent1q…6y6r</a><br/>_________________________<br/><br/>He sees her in front of him, but by the time the photons coming from the event &#34;Alice crosses the horizon&#34; reach Bob, the horizon also reaches him. 2024-11-25T18:07:58Z https://yabu.me/nevent1qqsq5c99t6ltgdrhj7pkfzj6wz95f63zlc7cs0t0qr7w599aawqkqegzyq8rrax7ydpug8900c5mt5mgazgfp0y8ccth0zlltx6ss3hv3q0rxdxe2s2 In reply to <a href='/nevent1qqsf6qns7kxp37n2x5j0a4svw3uqvpwcjqm53zcq5tacn65gl0gs3agh9zhhh'>nevent1q…zhhh</a><br/>_________________________<br/><br/>It certainly depends on your definition of &#34;implicit&#34;, but for what it&#39;s worth, I did have to scratch my head about this specific dependency (if I remember correctly).<br/><br/>pkg-config works if the dependency is installed on your system, but it&#39;s useless if you don&#39;t have the dependency installed already, right? 2024-11-08T15:17:12Z https://yabu.me/nevent1qqs2txnntwpeu3r0kyhu86anr6n5z2fp8l0erzr3lh3l9496p8vl9rczyq8rrax7ydpug8900c5mt5mgazgfp0y8ccth0zlltx6ss3hv3q0rx6dm3yz In reply to <a href='/nevent1qqstcrq4cr7xu5579uldgarv07w3hmv3p928htkug0s2q3ktmvlmv3qjj9qdj'>nevent1q…9qdj</a><br/>_________________________<br/><br/>I am guessing the lack of examples is a consequence of library authors relying on the types too much 2024-11-07T17:42:00Z https://yabu.me/nevent1qqs0udphht09lldyk09gq6vqzwp8q5dgv8hxrlznr3x7qgkq3q8qu8qzyq8rrax7ydpug8900c5mt5mgazgfp0y8ccth0zlltx6ss3hv3q0rxazzudd In reply to <a href='/nevent1qqsqqkdec5l8r53wmzlvf8eds52cragv340gcatu77d82zruncpzjzqsrw778'>nevent1q…w778</a><br/>_________________________<br/><br/>I see :) (and to be clear, I wasn&#39;t criticizing you) It&#39;s just you tend not to share cutting-edge theoretical talks on here, and to target a slightly less technical audience, so it&#39;s funny seeing you kind of assuming, in this post, that your followers are at that level (even though I know many actually are) 2024-10-17T05:58:30Z https://yabu.me/nevent1qqsp35pgjs4a4j3t7dknh0wz6fuxuxysdm5rqp9zv7jquk0vf20c30qzyq8rrax7ydpug8900c5mt5mgazgfp0y8ccth0zlltx6ss3hv3q0rxwpj7ak In reply to <a href='/nevent1qqsfk259g3g7ty793l625rcdrs5ntulzdzrcc2ayrfaprpq94dj4qtsv8tf27'>nevent1q…tf27</a><br/>_________________________<br/><br/>Not gonna lie, your &#34;He also keeps prerequisites to a minimum. Well, okay: if don&#39;t know quantum field theory don&#39;t watch this.&#34;<br/>got a chuckle out of me. 2024-10-17T05:51:47Z https://yabu.me/nevent1qqs9gxv8ld0t0wxms8mnenf9uc3d60h654mf88pv94x6cutfa7xfexgzyq8rrax7ydpug8900c5mt5mgazgfp0y8ccth0zlltx6ss3hv3q0rx7mypwm I know it&#39;s totally subjective and I&#39;m completely biased in favor of the latter, but #Rust feels so much &#34;bigger&#34; than #Haskell<br/><br/>Sure, depending on your background Haskell might be very hard to grasp*, and GHC is huge and complicated, and a lot of Haskell code hurts the brain, but in terms of core concepts and syntax, I actually feel it&#39;s pretty straightforward :<br/>- Basic function application is as simple as can be. The one complication is infix operators/functions and precedence rules<br/>- Pattern matching is immediately understandable<br/>- At the type level, you need to know about algebraic data types and record types<br/>- And then there&#39;s a sugar layer on top of that, with a couple of constructs that you need to know: string literals, if-then-else, do notation... only the latter of which may be confusing. <br/>I feel like the rest is either building on that, or not essential to the language? <br/><br/>Whereas in Rust you have to grasp:<br/>- Most of that too (functions, some operators, algebraic data types, records, pattern matching)<br/>- Plus general imperative control flow structures<br/>- Plus low-level stuff like pointers and references<br/>- And then Rust&#39;s own innovations (everything related to borrowing)<br/>- ... and some confusing, ad hoc sugar too; see <a href="https://cheats.rs/#language-sugar">https://cheats.rs/#language-sugar</a><br/><br/>*Not getting into the debate of whether one of Haskell or &lt;insert your favorite imperative language here&gt; is easier to learn as a first programming language here 2024-09-29T03:44:38Z