2026-01-29T08:35:41+01:00 https://nostr.ae Omar Antolín https://nostr.ae/npub1umssnfgeht7fvj26zxkfa6q7xadfqu2y5t4tpww37cqxt4dehafsq57ra6 https://media.mathstodon.xyz/accounts/avatars/110/721/438/100/207/085/original/06c706aeaf1a6098.jpg https://media.mathstodon.xyz/accounts/avatars/110/721/438/100/207/085/original/06c706aeaf1a6098.jpg https://nostr.ae/nevent1qqsp2qdfq2fnmnn0ap6wx3gcpywn3ggmnw8g6aehuhcmufkh8ddeseczyrnwzzd9rxa0e9jftgg6e8hgrcm44yr3gj3w4v9e68mqqew4hxl4xu2r4h5 In reply to <a href='/nevent1qqszyykdkr3f56mdn8agt7perrl344lm9tkrjedx0qnf08v7679avxqw5k5uz'>nevent1q…k5uz</a><br/>_________________________<br/><br/>Thanks! I stand corrected. 2026-08-19T23:26:20+02:00 https://nostr.ae/nevent1qqswfefga7kh3tu65j2qe80ptsf2fmas28djh4aulv5p8npayuqxlwczyrnwzzd9rxa0e9jftgg6e8hgrcm44yr3gj3w4v9e68mqqew4hxl4x8wwsrq In reply to <a href='/nevent1qqs95jcjptqp6fhkg4j3rsx9eqj0d28ypjhq7qj9halnd7p9p9mdu4g9gpltn'>nevent1q…pltn</a><br/>_________________________<br/><br/>I think I know the incident you are talking about and it wasn&#39;t an impossible test, the test questions even include good hints, but the LLMs often do something else weird instead. Specially under the incomplete sand-boxing and very lax monitoring that seems to have been put in place. (This whole comment is only a minor quibble about the word &#34;impossible&#34;, I don&#39;t disagree that something should be done to avoid these problems in the future.) <br/><br/>This is the video I saw about it:<br/><br/><a href="https://youtu.be/UyIiAIif5R0?si=6vsNfswEa7yVsIMt">https://youtu.be/UyIiAIif5R0?si=6vsNfswEa7yVsIMt</a> 2026-08-19T18:20:13+02:00 https://nostr.ae/nevent1qqs86xjrlrapxwuhwkng6mv2m47rgg02wc6mdwsdlpsceqgnwl8tdxqzyrnwzzd9rxa0e9jftgg6e8hgrcm44yr3gj3w4v9e68mqqew4hxl4xfyjswm In reply to <a href='/nevent1qqszpw9ulkyngsluvrnyxvnapwnrfncsej5y9ryhmajhjjqqn5d54ccxtcusv'>nevent1q…cusv</a><br/>_________________________<br/><br/>Oh, I didn&#39;t think you meant font rendering, partly because you said &#34;font&#34; without &#34;rendering&#34;, but mainly because I don&#39;t understand why something Microsoft did (the &#34;increased clue&#34;) would improve font rendering in LibreOffice. 2026-08-19T17:56:35+02:00 https://nostr.ae/nevent1qqsfkuu6js4rqsa42pu6mtml4enp5kkh40t46unwmhmdmtxftpc6wlczyrnwzzd9rxa0e9jftgg6e8hgrcm44yr3gj3w4v9e68mqqew4hxl4x2xv7aw In reply to <a href='/nevent1qqsdy7sza7er0sawg7kg57ceerx06qdstv8tpgmy8prvzc6k6efyv2cc6v4t9'>nevent1q…v4t9</a><br/>_________________________<br/><br/>Users can choose fonts. Maybe neither software has improved and you just got a file from someone with good taste? 2026-08-19T16:46:44+02:00 https://nostr.ae/nevent1qqsp3un7xug87cjqp86cgaq9mum4xdhzrtw3s2rr9tcflyqkagrzm0qzyrnwzzd9rxa0e9jftgg6e8hgrcm44yr3gj3w4v9e68mqqew4hxl4xsxaf5e In reply to <a href='/nevent1qqsrc639w5h6pzt870sftuxwrtf0apx5sr6pas3v23m6xsqpe400rjsev9rk5'>nevent1q…9rk5</a><br/>_________________________<br/><br/>Why in ten years? I think it already happened when I was in the PhD, like 10 years ago. 2026-08-15T18:40:13+02:00 https://nostr.ae/nevent1qqsyvsh3ng27zu30v350kdy0arq4dumwxz0x70rz3rwq0q3jld0agkgzyrnwzzd9rxa0e9jftgg6e8hgrcm44yr3gj3w4v9e68mqqew4hxl4xynpy69 In reply to <a href='/nevent1qqs0r64a3lz2m4cw2wd9dv72zcse49uf6rtecftujs9p5stg665z06qvng499'>nevent1q…g499</a><br/>_________________________<br/><br/>A person called Jonathan Kraut wrote an assembler called Sassy in a standard called R5RS of a programming language called Scheme. 2026-08-07T02:21:41+02:00 https://nostr.ae/nevent1qqsrng8ea46vc0k6a6pguclvlpt0mxfqcsml209rxnxnwrfkvyp0rhqzyrnwzzd9rxa0e9jftgg6e8hgrcm44yr3gj3w4v9e68mqqew4hxl4x5t8zvt In reply to <a href='/nevent1qqs8u95wsnck99n94p0ua8508hlsva69lc75mu5xntp7ltth7rdfd9gxlx5x8'>nevent1q…x5x8</a><br/>_________________________<br/><br/>Did you write &#34;A person called Jonathan Kraut&#34; instead of just &#34;Jonathan Kraut&#34; because you were worried people would think Jonathan Kraut was an LLM agent? 2026-08-06T17:33:27+02:00 https://nostr.ae/nevent1qqsq3ywddsfpw5cvg8g5axaedly9lyr0uzsfqv8g3wu6ecx29vfvpzqzyrnwzzd9rxa0e9jftgg6e8hgrcm44yr3gj3w4v9e68mqqew4hxl4xz2cnjp In reply to <a href='/nevent1qqs2lk93r3583mcw79lnh4g08xs63pqu7u6pssaxpd8g8kmmfm9482g2ecnwc'>nevent1q…cnwc</a><br/>_________________________<br/><br/>I thought it was self-deprecating. As you pointed out, &#34;gauche&#34; means &#34;left&#34; in French, but it is also a word in English, that means &#34;socially awkward, tactless, or rude&#34;. [@ramin_hal9001](<a href="https://fe.disroot.org/users/ramin_hal9001">https://fe.disroot.org/users/ramin_hal9001</a> ) 2026-07-28T00:43:30+02:00 https://nostr.ae/nevent1qqsq4sq9jeuc9gla2rhe5sn6j74dhfrslpuve66xgt60u2u7xm4pd8szyrnwzzd9rxa0e9jftgg6e8hgrcm44yr3gj3w4v9e68mqqew4hxl4x32svd9 In reply to <a href='/nevent1qqs25y40aq3lt0mh3aum25xgf75dhf46huf5cf7yg7jg50ywxahkvyq6j55vk'>nevent1q…55vk</a><br/>_________________________<br/><br/>Shing-Tung Yau won a Fields medal in 1982 and is also Chinese. 2026-07-23T21:20:02+02:00 https://nostr.ae/nevent1qqs2hu3zye60r0va2gkqsujqsamdmmhw2jl7nfe5gn467pchkjq2jhczyrnwzzd9rxa0e9jftgg6e8hgrcm44yr3gj3w4v9e68mqqew4hxl4xr33kjp In reply to <a href='/nevent1qqswqpp6ey7k5lwlm5qh42z8aqpjj4upcv57vtf5lkmd73u2kyf2qqc0wt3mw'>nevent1q…t3mw</a><br/>_________________________<br/><br/>Sorry, no, I just saw those two links specifically on Hacker News. 2026-07-20T14:58:26+02:00 https://nostr.ae/nevent1qqs0008pgq3xayvytumlgxqh6ljlg8qhq3tzturnya0pf48g48jm6uszyrnwzzd9rxa0e9jftgg6e8hgrcm44yr3gj3w4v9e68mqqew4hxl4xz26chr In reply to <a href='/nevent1qqs2ezqh524a48wqs8dt74sm9jw2w3tg5twyydv9zsukcmpxqdshuect366k4'>nevent1q…66k4</a><br/>_________________________<br/><br/>Claude Fable generated text indicating surprise too:<br/><br/> <img src="https://cdn.xcancel.com/pic/orig/EA1E99C3DAE99/media%2FHNpQXPsWoAAvXPH.png"> <br/><br/> <img src="https://cdn.xcancel.com/pic/orig/3B5C0B867A7C3/media%2FHNpQUaiWsAA43GQ.png"> 2026-07-20T07:29:17+02:00 https://nostr.ae/nevent1qqswjkacw0xuxan5k2ar82c76a824q4tph4lg3p2ckjex7hwhnatz0gzyrnwzzd9rxa0e9jftgg6e8hgrcm44yr3gj3w4v9e68mqqew4hxl4xuq7prp In reply to <a href='/nevent1qqst7582uz4a2enatwty0c95hdqr6gx4ltte6yuvkdda62zmf867d8cg3sv70'>nevent1q…sv70</a><br/>_________________________<br/><br/>Surprisingly low degree, right? Wow. 2026-07-20T06:51:44+02:00 https://nostr.ae/nevent1qqs854qyz0ddnye4scq9hefwywj5swduxrrwa5jegheaw6jrlku7dzczyrnwzzd9rxa0e9jftgg6e8hgrcm44yr3gj3w4v9e68mqqew4hxl4xnxgrp2 In reply to <a href='/nevent1qqsym7p0t5fpjvxuqsy9u30xv3s4hndhjz6k9nt2lmqh8zapywg0gpqha3tk3'>nevent1q…3tk3</a><br/>_________________________<br/><br/>I&#39;m one of the organizers for the colloquium in my department and I&#39;ve noticed that when we invite algebraists to give a talk, they very rarely give either examples or motivation! Well, maybe it&#39;s more accurate to say that they do give some brief motivation, but it doesn&#39;t convince me. Their motivation is like: &#34;so-and-so study this variety of algebras that satisfy these identities. What happens if we change that sign or that exponent from 2 to 3? It&#39;s a whole new world!&#34; <br/><br/>The talks themselves tend to be pretty clear and easy to follow. I always understand what they did, but almost never have any idea why they did it, why they think it was interesting. I&#39;ve started giving algebraists extra instructions before their colloquium talks. It&#39;s definitely the broad field of mathematics in which I&#39;m most careful about who we invite. 2026-07-07T22:44:19+02:00 https://nostr.ae/nevent1qqs2exmr4847d827arffjp08krd5u2l0k8qrzjdscuhpylee05fc6ygzyrnwzzd9rxa0e9jftgg6e8hgrcm44yr3gj3w4v9e68mqqew4hxl4xwvpm3e In reply to <a href='/nevent1qqsqjez9lpmxtjvqnkmgu3zmkndh2sat5x9g24jckrcq5qmcjj6gwfsadnmxa'>nevent1q…nmxa</a><br/>_________________________<br/><br/>Minor nitpick it&#39;s only &#34;soccer&#34; in Canada and the US, not so in the second largest country in North America (by population), where we say &#34;fútbol&#34; like you do in your blog. 🙂<br/><br/>EDIT: I just learned from Wikipedia that while North America does include all of Central America, there is also a term I had never heard before, &#34;Northern America&#34;, that you can use for the parts of the Americas that are north of Mexico, the biggest chunks of which are the US and Canada, of course.<br/><br/><a href="https://en.wikipedia.org/wiki/Northern_America">https://en.wikipedia.org/wiki/Northern_America</a> 2026-07-07T04:45:37+02:00 https://nostr.ae/nevent1qqs93xsv7lcvdj33zc4an6mc3fz3cmdfk5ff6stcms64eljqlcxns9qzyrnwzzd9rxa0e9jftgg6e8hgrcm44yr3gj3w4v9e68mqqew4hxl4x043hth In reply to <a href='/nevent1qqsdwcvyjagq99rx97k74dp09wr9wq63hu0hs7e7u8ldcghtjdjtu7g9557ud'>nevent1q…57ud</a><br/>_________________________<br/><br/>Sorry to go off on a tangent, but is football really called &#34;footy&#34; in Canada? I&#39;ve only ever heard the word &#34;footy&#34; used to refer to Australian Rules Football¹, which is played with with an oval ball (similar to the balls used for rugby or American football). I apologize but I thought football was called soccer in Canada, like it is in the US.<br/><br/>¹ <a href="https://en.wikipedia.org/wiki/Australian_rules_football">https://en.wikipedia.org/wiki/Australian_rules_football</a> 2026-07-07T04:30:55+02:00 https://nostr.ae/nevent1qqs00rgra7furn2l5hhnu7xwu88tjyskpd5geud4ncnylxjnpdr9k8szyrnwzzd9rxa0e9jftgg6e8hgrcm44yr3gj3w4v9e68mqqew4hxl4xgqwy9p A student who puts their name in the file name of a PDF they send me instead of just calling it thesis.pdf is clearly a genius and I almost don&#39;t need to read the thesis. 😛<br/><br/>#AcademicChatter 2026-06-13T18:44:10+02:00 https://nostr.ae/nevent1qqsgzafyem7pnemfjy2xfjxl5r6pl29psh5jrhh6960kmnmwv9pszwszyrnwzzd9rxa0e9jftgg6e8hgrcm44yr3gj3w4v9e68mqqew4hxl4xherszv Wow, this is bleak.<br/><br/><a href="https://blog.avas.space/llm-circus/">https://blog.avas.space/llm-circus/</a> 2026-06-11T21:18:59+02:00 https://nostr.ae/nevent1qqszw9ky4qj0ffcj6x2q2sjv9vxylu206sg7083jyxu4gmrn8du702qzyrnwzzd9rxa0e9jftgg6e8hgrcm44yr3gj3w4v9e68mqqew4hxl4x8sdp8d I learned a cool Euclidean geometry fact this week in our colloquium, in a talk by Benoît Bertrand of the University of Toulouse on joint work of his with my UNAM colleague Lucía López de Medrano. They don&#39;t think this geometry fact can be new, but also haven&#39;t been able to find a reference. The theorem is a generalization of the fact that the sum of the angles of a triangle is 180° to higher dimensions.<br/><br/>This generalization is not that the sum of the solid angles of a tetrahedron is constant: that&#39;s not true! If you think of tetrahedra that are almost flat, that is, whose vertices are nearly coplanar, there are two types: (1) the vertices are nearly the vertices of a convex planar quadrilateral, or (2) the vertices are nearly a triangle with a point inside it. In case (1) the solid angles are close to 0; in case (2) the one at the central vertex is close to half a sphere (2π steradians), and the others are close to 0. It turns out that those are the extremes and the sum of the solid angles of a tetrahedron is always between 0 and 2π steradians.<br/><br/>So how does their generalization go? Consider an n-dimensional simplex and select one of its vertices, say P. Now consider all ways coloring the vertices of the simplex with either red or blue in such a way that P is blue (this is half of all colorings). For each coloring look at the vectors of the form R-B where R is some red vertex and B is a blue one, and take the cone they generate (that is, the linear combinations of those vectors with non-negative coefficients). Their theorem says that those cones tile a half-space! (Here &#34;tile&#34; means the interiors are disjoint and the union of the cones is a half-space.)<br/><br/>Next, a proof. 1/2 2026-05-29T08:02:41+02:00 https://nostr.ae/nevent1qqs0cpwy6lxajzdakuq34dwudyvcfr4wsyk05nhy22r7rqxd3j7rrpqzyrnwzzd9rxa0e9jftgg6e8hgrcm44yr3gj3w4v9e68mqqew4hxl4x29smmq In reply to <a href='/nevent1qqsf8mgreg8zwkxqf8z4qxtkwy5g6de6y6zxrnv585z9xgjsgal608gpkrhne'>nevent1q…rhne</a><br/>_________________________<br/><br/>Ooh, a conspiracy theory I can get behind! Now I want to measure the Erdős number of these people with and without that paper, 31 data points is enough to make a nice plot! 2026-05-29T05:17:22+02:00 https://nostr.ae/nevent1qqszps0cahaupc3nxwelzwa8c9zx6wpsw7dmrgqdr6dxug7vkks2q0qzyrnwzzd9rxa0e9jftgg6e8hgrcm44yr3gj3w4v9e68mqqew4hxl4xpxwkpr In reply to <a href='/nevent1qqs9srk0yx5j5jlkxd9eft2tspu882m2ps79utpgvt0ahrh8jlhpx8qpj4h4l'>nevent1q…4h4l</a><br/>_________________________<br/><br/>I don&#39;t think it has a built-in dictionary, aren&#39;t those just built-in commands to access external (non-built-in) dictionaries? 2026-05-28T18:40:16+02:00 https://nostr.ae/nevent1qqsr9t30phktepdmljeq8hndnumpn2kzh427j0980srv6g3e95n0d0szyrnwzzd9rxa0e9jftgg6e8hgrcm44yr3gj3w4v9e68mqqew4hxl4x9y7cz7 Woah, a geometric topology paper with 31 authors!<br/><br/>It&#39;s titled &#34;Algorithms in 4-Manifold Topology&#34;, and they show that there exists an algorithm that takes as input two closed, simply connected, topological 4-manifolds and decides whether or not the manifolds are homeomorphic.<br/><br/><a href="https://arxiv.org/abs/2411.08775">https://arxiv.org/abs/2411.08775</a><br/><br/>(Ah, the authors are all the participants of a workshop on algorithms in 4-manifold topology! That makes sense.) 2026-05-24T23:02:01+02:00 https://nostr.ae/nevent1qqspk7lj35psxczwj4m3h5890fywavnwn7fr99pxdr0uh8ttz3tj97qzyrnwzzd9rxa0e9jftgg6e8hgrcm44yr3gj3w4v9e68mqqew4hxl4xpedylz In reply to <a href='/nevent1qqst3j869pq648sd43uxx79x02j6a52qwvv4ekm93e3zzezucqsggqg8q9jw6'>nevent1q…9jw6</a><br/>_________________________<br/><br/>I&#39;ve now listened to the episode, it was quite fun! I definitely should play around with some Lisp Machine emulator to experience these &#34;presentations&#34; for data first hand. I think Emacs can probably emulate some (but most likely not all) of that stuff through judicious use of text properties.<br/><br/>One minor point outside the main topic: [@ramin_hal9001](<a href="https://fe.disroot.org/users/ramin_hal9001">https://fe.disroot.org/users/ramin_hal9001</a> ) mentioned that he found Hyperbole orthogonal to Embark since Embark focuses on offering you a bunch of actions, while Hyperbole focuses on &#34;doing what you mean&#34; in context. I wonder [@ramin_hal9001](<a href="https://fe.disroot.org/users/ramin_hal9001">https://fe.disroot.org/users/ramin_hal9001</a> ), have you tried the embark-dwim command? I don&#39;t see any obstacle to get it to do whatever Hyperbole&#39;s action key does at any given point. Out of the box it already does the same thing as the Hyperbole action key in some places —for example, it&#39;ll evaluate an s-expression if you are on the opening or closing parenthesis and it&#39;ll follow URLs or, more generally, any org link (even in non-org buffers).<br/>[@kentpitman](<a href="https://climatejustice.social/@kentpitman">https://climatejustice.social/@kentpitman</a> ) <span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/npub1fp0f6pu5k4v7wh3lzsvh7pk5xwgkhpkcszumc74zf9uwt04n4lfskr54p5" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>screwlisp</span> (<span class="italic">npub1fp0…54p5</span>)</a></span> 2026-05-14T16:39:22+02:00 https://nostr.ae/nevent1qqs8c9kwzxjxh2gmdeue2awzp4dvll5s70ahyj97avhhefze0vm9xmqzyrnwzzd9rxa0e9jftgg6e8hgrcm44yr3gj3w4v9e68mqqew4hxl4x2ewmt9 In reply to <a href='/nevent1qqsd0ztapr6ukxqap2je8fxs527zg2cdtll7ya459ys2zj3hw754d7g5a0xxm'>nevent1q…0xxm</a><br/>_________________________<br/><br/>I think it was Tony Hoare, and the quote is: &#34;Here is a language so far ahead of its time that it was not only an improvement on its predecessors but also on nearly all its successors.&#34; <br/>Also, I believe it was specifically about ALGOL 60.<br/><span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/npub1fp0f6pu5k4v7wh3lzsvh7pk5xwgkhpkcszumc74zf9uwt04n4lfskr54p5" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>screwlisp</span> (<span class="italic">npub1fp0…54p5</span>)</a></span> <span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/npub1vlchukd4yknuculh52a5xzq98k4fcndnp4ptnl9jx7gr6j5nqsls06mzqq" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>DougMerritt (log😅 = 💧log😄)</span> (<span class="italic">npub1vlc…mzqq</span>)</a></span> 2026-05-14T15:26:43+02:00 https://nostr.ae/nevent1qqsz8n0z3h4er56scwjyt7acr7ccg2ryy5ajuqzvakhx2ctp70y7dgczyrnwzzd9rxa0e9jftgg6e8hgrcm44yr3gj3w4v9e68mqqew4hxl4xdqfk05 In reply to <a href='/nevent1qqsx7clnr7ah49cu747r8jlf38fa0q8rmqj479srwfcgwu3f8fsmc8s6fj4e3'>nevent1q…j4e3</a><br/>_________________________<br/><br/>hahaha, after attempting to listen to this episode I remembered why I am not already subscribed to this podcast, which clearly interests me! It&#39;s because I&#39;ve always had trouble playing the episodes! My current podcast app can subscribe to the feed and can download the episodes but cannot play them at all and just gives me an error message! I think in my previous attempt some months ago I could not subscribe to the RSS feed for some reason, but I had managed to download some sort of audio files that I could play but could not rewind nor change the playback speed of (and maybe it wouldn&#39;t even let me pause?, I can&#39;t remember). I have never ever had any trouble subscribing to or listening to any other podcast, it&#39;s just this one that is insanely difficult for me for some reason. 😅<br/><span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/npub1hlljux9nl7w58zvm0lrcvs5pgr6zcccvp3p9wh6sax8ddf6c0u7qrs0fjp" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>Charlie Holland</span> (<span class="italic">npub1hll…0fjp</span>)</a></span> <span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/npub1fp0f6pu5k4v7wh3lzsvh7pk5xwgkhpkcszumc74zf9uwt04n4lfskr54p5" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>screwlisp</span> (<span class="italic">npub1fp0…54p5</span>)</a></span> [@kentpitman](<a href="https://climatejustice.social/@kentpitman">https://climatejustice.social/@kentpitman</a> ) [@ramin_hal9001](<a href="https://fe.disroot.org/users/ramin_hal9001">https://fe.disroot.org/users/ramin_hal9001</a> ) 2026-05-14T02:38:44+02:00 https://nostr.ae/nevent1qqsx7clnr7ah49cu747r8jlf38fa0q8rmqj479srwfcgwu3f8fsmc8szyrnwzzd9rxa0e9jftgg6e8hgrcm44yr3gj3w4v9e68mqqew4hxl4xs593fs In reply to <a href='/nevent1qqst3j869pq648sd43uxx79x02j6a52qwvv4ekm93e3zzezucqsggqg8q9jw6'>nevent1q…9jw6</a><br/>_________________________<br/><br/>That sounds interesting. I&#39;ll listen to the podcast to see what you were talking about. At first blush, this talk of surfacing reminds me of embark-eldoc-first-target, which will display the target and point and its type in the echo area. <br/><br/><span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/npub1fp0f6pu5k4v7wh3lzsvh7pk5xwgkhpkcszumc74zf9uwt04n4lfskr54p5" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>screwlisp</span> (<span class="italic">npub1fp0…54p5</span>)</a></span> <span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/npub1yna8a8ze5myuvqxs43z26j4vnvrt3l9ajyehsemk7hdjlkyppu5qx9cu6l" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>Ihor Radchenko (yantar92)</span> (<span class="italic">npub1yna…cu6l</span>)</a></span> [@kentpitman](<a href="https://climatejustice.social/@kentpitman">https://climatejustice.social/@kentpitman</a> ) [@ramin_hal9001](<a href="https://fe.disroot.org/users/ramin_hal9001">https://fe.disroot.org/users/ramin_hal9001</a> ) 2026-05-13T04:41:21+02:00 https://nostr.ae/nevent1qqs0m0e3d2ps9ykvjzp4ux9ehkske3rd6khkxcym77az8fklqzmya6czyrnwzzd9rxa0e9jftgg6e8hgrcm44yr3gj3w4v9e68mqqew4hxl4xjys56u In reply to <a href='/nevent1qqsdjujvzdkg2j00hcass6khhz8fkz3nafvarsctdmml6xc7th0je3cq5wz4r'>nevent1q…wz4r</a><br/>_________________________<br/><br/>I found this paper that seems to take the history seriously and I would believe the author did read Liouville directly: <a href="https://doi.org/10.2307/2689612">https://doi.org/10.2307/2689612</a>.<br/><br/>It seems that Liouville didn&#39;t use the term &#34;elementary function&#34;, but rather &#34;explicit finite function&#34;. His explicit finite functions do however correspond to the broader notion that is closed under algebraic extensions, not just the &#34;folk elementary functions&#34;. Also, the author, believes (like I did) that Liouville&#39;s class of functions is what we now call &#34;elementary functions&#34;. Funny.<br/><br/>I guess since Liouville&#39;s purpose was to prove that certain functions don&#39;t have elementary integrals (well, explicit finite integrals), he went with the broader notion to get a stronger theorem! 2026-04-16T23:58:35+02:00 https://nostr.ae/nevent1qqs9fralhkvqlp3wnvdtv65llyuqs8ydtxlsy94ycecslgkkgccge0czyrnwzzd9rxa0e9jftgg6e8hgrcm44yr3gj3w4v9e68mqqew4hxl4x5vhwfk In reply to <a href='/nevent1qqs2u63dgh3xnez5myc83rstnvguhaaf4t47kz4wakk63g7w5tnt5mckplnm2'>nevent1q…lnm2</a><br/>_________________________<br/><br/>You&#39;re right, I hadn&#39;t seen that, thanks! 2026-04-16T23:53:37+02:00 https://nostr.ae/nevent1qqsdjujvzdkg2j00hcass6khhz8fkz3nafvarsctdmml6xc7th0je3czyrnwzzd9rxa0e9jftgg6e8hgrcm44yr3gj3w4v9e68mqqew4hxl4xujkqnv In reply to <a href='/nevent1qqs0d2e2ga4ws64u46gav8wdkmw2te2xj85dnfnpjv0nzrjw3jhy8wgj3q6tr'>nevent1q…q6tr</a><br/>_________________________<br/><br/>That&#39;s interesting. Maybe it&#39;s just not true that Liouville gave the other definition. It could be that people misattribute a much more modern definition to Liouville. 2026-04-16T22:54:28+02:00 https://nostr.ae/nevent1qqszsk8jvk66c54n9rrn59hpwu0g05902aydfws4ck8epwgdjtxh4jqzyrnwzzd9rxa0e9jftgg6e8hgrcm44yr3gj3w4v9e68mqqew4hxl4xkxc9zz In reply to <a href='/nevent1qqsphgxng6wlap4k9thhcr4a4g0y6rpvm07qkpmq7z9a4e60ncjeltsng0jd3'>nevent1q…0jd3</a><br/>_________________________<br/><br/>Really? I thought people very carefully said that the quintic is &#34;not solvable with radicals&#34;, and that the original definition of elementary functions given by Liouvile already had them closed under solving polynomial equations, logarithms and exponential (that is, I thought the differential algebra definition <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> explained elsewhere in this thread is just a modern restatement of Liouville&#39;s original definition).<br/><br/>Is this other definition of elementary function you guys are using supposed to be older or more recent than Liouville&#39;s? 2026-04-16T04:54:42+02:00 https://nostr.ae/nevent1qqsf0y2qx7ysatevfdtnk43kh085xupqwevn3802sr3j9rupqux9lgszyrnwzzd9rxa0e9jftgg6e8hgrcm44yr3gj3w4v9e68mqqew4hxl4xaqjqga In reply to <a href='/nevent1qqs9ym7rh9uxyfdz6739xguah5fe74v489c5h5ukwv4w4udqjc2kzmcjtftw0'>nevent1q…ftw0</a><br/>_________________________<br/><br/>Turkey is much lower on the list than I expected! 2026-04-04T01:08:10+02:00 https://nostr.ae/nevent1qqs8r2w2qc60sz2ysd55f4wcjkcrxnqt756du2rfmcwvruzkt8kcruqzyrnwzzd9rxa0e9jftgg6e8hgrcm44yr3gj3w4v9e68mqqew4hxl4xcpmtnl Man, LLMs really drive home the lesson that people differ *greatly* in how much they care whether the statements they make are accurate. 2026-03-27T15:41:18+01:00 https://nostr.ae/nevent1qqsq5uhh3upd8elswgwsc9dv3lu87qzrqel6jvfdy3l3c9cat2rdqlszyrnwzzd9rxa0e9jftgg6e8hgrcm44yr3gj3w4v9e68mqqew4hxl4x9q0wtc RE: <a href="https://mstdn.social/@rysiek/116204163611415275">https://mstdn.social/@rysiek/116204163611415275</a><br/><br/>It looks like the International Congress of Mathematicians is less serious than the Ig Nobel Prize. 🙁<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="/note1cxgdj2quwh66ax3wlz0xns0ykxr0l94ws3qt9x6pkm9gnawrjapqx0d0r7" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1">note1cxg…d0r7</a></span><br/> </div> Ig Nobels to move awards to Europe due to concern over US travel visas<br/><a href="https://www.theguardian.com/science/2026/mar/09/ig-nobel-prize-europe">https://www.theguardian.com/science/2026/mar/09/ig-nobel-prize-europe</a><br/><br/>> The annual Ig Nobels, a satirical award for scientific achievement, are shifting for the first time from the US to Europe due to concerns about attendees getting visas, organizers announced on Monday.<br/><br/>That story again: even parody Nobel committee recognizes how dangerous it is to travel to the USA these days. If your conference doesn't, your conference is less serious than parody Nobels. 🤡<br/><br/>#USpol </blockquote> 2026-03-10T14:39:10+01:00 https://nostr.ae/nevent1qqsru59drwjm0l0xmgchjmx7guj2grh5pa9f3ga2m4uuevfx7lamd6szyrnwzzd9rxa0e9jftgg6e8hgrcm44yr3gj3w4v9e68mqqew4hxl4xk00909 Nice plot summary... Google just keeps getting dumber.<br/> <img src="https://media.mathstodon.xyz/media_attachments/files/116/132/973/702/318/690/original/06c5842fe01fb991.png"> <br/> 2026-02-25T20:42:31+01:00 https://nostr.ae/nevent1qqsy532ce6a7yddt4742d9vvdswrkv6dcy5tz5r5wlv6f3snuap8pyszyrnwzzd9rxa0e9jftgg6e8hgrcm44yr3gj3w4v9e68mqqew4hxl4x20305r You&#39;ve probably heard of the Birthday Paradox, that among 23 people the probability that two share a birthday is more than 50%.<br/><br/>This is easy to prove by calculating the complementary that no two of the 23 share a birthday. There are 365 options for the first birthday, then only 364 for the second, 363 for the third, etc. So the probability that all 23 people have different birthdays is (365×364×...×343)/365²³ ≈ 0.4927.<br/><br/>That calculation assumes the uniform probability distribution on birthdays, that is, that every day is equally likely to be a birthday. That&#39;s not a very realistic assumption for the actual distribution of people&#39;s birthdays, so it&#39;s worth thinking about what happens for other distributions. My instinct was that any non-uniform distribution has some higher probability clump, where birthdays would tend to bunch up with even fewer people; so that any non-uniform distribution is even &#34;more paradoxical&#34; than the uniform one.<br/><br/>This turned out to be easy to prove.<br/><br/>1/2<br/><br/>#math #probability 2026-02-21T22:49:42+01:00 https://nostr.ae/nevent1qqsrgmme5cdr6c2jmrrtdrnajry77ql9my4jkuvej5lp3k4pe9v46vczyrnwzzd9rxa0e9jftgg6e8hgrcm44yr3gj3w4v9e68mqqew4hxl4x9lgmpx In reply to <a href='/nevent1qqszx5p9tg4p5fwm6p7q0z093pkc3mux6y0k9kzxy763v05l475xzucqk4ue0'>nevent1q…4ue0</a><br/>_________________________<br/><br/>After reading what your wife thought, I took a look at some reviews and it gave me flashbacks of reading my student evaluations: one review sides with your wife on the need for editing, calling it &#34;a tedious, bloated epic&#34;; another review calls it &#34;tightly constructed&#34;. When I taught undergrads in the US, I remember getting student evaluations, from the same class, one which said I was &#34;the best math teacher I&#39;ve ever had&#34; and one which said &#34;I don&#39;t know how the university lets him teach&#34;. 2026-02-02T01:26:06+01:00 https://nostr.ae/nevent1qqsq8ur2tw22g9u6c2wgazjrrtppzsmt4rq4rw7prxrse8d40e2ldkqzyrnwzzd9rxa0e9jftgg6e8hgrcm44yr3gj3w4v9e68mqqew4hxl4xyu3vrk In reply to <a href='/nevent1qqs2crx8kv5nq7tfrz8ayra25s3cfnpumurxrt5nmqrac2mhfcaspkg47qlpu'>nevent1q…qlpu</a><br/>_________________________<br/><br/>Hey! <span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/npub19ua0a9gu7ggm693nqm6knq3zutckcfde9p6ra7a8fu73xhvy3sgqz253cv" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>Tim Bray</span> (<span class="italic">npub19ua…53cv</span>)</a></span> is a coauthor! 2026-01-30T22:38:34+01:00 https://nostr.ae/nevent1qqsgnxh7mp3c5uck0n6rckzqsmykfmf005gwgwvlzpzuwjjvyjtvrqgzyrnwzzd9rxa0e9jftgg6e8hgrcm44yr3gj3w4v9e68mqqew4hxl4xm4me4g In reply to <a href='/nevent1qqsfszjeppt25tcakl2hv8ehw5cgu76du6ecw03m2jeq7n22jr7wups3jzn5w'>nevent1q…zn5w</a><br/>_________________________<br/><br/>Have you also tried Phanpy on your phone (or only on the desktop)? I love it there too. If you did try it, what made you go with Tusky instead? 2026-01-29T06:10:19+01:00 https://nostr.ae/nevent1qqs9n9esqfv7gs55d0chl4k52waj989ffmxvph2k2wwkhx8uxgqepyqzyrnwzzd9rxa0e9jftgg6e8hgrcm44yr3gj3w4v9e68mqqew4hxl4x065c7h There is much truth to this post about about #math textbooks.<br/> <img src="https://media.mathstodon.xyz/media_attachments/files/115/956/870/326/807/020/original/8abb41b70b5f11cc.png"> <br/> 2026-01-25T18:19:35+01:00 https://nostr.ae/nevent1qqs2qxfw7w974sge22t4enxqpclc8g4n6k9qfp3ks6pt9e0n47jgyugzyrnwzzd9rxa0e9jftgg6e8hgrcm44yr3gj3w4v9e68mqqew4hxl4x9264fu In reply to <a href='/nevent1qqswl97lae2y6xemy9hnzj9chf83myq3ql80w2kwtzn5gurrn97jjmqj8ee97'>nevent1q…ee97</a><br/>_________________________<br/><br/>How do you format the links like that? Are you posting from a non-mastodon client? Does that mean Mastodon clients can display links and other html formatting but have no way of producing it? That&#39;s funny. 2026-01-22T05:07:21+01:00 https://nostr.ae/nevent1qqsqv0hg2fjnsylsmjc8j7erwh70h9qhsdqetgku6cks2zr7hk5em7qzyrnwzzd9rxa0e9jftgg6e8hgrcm44yr3gj3w4v9e68mqqew4hxl4x36mexe In reply to <a href='/nevent1qqsruqv4r6c6yec8y38wx7p4vldus69nlkhgtctdjrx6ftfw90nqazqjh7d75'>nevent1q…7d75</a><br/>_________________________<br/><br/>Maybe that&#39;s the key! Maybe the methodology is that you compute some global &#34;humanities score&#34; for each university and then &#34;normalize&#34; by dividing by the number of humanities departments. 😛 2026-01-16T20:19:42+01:00 https://nostr.ae/nevent1qqsf0z0rdpgxcvg5mg0lyfjagr5r7c4jyvqmuak26q4hldurpc5e5kszyrnwzzd9rxa0e9jftgg6e8hgrcm44yr3gj3w4v9e68mqqew4hxl4xlpuknx In reply to <a href='/nevent1qqs8dcg9dkq6lzmnr98t46pjxqeam5qqtz7t6ukn0p6gjyuwt4dyusc3307l6'>nevent1q…07l6</a><br/>_________________________<br/><br/>I agree that the MIT claim is very suspicious, a little funny too. 2026-01-16T17:50:40+01:00 https://nostr.ae/nevent1qqs8c6pw6hu8mqtv857ysvjpzvxnpkkju7qsazyydxtjfhy4fll3vcgzyrnwzzd9rxa0e9jftgg6e8hgrcm44yr3gj3w4v9e68mqqew4hxl4xnmtdec In reply to <a href='/nevent1qqswj5q4yms5zyr9g220hhfyyn4mgksswzesf0py86swc3qnjhnwqgck7xpfh'>nevent1q…xpfh</a><br/>_________________________<br/><br/>On my phone it lets me scroll the list to see past the fourth one. I haven&#39;t tried on a desktop computer yet. 2026-01-16T17:34:41+01:00 https://nostr.ae/nevent1qqs8c2rpd7mcj9v67z7ptg24vffx6s740fdkh6takxt3n4ahqkeenhqzyrnwzzd9rxa0e9jftgg6e8hgrcm44yr3gj3w4v9e68mqqew4hxl4xd27ukd In reply to <a href='/nevent1qqs8ywhgxwzhfvvlz0swrkt2zghx66h9knct05clxdtmwhrxnve88pshm0y6l'>nevent1q…0y6l</a><br/>_________________________<br/><br/>What was your use case for regexps? 2026-01-14T15:38:37+01:00 https://nostr.ae/nevent1qqszz3hhyylmh2jdcp976mcac54cyt73vqxe5ergvwt77tfrlwymk3qzyrnwzzd9rxa0e9jftgg6e8hgrcm44yr3gj3w4v9e68mqqew4hxl4xl9gj2m In reply to <a href='/nevent1qqsxzk7akmttdc5njk4tzk0pcvc9czlfeqzhdjnd0hntmw39lulwtss7a2rsk'>nevent1q…2rsk</a><br/>_________________________<br/><br/>It&#39;s probably just a typo for &#34;among us&#34;, the popular videogame that features characters that look like that shape. <span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/npub1zz2mah7y6j4nld7dwedl7eh0yph4swkkv88spuvh0urq32xgz3ws459mhx" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>Paul Schwahn</span> (<span class="italic">npub1zz2…9mhx</span>)</a></span> 2025-12-23T19:18:04+01:00 https://nostr.ae/nevent1qqsycvwrhw290fk5yyg8x30l5q9lc60sdjvj0lr7ngz6papcd99cysgzyrnwzzd9rxa0e9jftgg6e8hgrcm44yr3gj3w4v9e68mqqew4hxl4x50se8e In reply to <a href='/nevent1qqsgv0fdl4s7uwjg558pp7njym3l9akg0x9mn45vmu3pfu8lx3xgugsedhgsh'>nevent1q…hgsh</a><br/>_________________________<br/><br/>I wanted to say this, thanks for saving me the effort. (Except I would have said &#34;we&#34; since I only sound like an American.) 2025-11-18T16:28:43+01:00 https://nostr.ae/nevent1qqsx2yqt3f4sll4dp3ear3nswm75867z739k8vc0lpk6fhktsucnszgzyrnwzzd9rxa0e9jftgg6e8hgrcm44yr3gj3w4v9e68mqqew4hxl4x8s2qxf In reply to <a href='/nevent1qqsrtyyv8p7qttdyrhul098765h3aetukgl5duvmxvxtsv6lwzxxmncngx833'>nevent1q…x833</a><br/>_________________________<br/><br/>Will do. 2025-09-13T12:58:13+02:00 https://nostr.ae/nevent1qqsv2zjrkedj9547ra0z0rd35xqu6m7mrj4v8rqpj70g2lw34jz2qqqzyrnwzzd9rxa0e9jftgg6e8hgrcm44yr3gj3w4v9e68mqqew4hxl4x7e3rqs I can&#39;t read the nLab anymore! A few days ago it started &#34;verifying&#34; I was human. Each verification took around 30 seconds, which was annoying (a very human emotion!), but at least I passed them! Today I can&#39;t get past the verification screen, which makes me sad (another human emotion).<br/><br/>EDIT: I rejoice for the nLab deems me human once again! (Rejoicing also seems pretty human to me.) 2025-09-13T01:45:29+02:00 https://nostr.ae/nevent1qqsdn7dxw00u2j46yatnrnlgkmsxu684hmfmjvsy7cc52jxjkclxwcqzyrnwzzd9rxa0e9jftgg6e8hgrcm44yr3gj3w4v9e68mqqew4hxl4xyl4hc3 In reply to <a href='/nevent1qqsx2xhx4pmfzrun4p5y8rfyf52vdga39fdyssq9u8k96e0jtd6fcsczr58wy'>nevent1q…58wy</a><br/>_________________________<br/><br/>Beautiful! 2025-09-10T13:27:56+02:00 https://nostr.ae/nevent1qqsxqjapaun22pmm7wxdkjnd2g58vahrng29zaxf79r52ajmx7zs2eszyrnwzzd9rxa0e9jftgg6e8hgrcm44yr3gj3w4v9e68mqqew4hxl4xa4jzns In reply to <a href='/nevent1qqsypnfntusv80k0rpzazlyfr7wfgs3j06uk6zjmy6lkpw599d957jsleuefp'>nevent1q…uefp</a><br/>_________________________<br/><br/>I thought of it slightly differently, instead of mapping the triangle to an equilateral one, I thought of mapping it to itself but permuting the vertices. 2025-09-04T18:25:21+02:00 https://nostr.ae/nevent1qqs2s9pqez3f50s8aylltjhu3a6mynnhty9nl08smex2pdz44dwu03gzyrnwzzd9rxa0e9jftgg6e8hgrcm44yr3gj3w4v9e68mqqew4hxl4xw9ngps In reply to <a href='/nevent1qqsq8t32pp0u7mp7tf250ue39mtzlclcrnyxn7yx20rx25qu65nzp5s0fsc7f'>nevent1q…sc7f</a><br/>_________________________<br/><br/>Someone printed one! <a href="https://mathstodon.xyz/@fractalkitty/115115418786961240">https://mathstodon.xyz/@fractalkitty/115115418786961240</a> 2025-08-30T05:16:15+02:00 https://nostr.ae/nevent1qqs0pdvfufh8yqnmjnnwkka3j837t32tse573ntyz3d5fgj03ujm37szyrnwzzd9rxa0e9jftgg6e8hgrcm44yr3gj3w4v9e68mqqew4hxl4xgjpkxd In reply to <a href='/nevent1qqsfhuh3pcwpkv6skvtxg673c4ef4hv40rcjpccquw29l5s5h5vv86q04kvlf'>nevent1q…kvlf</a><br/>_________________________<br/><br/>This matches what I was planning pretty closely (and the usual focus on just irreducible varieties also bothers me, as does the similar focus on connected covering spaces, for example). I mentioned you and Dolan because I was thinking of that dimensional analysis/doctrine stuff and wondering if there was a more systematic write up of it now. 2025-08-11T09:17:59+02:00 https://nostr.ae/nevent1qqsg7yefphtl2qnv6m5dexuevekp0r5mwp4numv7tusyjcccdgyvnegzyrnwzzd9rxa0e9jftgg6e8hgrcm44yr3gj3w4v9e68mqqew4hxl4xrcq3mu In reply to <a href='/nevent1qqsrr4l5exz8hmtt7atm3xv630l94d82gu5s48mxupx95d60p0xfd3qrmwjnq'>nevent1q…wjnq</a><br/>_________________________<br/><br/>I&#39;m particularly interested in what you and James Dolan would suggest, <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> 2025-08-09T23:15:49+02:00 https://nostr.ae/nevent1qqsrr4l5exz8hmtt7atm3xv630l94d82gu5s48mxupx95d60p0xfd3qzyrnwzzd9rxa0e9jftgg6e8hgrcm44yr3gj3w4v9e68mqqew4hxl4xe3xqw9 The algebraic geometers at my university were all distracted at the same time and I got assigned the core algebraic geometry graduate course while they weren&#39;t looking! What should I endeavor to do to this generation of Master&#39;s students? 2025-08-09T23:14:46+02:00 https://nostr.ae/nevent1qqsw2j8y2y8hg0sndqxyjz9ke6h4tclg0x69d774temv68f7kwk8t4czyrnwzzd9rxa0e9jftgg6e8hgrcm44yr3gj3w4v9e68mqqew4hxl4x87aulv In reply to <a href='/nevent1qqs2j8x2kvwzajgymhp543qx0d8ezussqd02svcq6usws9qwjxh7uyqeu5zk7'>nevent1q…5zk7</a><br/>_________________________<br/><br/>Arguably this stick insect is both! Also, they&#39;ve changed illusive to elusive on the website already, I only see illusive in the link preview here on Mastodon. 2025-07-31T16:36:51+02:00 https://nostr.ae/nevent1qqs8yapt7y49vmq63nn84e84u2tcehy6g6ctjqc2gdkk68ha9xnhy6qzyrnwzzd9rxa0e9jftgg6e8hgrcm44yr3gj3w4v9e68mqqew4hxl4xmknjsr In reply to <a href='/nevent1qqs8sz99wek7sej6d8mp9pyla79vrpx3r7e456z0zla4jaxfq8zateseg9efa'>nevent1q…9efa</a><br/>_________________________<br/><br/>MEXICO - Pedro Páramo (Juan Rulfo, 1955) 2025-07-30T19:29:33+02:00 https://nostr.ae/nevent1qqsw3cdxyeyp3xnq4xgx00e94twy9mzzpqzwkj23z3v8d00q9uaxe4szyrnwzzd9rxa0e9jftgg6e8hgrcm44yr3gj3w4v9e68mqqew4hxl4xlvy9c3 You know how people advise you not to use mathematical formulas in section titles in LaTeX? Listen to them!<br/> <img src="https://media.mathstodon.xyz/media_attachments/files/114/888/870/407/228/144/original/61e794b3e6e090c9.jpg"> <br/> 2025-07-21T04:33:44+02:00 https://nostr.ae/nevent1qqs0mjgg6py5lkykqgefglpwn9q6t8pzr9pn0xsxx5gjcwz5s6ywegczyrnwzzd9rxa0e9jftgg6e8hgrcm44yr3gj3w4v9e68mqqew4hxl4xhwq6r4 In reply to <a href='/nevent1qqs2asca4gvqy3rcw8ghzy33sc290smrs27rpf3c8yh9dn7wayqlsqs4cl9mx'>nevent1q…l9mx</a><br/>_________________________<br/><br/>Like the Google Buzz trick from Doghouse Diaries (<a href="http://thedoghousediaries.com/1267">http://thedoghousediaries.com/1267</a>):<br/> <img src="https://media.mathstodon.xyz/media_attachments/files/114/872/273/256/613/662/original/066f90a2b68dca17.png"> <br/> 2025-07-18T06:16:15+02:00 https://nostr.ae/nevent1qqspg43ckjvyytpn6g00e3chfdjz3xzfzx6al340fvn9z2mdm02lwggzyrnwzzd9rxa0e9jftgg6e8hgrcm44yr3gj3w4v9e68mqqew4hxl4xj8cw3a In reply to <a href='/nevent1qqs2wv056x93r9hchktwd3cp3f6mzaczxgaevu76xm2as8964r7gcpghty35t'>nevent1q…y35t</a><br/>_________________________<br/><br/>It bothers me a little bit that it has both &#34;National&#34; and &#34;of Athens&#34; in the name. 2025-07-08T00:38:49+02:00 https://nostr.ae/nevent1qqs9x2rvkr3q0z5tzmv469y87wuxqfqm7m90wuj65j684j36hffvqaszyrnwzzd9rxa0e9jftgg6e8hgrcm44yr3gj3w4v9e68mqqew4hxl4xrrazfj In reply to <a href='/nevent1qqsq69s6qr96gwa7qgvr34j2j4hn6g5aann0hmewzgf7pkcz3cp9xxqnc0fvg'>nevent1q…0fvg</a><br/>_________________________<br/><br/>This is about grouped notifications, that is, seeing notifications for a single toot group together in a single list: instead of a separate notification for each time someone favorites or boosted a given toot, you see a single notification per toot listing all the people that favorited or boosted it.<br/><br/>This could of course be implemented in each Mastodon client separately, but Mastodon decided to do it serverside for efficiency and uniformity. On of the Mastodon clients I use, phanpy, has always shown grouped notifications (at least since I use it); but another client I use, @mousebot&#39;s mastodon.el, does not show notifications grouped by default. And today I learned it does have a setting to group them!<br/><br/>Is that what you wanted to know? 2025-07-07T21:00:52+02:00 https://nostr.ae/nevent1qqszy7fywhywpve0tfm3q2uqgsmz3malqt42d8ywjkmuf9sfq4xsv0szyrnwzzd9rxa0e9jftgg6e8hgrcm44yr3gj3w4v9e68mqqew4hxl4x5qe7ap Oh my god, TIL about mastodon-group-notifications! Now #mastodonEl is perfect! (Or rather: it already was perfect, I just didn&#39;t know it was.) 2025-07-07T18:34:21+02:00 https://nostr.ae/nevent1qqszj7g6802fexl8zvagu6lf06t3vpuqszu47f3qduy8pc54djmrhqczyrnwzzd9rxa0e9jftgg6e8hgrcm44yr3gj3w4v9e68mqqew4hxl4xve8jfj In reply to <a href='/nevent1qqszsjku5q204sr3088l3txdpwsh7f75rjtewj90gk9m4qcqevm0hkgjuv02m'>nevent1q…v02m</a><br/>_________________________<br/><br/>Hahaha, I&#39;m sorry, specially if I just cost you addition to heaven. 😅 2025-07-02T07:30:24+02:00 https://nostr.ae/nevent1qqsqxqck9hzkgcenn93qm7aedmqff08dldf4ejcu80hldlker23uprczyrnwzzd9rxa0e9jftgg6e8hgrcm44yr3gj3w4v9e68mqqew4hxl4xnlesa3 In reply to <a href='/nevent1qqsqag2f3m29yw9eewcpgqd065rhlsuykcx2d35jsdvvj3ztcgrhw9c7sdf8a'>nevent1q…df8a</a><br/>_________________________<br/><br/>This gives new meaning and new higher stakes to the phrase &#34;cinnamon challenge&#34;. 2025-07-02T07:21:32+02:00 https://nostr.ae/nevent1qqsw8r9w88n7mkchtxaeygrvjf3wd3tcpchch5hx7pe98nw228qjxqqzyrnwzzd9rxa0e9jftgg6e8hgrcm44yr3gj3w4v9e68mqqew4hxl4x47f3v2 In reply to <a href='/nevent1qqsttsgmv3s5wvxc6m8e4yyeqv7t27hd2f35u2x9vjk794e4y759p6g7gp3tw'>nevent1q…p3tw</a><br/>_________________________<br/><br/>Oh, that&#39;s right, getting the appropriate link is a little awkward with just Org. I should have mentioned what I use for that: org-ql-find together with embark. Org-ql has several flexible command for searching for heading in an org file, org-ql-find in particular will prompt you in the minibuffer for some search terms in a simply syntax, and then it lists the matching heading as completion candidates. (It&#39;s mean to be used with a completion UI that shows the completion and lets you navigate among them, a completion UI such as icomplete, vertico or ivy.) The embark package let&#39;s you act on the completion candidates and in particular comes with an action called embark-org-insert-link-to, which inserts a link to the currently selected heading. I bind org-ql-find to M-s q and embark-act to C-., and embark binds embark-org-insert-link-to to j, so altogether I insert a link to a heading in the same org file as follows:<br/><br/>1) M-s q search terms<br/>2) arrow keys to select the correct heading in the minibuffer<br/>3) C-. j<br/><br/>It&#39;s very fast and convenient. You could also replace org-ql-find with consult-org-heading, if you prefer, but I like that org-ql-find does full text search in the entire body of the heading by default. 2025-06-05T19:21:19+02:00 https://nostr.ae/nevent1qqsgr27cguu92welx5d89ups2h2m3cwa9cqawxyxslnkfmu0kaxjjggzyrnwzzd9rxa0e9jftgg6e8hgrcm44yr3gj3w4v9e68mqqew4hxl4xm0tcwf In reply to <a href='/nevent1qqsf69qh8zueczgr0htsmprwvs56239uugyfhmawz6u9qryzqqq854ckww46m'>nevent1q…w46m</a><br/>_________________________<br/><br/>Yes, just use Org on its own! 2025-06-05T17:34:50+02:00 https://nostr.ae/nevent1qqsrrlcyg2z433hdj8vagfza9pag857c70qlfx27arl8xwt34vgc7dszyrnwzzd9rxa0e9jftgg6e8hgrcm44yr3gj3w4v9e68mqqew4hxl4xa7y7u9 In reply to <a href='/nevent1qqsyqqsdt3k8z88aa0jy62h8xqzt4j9xelm7t8awxa5lyqfz6ppepscpkc5e8'>nevent1q…c5e8</a><br/>_________________________<br/><br/>Damn autocorrect! Thanks for pointing out the typo.<br/><br/>Scotland? I somehow thought you had left the US for Singapore. At any rate, I&#39;m glad you left the US. 2025-05-23T15:48:53+02:00 https://nostr.ae/nevent1qqszuyzpudnfnv79kyxsfev77czstcql7d5dksuedpl4ydu9h0v9ceqzyrnwzzd9rxa0e9jftgg6e8hgrcm44yr3gj3w4v9e68mqqew4hxl4xs3ydwl In reply to <a href='/nevent1qqsxnzn0cqqrf68aav438pvk65klyexp7sp3l0wj9x0k4kj4z59yrecqvsckp'>nevent1q…sckp</a><br/>_________________________<br/><br/>I think the article make a pretty convincing case that the brain drastic is already underway, it&#39;s funny they called it a &#34;danger&#34; in the title. 2025-05-23T14:34:33+02:00 https://nostr.ae/nevent1qqsq06al90tchmxtl8hmscrcxkwr9xclphwd4takh8u9pme68rgp04szyrnwzzd9rxa0e9jftgg6e8hgrcm44yr3gj3w4v9e68mqqew4hxl4xr65r0j In reply to <a href='/nevent1qqsp3z3qfdqf2rz3ay4leevrt8wd706v42j7s0xax8vmhkreaaat72gnae7g8'>nevent1q…e7g8</a><br/>_________________________<br/><br/>The six digit numbers whose first three digits are the same as the last three are the multiples of 1001 (because abc * 1001 = abcabc). Since 999999 is a multiple of 1001, being a multiple of 1001 is well-defined modulo 999999, i.e., if a = b (mod 999999) then a = b (mod 1001). Finally, since 123123 is a multiple of 1001, it doesn&#39;t matter what the tower of fives is, the product will be a multiple of 1001. 2025-05-08T02:20:42+02:00 https://nostr.ae/nevent1qqs8ra8jwlrwq0fzsqahzfugppe72w5crhrt958nkxwvz3l6qv8httszyrnwzzd9rxa0e9jftgg6e8hgrcm44yr3gj3w4v9e68mqqew4hxl4xty84ag In reply to <a href='/nevent1qqszfy50n4e724a9ewgurlaskp90utzwax8dgpger7evekdt2rkygrcygxz4z'>nevent1q…xz4z</a><br/>_________________________<br/><br/>The author of that article, <span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/npub1hr7087sk4yxl25nmx9c42p0zgk5kyfyvar5xeklezs23hjuenr7qr3jxyc" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>Baldur Bjarnason</span> (<span class="italic">npub1hr7…jxyc</span>)</a></span>, was written plenty of sensible stuff on AI including a book, The Intelligence Illusion. 2025-05-05T14:31:32+02:00 https://nostr.ae/nevent1qqsrfhkx33jkqceal8mvvct9rueal233ksk3ddhhmt5y24cyxu2zk9qzyrnwzzd9rxa0e9jftgg6e8hgrcm44yr3gj3w4v9e68mqqew4hxl4xnqgxfz In reply to <a href='/nevent1qqst4nraaxdt3rjy5enfumsupj4f7s5p6wkwx6a9trv8an5ry8n4u2ssyq3k3'>nevent1q…q3k3</a><br/>_________________________<br/><br/>Because of stories like these I cancelled my trips to the US for math conferences for the immediate future. I&#39;m sorry I won&#39;t get to see many American friends of mine, but the minute I sent those emails cancelling, I felt relieved. 2025-03-17T04:17:56+01:00 https://nostr.ae/nevent1qqsw0wckxh2kcemcveqv07g6qe4ec5r4nsd0gelf34mt9zvx7wpfnxszyrnwzzd9rxa0e9jftgg6e8hgrcm44yr3gj3w4v9e68mqqew4hxl4xrgvpj8 In reply to <a href='/nevent1qqs0l5xk4s2cuj89fq58yehuhsketdhdatanzcy4a733mfz5ru99ldsvcdxn2'>nevent1q…dxn2</a><br/>_________________________<br/><br/>The partial automorphism you found are inner on the a=1 subgroup, but they might be non inner once you extend them to the whole group. 2025-03-15T16:31:01+01:00 https://nostr.ae/nevent1qqsfqmjxrgnj5uj5ry7rcjaptkrmx8vudlv3zcl5tqjdacd52x0u66qzyrnwzzd9rxa0e9jftgg6e8hgrcm44yr3gj3w4v9e68mqqew4hxl4x7hyyxk In reply to <a href='/nevent1qqsx9k24dnhlptzt0wepx2892w8haq23qxj2p630nl2hnsh7vx5vp5sxspyzj'>nevent1q…pyzj</a><br/>_________________________<br/><br/>When I visited Copenhagen I got a public transit card at a machine at the airport. The machine asked me what felt like a very long series of questions in Danish (there was probably an option somewhere to switch to English which I missed). I clicked on buttons somewhat randomly and got a card, so I considered the operation a success. Later I found out that I had obtained a transit card for dogs —which apparently are (1) allowed on public transit, but (2) have to pay!<br/><br/>Now, dog was only the default for the card, mind you, so I could still use it: everytime I got on a bus or train I just had to add one human and remove one dog to my travel order, a little game I called &#34;Copenhagen: Become Human&#34;. 2025-01-10T13:15:11+01:00 https://nostr.ae/nevent1qqsxjf5juqux9533yferl04rq3czrhnkzl3228mx8tg7kkrtu6kr7zszyrnwzzd9rxa0e9jftgg6e8hgrcm44yr3gj3w4v9e68mqqew4hxl4x0knns7 In reply to <a href='/nevent1qqsw4grkthxeprhj58uzjjvkvtmxa89s605tlsn98xuesv854qj9h9gccu700'>nevent1q…u700</a><br/>_________________________<br/><br/>I see, thanks. That makes sense. 2024-11-20T12:37:40+01:00 https://nostr.ae/nevent1qqsq82jmt7thxpr90wxahek83u35ncdfp8xpq9l5emgft52jxxch0tszyrnwzzd9rxa0e9jftgg6e8hgrcm44yr3gj3w4v9e68mqqew4hxl4xe4npej In reply to <a href='/nevent1qqs94s9fl44k9dk2n4ajasl87uzzds0ycagvuw96hl6450ythlrs58c39tsxf'>nevent1q…tsxf</a><br/>_________________________<br/><br/>This thread was pretty interesting and I enjoyed the article of Doctorow&#39;s you linked to, but I think I may have missed something: you explained why you aren&#39;t moving to bluesky, but did you also say why you are bothering to mirror your posts there? 2024-11-20T05:40:09+01:00 https://nostr.ae/nevent1qqswu7tjqrvdaqq42crgc3xnupqq4du2duvgmc3tj0ejautl42ewfjczyrnwzzd9rxa0e9jftgg6e8hgrcm44yr3gj3w4v9e68mqqew4hxl4xrepr22 In reply to <a href='/nevent1qqs8js7teg5dkgs958q3mwpcyddqhryscu6yl9485sdutvy20vlqqegjjr52x'>nevent1q…r52x</a><br/>_________________________<br/><br/>I guess the answer is yes and a little bit no. There is the Risch algorithm, which does decide whether or not there is an elementary anti-derivative, but it uses as a subroutine a function that tells you whether two constants are equal. Such a subroutine is not know to exist for constants you can write in terms of rational numbers and elementary functions, and I think that if you throw in absolute value it is in fact known to not exist! So, modulo it being very difficult to tell whether a big expression that evaluates to a number is zero or not, you can decide whether or not elementary functions have elementary anti-derivatives. Personally I think &#34;compute the constant to 500 decimal places&#34; is probably correct enough of the time to not consider this a problem. The Risch algorithm is also extremely complicated and I seem to remember either no computar algebra system implements it completely or maybe just one or two do. 2024-10-06T02:44:34+02:00 https://nostr.ae/nevent1qqspdx2sv444hdmw6cscnyxvm2gdn6dmj7k9etdflqwek3eggeq22lszyrnwzzd9rxa0e9jftgg6e8hgrcm44yr3gj3w4v9e68mqqew4hxl4xwp98pm In reply to <a href='/nevent1qqszps3jpc3pvl88nlx7ujere42sxgcy99hkerqfk2wgsepe8e06atc0jgkc4'>nevent1q…gkc4</a><br/>_________________________<br/><br/>Oh, you&#39;re right: this is exactly equivalent to asking which does are parallelizable and the classic answer is that only S¹, S³ and S⁷ are! (Though I only know how to prove that using K-theory which was forbidden by OP.) 2024-10-04T08:49:44+02:00 https://nostr.ae/nevent1qqs98x7l4apmef728dkvmmqjyyt42m3gfjnqsnls0mnzvxg9rtzrppczyrnwzzd9rxa0e9jftgg6e8hgrcm44yr3gj3w4v9e68mqqew4hxl4xnkqhcl In reply to <a href='/nevent1qqsfztmx3zdl8qkfqxpag9nxs8xv66x6rrh2t02jwuzdcy8yy206faq9s9gqt'>nevent1q…9gqt</a><br/>_________________________<br/><br/>de Rham cohomology works half the time for this question! For SO(n) with n=2k+1 you have exterior generators in degrees 3, 7, ..., 4k-1; and the slightly different pattern you mentioned for even n is that if n=2k+2 then you have exterior generators in those same degrees 3, 7, ..., 4k-1 and an additional exterior generator in degree 2k+1. This means that when n is odd SO(n+1) has the same de Rham cohomology ring as SO(n)×S^n! (And when n is even the rings are non-isomorphic so the argument does work in those cases.)<br/><br/>When n=1 or 3, then SO(n+1) really is diffeomorphism to SO(n)×S^n, so I&#39;m not sure what to expect for odd n. 2024-10-04T08:42:19+02:00 https://nostr.ae/nevent1qqsqz5urjntendt0uzct6r83qcv2tf69m0utuu7269njsqceeg5h36szyrnwzzd9rxa0e9jftgg6e8hgrcm44yr3gj3w4v9e68mqqew4hxl4x2pz7fq In reply to <a href='/nevent1qqstw47vq83k7a4tkq05c4dahhg6e8flaagw0vud58tfalfq7xau72qxyp3p8'>nevent1q…p3p8</a><br/>_________________________<br/><br/>Y separando a los burgueses del proletariado. 2024-08-23T19:48:22+02:00 https://nostr.ae/nevent1qqsg9pcq852xzh22xkd7a0jtxgmj0m9sa4d80n55uqa7dudg40s2h5szyrnwzzd9rxa0e9jftgg6e8hgrcm44yr3gj3w4v9e68mqqew4hxl4xj698ta In reply to <a href='/nevent1qqsp30hucphkpp6w4kgr3uspyn486rzml6w0e9tj7fkard2zj0zehngpte5ql'>nevent1q…e5ql</a><br/>_________________________<br/><br/>Or a misunderstanding? Every loop on the sphere is homotopic to one that does not hit every point on the sphere, maybe the lecturer meant something like that. 2024-08-23T14:27:23+02:00 https://nostr.ae/nevent1qqsgyky448dg04f98vcsnwzep94n4snm2w6ctyvq87eqr2w2k3wzwjqzyrnwzzd9rxa0e9jftgg6e8hgrcm44yr3gj3w4v9e68mqqew4hxl4xshvrfs In reply to <a href='/nevent1qqsrvl6r4knl0ddjy2cs3jskdvz5knpkhhk6pnhpkz9n4uztsjly6esfvzah7'>nevent1q…zah7</a><br/>_________________________<br/><br/>But there are such loops! They are called space filling curves. The most popular examples are continuous functions [0,1]--&gt;[0,1]^2 which hit ever point in the square but any such example is easily modified too obtain a loop on a sphere.<br/><br/><a href="https://en.wikipedia.org/wiki/Space-filling_curve">https://en.wikipedia.org/wiki/Space-filling_curve</a> 2024-08-23T13:59:00+02:00