2026-09-07T13:38:21Z https://njump.me Morgan Arnold https://njump.me/npub1fp0024ns6k99e42eet6esd3c3n7rh6p2u0snkmdtcxm48rmmwrcsgvs4sx https://media.mathstodon.xyz/accounts/avatars/110/087/992/711/843/880/original/904683c7c9ff3158.png https://media.mathstodon.xyz/accounts/avatars/110/087/992/711/843/880/original/904683c7c9ff3158.png https://njump.me/nevent1qqs0fn2uzec2k47g4xxdgu0m4jc6g7uclyf4jjj4ta3f2f3pax865yszypy9aa2kwr2c5hx4t890txpk8zx0cwlg9t37zwmd40qmw5u00dc0z5guk8w <span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/npub1z8rjwhwhg8dna3cq0uz6hded2rdqlegj7lrvcs7s0zd56yj9fdasfgmrq6" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>Devine Lu Linvega</span> (<span class="italic">npub1z8r…mrq6</span>)</a></span> totally out of the blue, but thanks to you and grimgrains for putting me on to seitan! i&#39;ve been getting into fitness recently and it&#39;s by far the best source of plant-based protein that i&#39;ve found 2026-03-10T04:47:50Z https://njump.me/nevent1qqszm0fsk4vxk9hdjzax43ltrwphc5emrtymkpynuygwda26r05h86szypy9aa2kwr2c5hx4t890txpk8zx0cwlg9t37zwmd40qmw5u00dc0zjcps67 In reply to <a href='/nevent1qqszraldy3x9dtjyehy8ptwmnuegywjxzw2epmyp2mqt262fj5na6hcsnsxgv'>nevent1q…sxgv</a><br/>_________________________<br/><br/>ooh, cool! i&#39;ll have to get a shirt! 2026-02-20T23:16:05Z https://njump.me/nevent1qqsvt45dkhm4gyvauyw3wg7z6x6skeexrh82k776s2z389man3t0uqszypy9aa2kwr2c5hx4t890txpk8zx0cwlg9t37zwmd40qmw5u00dc0z52p707 In reply to <a href='/nevent1qqsykv65werqnx583z3ycfe8s3g5s7w24avx4kzah2f3uuk6asxrdtsdpldmn'>nevent1q…ldmn</a><br/>_________________________<br/><br/>ooh, cool! any chance you guys are in town for the plan9 conference in may? seems like the sort of thing that y&#39;all would be into 2026-02-20T23:12:58Z https://njump.me/nevent1qqszd8czu0gfp5muhqu8q4pcjnqlyratnntz8jp0n3zrfr5pg2qwwsczypy9aa2kwr2c5hx4t890txpk8zx0cwlg9t37zwmd40qmw5u00dc0z94xr9s In reply to <a href='/nevent1qqsvcly7af8hjss25ygrna99ejep4yp300t66zynys499dnkg0suxpcn93m8q'>nevent1q…3m8q</a><br/>_________________________<br/><br/>ah, that&#39;s a much more valuable observation than my suspicion based on provenance 2025-12-15T22:23:06Z https://njump.me/nevent1qqsdyhca95mxdc4wmrla2z90fszsghf023cfz4p34fqw7ga709xxkmgzypy9aa2kwr2c5hx4t890txpk8zx0cwlg9t37zwmd40qmw5u00dc0zpk8v8v In reply to <a href='/nevent1qqsfmklkanmvnqc2qwrszujy9xyse66hlmtqn5xfrqaszyw00cz0dsssagz7g'>nevent1q…gz7g</a><br/>_________________________<br/><br/>i wouldn&#39;t call myself an expert, but my master&#39;s degree is in mathematical general relativity. at a glance, this doesn&#39;t look like any paper i&#39;ve ever seen in mathematical general relativity. the researcher also appears to be employed by the research division of a mobile phone company, which makes me doubly suspicious. i can try to take a closer look later 2025-12-15T20:19:10Z https://njump.me/nevent1qqs2fq00tkmgg4w2e7pp6rrnpsq6trayrjjeu9fmajrr396mlhep3sgzypy9aa2kwr2c5hx4t890txpk8zx0cwlg9t37zwmd40qmw5u00dc0zeu64hl In reply to <a href='/nevent1qqsvqde6kfea5hzah66hsnt9hn79uesup2hgn3n2wmrkya8c4xv65wqr0dlxv'>nevent1q…dlxv</a><br/>_________________________<br/><br/>ah, i also read that current affairs article a few days ago. i think that it was one of the most thought-provoking pieces that i&#39;ve read about ai. i do wonder if this stems from capitalists thinking of workers as being sort of like commodity-producing automata. the way that people who are into ai &#34;artwork&#34; talk about art, for instance, only makes sense if you think of artists as automata which produce a commodity, namely art. granted, proofs don&#39;t make much sense as commodities, but the way in which ai math folks often talk about math only makes sense if you think of mathematicians as automata which produce proofs 2025-12-07T19:20:23Z https://njump.me/nevent1qqsrzm3r73enzgs886l5mnldggxxv0vqjd8m9nuefjvslrakd9nw38qzypy9aa2kwr2c5hx4t890txpk8zx0cwlg9t37zwmd40qmw5u00dc0zz8fr47 In reply to <a href='/nevent1qqsgshfmaqqyu69t2mdv2m7mu8yhmr0ztpj49vte6uxvurvq7s8qwgc4vfcr5'>nevent1q…fcr5</a><br/>_________________________<br/><br/>i find something oddly disconcerting about the way in which people and groups like this perceive and understand mathematics. it smacks of this kind of silicon valley tech-bro-ification, but seeing it applies to math feels exceptionally strange to me 2025-12-07T13:07:42Z https://njump.me/nevent1qqsxcgpztkqnmarxcpa3w3d6gx2jdx4kmyf2napx5au7e0qznysf8nqzypy9aa2kwr2c5hx4t890txpk8zx0cwlg9t37zwmd40qmw5u00dc0zgw5etu In reply to <a href='/nevent1qqsgxf5hj5vz03xewnvw0tz6yhv8p95ntqn5k5guyuxz4c8lcg56kyqphaw7y'>nevent1q…aw7y</a><br/>_________________________<br/><br/>i suspect that he has some other tricks up his sleeves that he didn&#39;t reveal to us... 2025-12-01T11:57:53Z https://njump.me/nevent1qqsd3szucddrw9sjxqf36zm9asldlh234gt9rvuh0sntxxawcn4fjeszypy9aa2kwr2c5hx4t890txpk8zx0cwlg9t37zwmd40qmw5u00dc0z4646hh In reply to <a href='/nevent1qqs8y93d9qlkkyvukc902tewywuu6erdl0d4trz4n7lh64hsnnjum3g2actth'>nevent1q…ctth</a><br/>_________________________<br/><br/>i heard a talk by martin rees once where he said that if he&#39;s on a train and someone strikes up a conversation, he tells them he&#39;s a physicist if he&#39;s in the mood for a conversation and tells them he&#39;s a mathematician if he&#39;s not. you might be on to something! 2025-11-30T20:59:20Z https://njump.me/nevent1qqspqg3zejqpnxcgu65ah99w066cgmcnmys8qh7xpxtzne3sfnm2pxqzypy9aa2kwr2c5hx4t890txpk8zx0cwlg9t37zwmd40qmw5u00dc0zgr59qd In reply to <a href='/nevent1qqswj4845ynpf3uffwtacfmtzvfftmym5ay73mez9tref6qjajxar6c2zw4g3'>nevent1q…w4g3</a><br/>_________________________<br/><br/>in particular, i think that the 20km segment from schaan to vaduz is entirely paved 2025-11-07T00:10:37Z https://njump.me/nevent1qqswj4845ynpf3uffwtacfmtzvfftmym5ay73mez9tref6qjajxar6czypy9aa2kwr2c5hx4t890txpk8zx0cwlg9t37zwmd40qmw5u00dc0z277wzu In reply to <a href='/nevent1qqsdhj42nvtkl4qq22gfjrw0jx2tg4hr8p9e3xqxus3l0zhdfvppe3g4uf0jy'>nevent1q…f0jy</a><br/>_________________________<br/><br/>yeah! i&#39;m not sure about in town (the streets might be cobblestone in places? that&#39;s fine on a bike, but i can see it not being fun on rollerblades), but there&#39;s an excellent paved cycling path following the rhône, right on the swiss border 2025-11-07T00:06:07Z https://njump.me/nevent1qqsyzxg38mqkdj023wpvsw609fg7zwq5s2hrv2q3lj3e8dy5aahngxszypy9aa2kwr2c5hx4t890txpk8zx0cwlg9t37zwmd40qmw5u00dc0zsfuykr In reply to <a href='/nevent1qqstk5djuelk84pf7655jk5x9x473sy4wr9muswxs6svqvgxvd3tq0qfa8243'>nevent1q…8243</a><br/>_________________________<br/><br/>they&#39;ll also stamp your passport for a couple of francs, which is the kind of kitschy tourist stuff that i love 2025-11-07T00:03:01Z https://njump.me/nevent1qqstk5djuelk84pf7655jk5x9x473sy4wr9muswxs6svqvgxvd3tq0qzypy9aa2kwr2c5hx4t890txpk8zx0cwlg9t37zwmd40qmw5u00dc0zgvafwq In reply to <a href='/nevent1qqst7tkpxds6kaj5x6ltf45p2h9fhqgpvr0x9rdyp6gnfs5xx3plxkqe39d5d'>nevent1q…9d5d</a><br/>_________________________<br/><br/>not in liechtenstein, but over the summer i cycled from my home in lausanne to vienna, and passed through liechtenstein! check out the royal treasure room while you&#39;re there. it&#39;s a collection of very random expensive things that belong to the royal family. there are rocks from the moon on display right next to a fabergé egg 2025-11-07T00:02:26Z https://njump.me/nevent1qqsyx94r6xgwqh52fslcd2m2m5tycf0xp5hlt0ldvs6tgyypchyaj7szypy9aa2kwr2c5hx4t890txpk8zx0cwlg9t37zwmd40qmw5u00dc0zeejg9j In reply to <a href='/nevent1qqsrk5p2lcaz5w4tc22kf607ckljyu92j2k600s99zxdnz49jswhcqsqmwta0'>nevent1q…wta0</a><br/>_________________________<br/><br/>oh, i&#39;m sure! my experience with texts in category theory has just tended to be that the examples and motivations given tend to be very algebraic in nature (this was my experience with mac lane&#39;s book and riehl&#39;s book, at least), and so my lack of fluency in algebra can make them tricky to understand. i might try looking at awodey&#39;s book? i&#39;m mostly interested in category theory insofar as it&#39;s connected to logic and type theory, so awodey&#39;s book might be a better fit 2025-10-07T23:07:56Z https://njump.me/nevent1qqs0c6afxy2tu72pnawtflkanugq0qt60h53zetu8d528xvfqvacljczypy9aa2kwr2c5hx4t890txpk8zx0cwlg9t37zwmd40qmw5u00dc0zuw2t0h In reply to <a href='/nevent1qqsfwuh8zh8pu36nnkl339xku2httwgx2axmzg50a4d87vtzzrnaa8cad8tx7'>nevent1q…8tx7</a><br/>_________________________<br/><br/>granted, i might have better luck grokking category theory if my algebraic pedigree didn&#39;t end with a mediocre grade in undergraduate ring theory... 2025-10-07T21:09:49Z https://njump.me/nevent1qqsfwuh8zh8pu36nnkl339xku2httwgx2axmzg50a4d87vtzzrnaa8czypy9aa2kwr2c5hx4t890txpk8zx0cwlg9t37zwmd40qmw5u00dc0zkd0whx In reply to <a href='/nevent1qqsvq9e6zvrxmrywrl9z22t77saep7sqlz0z6x0emgsf83rvuydctkgd7wu3g'>nevent1q…wu3g</a><br/>_________________________<br/><br/>much as i&#39;d love to hear about general relativity, i think that i hear enough about it while working on my thesis! i&#39;d love to hear a bit about category theory. it&#39;s something that i&#39;ve heard a lot about (hell, i even tried reading johnstone&#39;s &#34;sketches of an elephant&#34;), but i&#39;ve never seemed to really grok it. it seems sort of magically natural to those who understand it though! 2025-10-07T21:08:50Z https://njump.me/nevent1qqsqsguf844ede9yay557qdae50zy4pn3twrnu7n6p9ngj8wm9lthfqzypy9aa2kwr2c5hx4t890txpk8zx0cwlg9t37zwmd40qmw5u00dc0z73djzh In reply to <a href='/nevent1qqs9mar2eee9mcjc53hy56f9cha0yrhzjc83k8jh68hare5hr6ewxyqaskwm9'>nevent1q…kwm9</a><br/>_________________________<br/><br/>okay, a couple of observations from computations. most probably aren&#39;t surprising.<br/><br/>first of all, light is blue-shifted rather than red-shifted. naturally, because there is no event horizon, there is no infinite red-shift at the event horizon.<br/><br/>as for orbits, the potential has no extrema, again somewhat unsurprisingly. although the singularity is naked, it isn&#39;t physically accessible, as the potential barrier goes to infinity near the singularity. gravitational lensing also isn&#39;t terribly surprising, although i struggle somewhat to visualise it! assuming the same impact parameter, you just get a sign change in the first-order approximation of the deflection, so instead of light rays being lensed around the black hole, they tend to be dispersed outward. maybe a better term here is gravitational mirroring? as best i can imagine, this sign reversal would make the black hole appear somewhat like a sort of weird spherical mirror. i wonder if i could hack into some computer simulation to better imagine what this would look like... 2025-09-28T14:46:13Z https://njump.me/nevent1qqs86hdrcnfr9wv8tvdamq83q3am2ynhf9q9evkwd9mdgp3rat3pjtczypy9aa2kwr2c5hx4t890txpk8zx0cwlg9t37zwmd40qmw5u00dc0z73sc65 In reply to <a href='/nevent1qqswe7gaxu438ml9mze3j4spzq7m8j0x8eh7d5jgugtednrhaykep3crcdg77'>nevent1q…dg77</a><br/>_________________________<br/><br/>i&#39;m pretty sure that there aren&#39;t any event horizons. in schwarzschild, the event horizon is the surface along which the killing field generating time translations is null, but it&#39;s easy enough to see that if the mass is negative this killing field is always timelike, so there shouldn&#39;t be any sort of &#34;interior&#34; or &#34;exterior&#34;. i&#39;ll have a look at the computations for geodesics later. i&#39;m curious to see how gravitational lensing would look for a negative-mass black hole. of course, you still have a singularity at 0, like john mentioned. the kretschmann scalar is unchanged by a change in the sign of the mass 2025-09-28T10:52:00Z https://njump.me/nevent1qqsv9kw5tr26ac7wllzdqjp23dm5p32ww3h5jeha8vg5g8gkymg2jlszypy9aa2kwr2c5hx4t890txpk8zx0cwlg9t37zwmd40qmw5u00dc0zrg52az In reply to <a href='/nevent1qqswkzr67tr9r2pj8runl3y7kngpt3l6nz72cqcpklxl8ff0kk3dd6cydw5s9'>nevent1q…w5s9</a><br/>_________________________<br/><br/>since you consider it to be the most important definition that you know, is there a reason that monoidal categories are especially important in the work that you do, beyond their importance in category theory in general? 2025-08-13T04:52:26Z https://njump.me/nevent1qqsqhggmthdx9q6qfujk0j2c39hd63m6zpkm5kpx6q90fw0rqs03jjqzypy9aa2kwr2c5hx4t890txpk8zx0cwlg9t37zwmd40qmw5u00dc0z487pd7 In reply to <a href='/nevent1qqsw76w9hc2xyd0qgfrlc7dqxjcpvmgrf8nxjeq3d046gtamvscla6glk3kp9'>nevent1q…3kp9</a><br/>_________________________<br/><br/>the more callous sales pitch for the idea is perhaps that this presents us with an opportunity to boost the global status of canadian institutions. i care a hell of a lot more about making sure that academics are able to continue their work free from political interference, but &#34;do xyz to boost the status and influence of canadian universities&#34; is probably an easier sell 2025-02-14T08:26:46Z https://njump.me/nevent1qqsw76w9hc2xyd0qgfrlc7dqxjcpvmgrf8nxjeq3d046gtamvscla6gzypy9aa2kwr2c5hx4t890txpk8zx0cwlg9t37zwmd40qmw5u00dc0zk0lrzp In reply to <a href='/nevent1qqs9t43r8j8at6mgwudm68gcvqutg96xsa4eattr3p4wklpzq730s2qdgnnks'>nevent1q…nnks</a><br/>_________________________<br/><br/>even if he doesn&#39;t succeed in cancelling existing grants, i can&#39;t imagine the chaos created by the fear and uncertainty. being canadian, i would really like to see our government move to make it easier for academics concerned about the trump administration interfering with their work to come to canada. i&#39;m thinking about writing an op-ed to a large newspaper to try to advance the idea, although i feel woefully underinformed to try to write such a thing 2025-02-14T08:24:18Z https://njump.me/nevent1qqs8re9uac2zwwlxcqfpl433evuh5c2p5zztfhn5hka7z2kdg828gcqzypy9aa2kwr2c5hx4t890txpk8zx0cwlg9t37zwmd40qmw5u00dc0z02gvmq In reply to <a href='/nevent1qqsrsw20ugu69lcn9k9aqh853ak03e5l55c0k0rsjz0mur44xzmdfdsvmm7jd'>nevent1q…m7jd</a><br/>_________________________<br/><br/>this is enraging. i applied to the phd program at john&#39;s hopkins university last year (i was rejected, mind you, but anyway) specifically because i wanted to work with emily riehl. she&#39;s an incredible mathematician (and, i might add, an incredible asset to the american mathematical community)<br/><br/>i hope that she either finds a way to prevent the new administration from interfering with her work, or else is able to find a post as a university in a country in which ted cruz, who presumably hasn&#39;t has sat in a math class in thirty years, does not feel so confident as to claim that a grant supporting one of the foremost category theorists in the world is &#34;government waste&#34; 2025-02-14T07:29:35Z https://njump.me/nevent1qqspwas5x25cvkgfqham0970j8muyqzkz6ypwexvkq7taxskszmyz8qzypy9aa2kwr2c5hx4t890txpk8zx0cwlg9t37zwmd40qmw5u00dc0zw28vne In reply to <a href='/nevent1qqsftyjt54n7l683tntws9twwc4qresjyw29mjszx8wwu8aj24c98wqzw0j5t'>nevent1q…0j5t</a><br/>_________________________<br/><br/>i&#39;m guessing that you&#39;re aware of it, but there&#39;s a 3blue1brown video about borwein integrals: <a href="https://youtu.be/851U557j6HE">https://youtu.be/851U557j6HE</a> 2024-12-11T19:10:36Z https://njump.me/nevent1qqs8j288h3w2zg9rkuwccqthrdkpvhkq4p93rnfe7ayu0lmnwvqmuzczypy9aa2kwr2c5hx4t890txpk8zx0cwlg9t37zwmd40qmw5u00dc0z5824a0 In reply to <a href='/nevent1qqsxajuajk68n9t2v4k7dnvw3vm6emmfhtukn0zz0kluma793wkayps50wgjy'>nevent1q…wgjy</a><br/>_________________________<br/><br/>funnily enough, i am only aware of greene&#39;s gâchis of a preface for &#34;the meaning of relativity&#34; because of another angela collier video! she talks about it in her video on string theory and popular science communication 2024-12-03T23:16:54Z https://njump.me/nevent1qqs09flgz3glwyh4chrgvmf4r8sgca35cg232lmwx2es2gtp2ruygfczypy9aa2kwr2c5hx4t890txpk8zx0cwlg9t37zwmd40qmw5u00dc0zsla6hc In reply to <a href='/nevent1qqsqhkdujz620zupsxxxqspc0jgyuetnjl46a6vemnpdktnw7p4z5mcd8ad2q'>nevent1q…ad2q</a><br/>_________________________<br/><br/>i read a book while i was on vacation over the summer called &#34;the pillars of the earth&#34;, which was set in the 1100&#39;s or so, in what is now england. for some reason, the part of that book that stuck with me was one of the characters, an architect, wondering aloud to himself how levers work! somehow, it had never occurred to me that someone actually had to invent the notion and mathematical formalism of torque! it&#39;s kind of astonishing the things that humans were able to build (such as the cathedrals which are the subject of that book) without a formalized understanding of even these most basic physical principles<br/><br/>i recently moved to lausanne for school, and i just found out that the cathedral in town began construction in 1170! it&#39;s quite an impressive building, and it&#39;s made all the more impressive when i consider how much of physics at the time would have completely lacked the sort of mathematical formalism that we take for granted today 2024-10-31T00:05:38Z https://njump.me/nevent1qqs2rk2cz6y4hsepyf293qmgvcvnmd7jc58kzas962n3ahk2ptc0m4szypy9aa2kwr2c5hx4t890txpk8zx0cwlg9t37zwmd40qmw5u00dc0zww4zcd In reply to <a href='/nevent1qqspzt3xufur7d0h9lg44hv9l7lkacwpmmmttxxp4f8rgr0a8pmuz2cgrfpun'>nevent1q…fpun</a><br/>_________________________<br/><br/>i went around quite a lot while i was travelling. the rough itinerary was arriving in tōkyō in early may, then heading south to kyūshū through may and maybe half of june so that i could visit before the summer heat got too oppressive, and then heading north to hokkaidō around the end of june to beat the summer heat. i made it as far south as yakushima (spent a week there, and it rained for the entire week!), and as far north as wakkannai. i spent a lot of time hiking, which was sort of funny since i&#39;m not normally a super big hiker by any means. some of the most interesting places that i visited were kaichu onsen on the south coast of yakushima, fugen-dake near unzen, ishinomaki (a small town that was badly damaged by the 2011 tsunami), and rishiri-zan, on rishiri-tō.<br/><br/>you&#39;ve been to japan, right? did you have any favourite spots that you visited while you were there? for having spent three months there, i&#39;m surprised that i still feel like there are places that i would like to have seen but didn&#39;t! 2024-10-04T07:56:20Z https://njump.me/nevent1qqsrm9022nwxhfk95wr20rndj4rkvu8rlha8ge4vwmf8xvr6xldkagqzypy9aa2kwr2c5hx4t890txpk8zx0cwlg9t37zwmd40qmw5u00dc0zamtc54 In reply to <a href='/nevent1qqsd6zn6ckqmrnpz8phj8z4dx5p36x9eru3ljvvcaw3lwmvdtp7lrzgrykl7v'>nevent1q…kl7v</a><br/>_________________________<br/><br/>ah, what a shame! i don&#39;t really expect anyone else to pick up on (my) ilo, but if this is quite famous, it might be a good idea to rename. i&#39;m taking the names for everything from toki pona (the assembler is &#34;pali&#34;, the relocatable binary format is &#34;poki&#34;, and the linker is probably going to be called &#34;wan&#34;), but even then, &#34;ilo&#34; is a bit of an awkward name for an isa, since an isa isn&#39;t really a &#34;machine&#34; or a &#34;tool&#34; in its own right, so much as it is a specification or a set of rules. &#34;lawa&#34; might actually be a better name for the isa itself!<br/><br/>as a side note, uxn was a huge inspiration for me to start thinking about isa design. the implementation of uxn&#39;s isa that i wrote was actually the first emulator that i ever wrote! i spent three months this summer backpacking in japan, and i kept a little notebook for scribbling ideas in, and ilo ended up kind of coalescing in that notebook out of ideas that i assimilated from uxn, risc-v, and a bunch of other isas. i suppose that what i&#39;m trying to say is thank you for the inspiration that uxn provided! 2024-10-03T20:42:40Z https://njump.me/nevent1qqszzeydd0jjhzw4g0xfe7ng8rz9529kmh250uceutudladppnhtvuczypy9aa2kwr2c5hx4t890txpk8zx0cwlg9t37zwmd40qmw5u00dc0zmx9k8p wanted to share a little project i&#39;ve been working on for a bit. i&#39;ve been tinkering with isa design for quite a while now, and i&#39;ve been developing a 16-bit isa called &#34;ilo&#34;. i&#39;ve recently been working on a suite of binary utilities and, while it&#39;s unfinished, i have a working assembler and a relocatable binary format. my next goals are to write a &#34;readelf&#34;-like program to examine binaries, as well as a linker. both should probably be much less work than the assembler. once this is done, i think that i&#39;m going to return to working on my emulator. i have a working emulator for ilo, but i would like to develop something a bit more sophisticated. if anyone is curious, the binary utilities are under development at <a href="https://codeberg.org/mra/ilo-binutils">https://codeberg.org/mra/ilo-binutils</a> 2024-10-03T12:49:30Z