2026-05-27T04:02:31Z https://yabu.me azul https://yabu.me/npub1e9y64jhalql35k2cfhntmkvnnz5937pwrq0267578qrpty6uafzsc2vdd5 https://193eb646-6077-4968-9f13-271a9b475591.svc.edge.scw.cloud/accounts/avatars/109/840/745/523/444/375/original/8ea18ae9c709d259.png https://193eb646-6077-4968-9f13-271a9b475591.svc.edge.scw.cloud/accounts/avatars/109/840/745/523/444/375/original/8ea18ae9c709d259.png https://yabu.me/nevent1qqstmyrhf3k4l6l87rykvf7mcx7a3p62pvysxysawhwk6uwm3jxhqyszyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y2ghlqv9 In reply to <a href='/nevent1qqsrsvnew8k3ux93tm7g0rvt637ydvjctdk23l98n25ljmtqmnlwktcqfl0jm'>nevent1q…l0jm</a><br/>_________________________<br/><br/>But if we stick to ZFC meta-theories, we still have the meta-meta-theoretic idea of a &#34;standard model of PA&#34; as a model that exists across meta-theories, the image of N in V into this version of the meta-theory.<br/><br/>(If we don&#39;t do this, the question &#34;is there a model of ZFC set theory where the standard model of PA is different from the initial model of PA&#34; has the answer &#34;no, by definition&#34;, which isn&#39;t very interesting.) 2026-05-07T14:13:37Z https://yabu.me/nevent1qqsrsvnew8k3ux93tm7g0rvt637ydvjctdk23l98n25ljmtqmnlwktczyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y2sau9zl In reply to <a href='/nevent1qqsdanautfuzre6j5nz8ztrgvjzkv93tzqcftm4f2y3dfy46p63fjhs9gl4fg'>nevent1q…l4fg</a><br/>_________________________<br/><br/>In both interpretations, &#39;N in *V is the standard model of PA. This &#39;N may look different externally but it looks like N in the ZFC set theory (the meta-theory).<br/><br/>Where things get interesting is when we have a separate notion of &#34;standard&#34; set in the meta-theory (i.e. if the meta-theory is IST instead of ZFC), and then a meta-theoretic notion of &#34;standard model&#34; means &#34;the initial model that is standard&#34; as opposed to just &#34;the initial model&#34;. 2026-05-07T14:00:13Z https://yabu.me/nevent1qqsfjt5v97m0c9fxwj6g9xuu7vcytcjychlggq23xznxtdyjeydy6vszyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y2kyrzxf In reply to <a href='/nevent1qqsvgc655e3ykv58dmunw85eqt8ur6mx9ted946pye8pcg2gx4dvdvsehgxy0'>nevent1q…gxy0</a><br/>_________________________<br/><br/>Because you can&#39;t take arbitrary external subsets of sets in *V. Every infinite set in *V is going to have nonstandard elements. (You can create internal subsets following the rules of ZFC. E.g. consider a nonstandard natural n. The natural numbers less than n form a set by replacement (clamping N by n-1). But this isn&#39;t a (sub)model of PA, and it contains nonstandard numbers (e.g. n-1).)<br/><br/>That&#39;s why we construct W to let us build more interesting subsets. 2026-05-07T12:19:18Z https://yabu.me/nevent1qqsf02e05d6nfenyvxtfnupcdxd9jdz8gsvfwe8syak3az57vzww54qzyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y2878x4d In reply to <a href='/nevent1qqsp3ecx9mxsp0j8efarzykkncd0g2racyxm9rw9tz5k82wn65l0w8q4a9vra'>nevent1q…9vra</a><br/>_________________________<br/><br/>yeah i think IST is an example of what I said. The standard set of natural numbers in IST contains nonstandard elements, and the set of standard natural numbers is nonstandard. 2026-05-06T11:25:40Z https://yabu.me/nevent1qqsdw8t97pz2nltumx2mk6gg62t43xfahnj5hd9wcat0dxh2jpv978gzyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y2suzn0e In reply to <a href='/nevent1qqsq0c9sq9wfxldgeryraey2zdgphhl8gmyrhqfunvudymwqa9hqr7gcp37wk'>nevent1q…37wk</a><br/>_________________________<br/><br/>losing my mind over the highlighted sentence. in other words. in a nonstandard model of peano arithmetic, you can have &#34;infinite&#34; natural numbers. in some nonstandard model of set theory, the standard model of peano arithmetic has infinite natural numbers, and you need a nonstandard model of peano arithmetic to exclude them.<br/> <img src="https://193eb646-6077-4968-9f13-271a9b475591.svc.edge.scw.cloud/media_attachments/files/116/525/122/283/924/262/original/e6c35bfe09b405ba.png"> <br/> 2026-05-06T01:54:19Z https://yabu.me/nevent1qqsq0c9sq9wfxldgeryraey2zdgphhl8gmyrhqfunvudymwqa9hqr7gzyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y2za7m2v infinite natural number glitch 2026-05-06T01:47:52Z https://yabu.me/nevent1qqsrng2msaqqqrupajl3n6zlvyfxvf478s9gcfkr5m75us6sh2py3hqzyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y2md6hrv 👋 get in the sea<br/>👉 fall through the ground 2026-05-01T19:57:38Z https://yabu.me/nevent1qqs9vhhxv9wxja2zma66f5ct8dda3mepe9ndkzpnmz5azzu5rsxmwqqzyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y2n6hzle the cardinal directions, North, Eorth, Sorth, Worth 2026-04-22T17:47:55Z https://yabu.me/nevent1qqsgx9fvq4ejh8mxr87m4c96ea9uehdy6cz5ghtxw4s0phxyt3th35czyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y27e5z34 this video could have been twenty years of relevant experience 2026-04-07T00:32:47Z https://yabu.me/nevent1qqs93yc02ntpd90sqmjvmz9mlysyjsagcvu6g6st2hxv6qfyn8k9grczyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y28rug0p In reply to <a href='/nevent1qqsghmtd8yyz64xka9snssvet57su4llhd9mhns5vsxxgms87pwed8c5gsr4x'>nevent1q…sr4x</a><br/>_________________________<br/><br/>i understood it ^^<br/><br/>bag is the perfect metaphor imo, even in english. i don&#39;t think multiset is nearly as good (&#34;multiset&#34; always has me wondering about things like infinite cardinality, since that&#39;s a big &#34;set&#34; thing). 2026-04-06T23:55:47Z https://yabu.me/nevent1qqs99ac9mjre39aplj4wn4yyrpu2tdh0xa2ewjh6hwg5twxhsephydqzyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y2dcxsam gender expression implies the existence of gender normalization by evaluation 2026-01-19T07:31:06Z https://yabu.me/nevent1qqs8avcmuhfnh9nt7ve63djjgak5rgk0fmaflvqyqqv0xl4x8xjxkmgzyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y2wfr2a6 a manager can never be held accountable<br/><br/>therefore a manager must never make a management decision 2026-01-12T01:54:04Z https://yabu.me/nevent1qqs2zusgrzmwrwv4acjs2ehnhxe8qw32rscc06qmln5wzlmp9chcq2czyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y27l8md3 In reply to <a href='/nevent1qqsxvjsr74jkqjdgmau2mh5cgzmwzfmsc9ezks0q4h9eyhlshs5l4as3srn3f'>nevent1q…rn3f</a><br/>_________________________<br/><br/>None of these things are monads, however, and&#39;s shortcircuiting is very similar to the sequencing you get with the option/maybe monad, which executes a sequence of commands but shortcircuits as soon as you get a none value. 2025-12-09T16:22:28Z https://yabu.me/nevent1qqs2hqtklcgx06m0sjst2pqs5l2lxqvmglcdtxphkh3rfcp5hxxfngczyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y2daahzv oh you downloaded your game? oh yeah? have fun. but me, i&#39;m a ludophile, i only play games on vinyl. it&#39;s all about that game quality you know. there&#39;s just no way to replace this -- *breaks out the 25 vinyl disk collection box for Riven: The Sequel to Myst.* 2025-11-23T17:46:23Z https://yabu.me/nevent1qqsx8f75hfcwfhvm0fx34rz7xeh8fvzff8dz3ykhdnj0g340y7njsjszyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y2y8s9j0 plato&#39;s allegory of the cave is really just a shadow on the wall cast by the platonic ideal of plato&#39;s allegory of the cave 2025-11-13T04:27:18Z https://yabu.me/nevent1qqsqv03h8tvvy0tpsukwxr3h2mtr8fk4ekqnfrgmeh3e276yyj4e5mgzyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y203sjju tfw someone asks someone else a question about one of your favorite subjects and you know you shouldn&#39;t jump in, so you don&#39;t, but you really want to. 2025-11-12T17:59:11Z https://yabu.me/nevent1qqsg8fjemukfetywy6cvf762ksrv46c6yrhfn96uapamw5sm80rtn8qzyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y2qtk6ls here in metric system no guns land we don&#39;t measure bad language design in footguns, we measure it in metersticks 2025-11-10T16:05:30Z https://yabu.me/nevent1qqsqfurpaqj2q5px7d6hwpgmyu7hkck63j2hyn2pk7rp4u9tss5nwvszyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y2awxft9 everyone in PL ignoring forth is such an embarrassment tbh 2025-11-03T14:09:50Z https://yabu.me/nevent1qqs2u2tdk744rha7yaxk7ekdm43wdk3lfkfe0tkygdpscs5u8qsx2ugzyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y2r2r0xh In reply to <a href='/nevent1qqsfxh8t35l49ql0p3rvkapd5nvh7yuq39v95mk8weu9pu42rvmtxucv364tt'>nevent1q…64tt</a><br/>_________________________<br/><br/>lambda calculus is easy if you ignore substitution and evaluation strategies and . . . <br/><br/>that said, it&#39;s referentially transparent which is nice. maybe that&#39;s what they mean by &#34;easier to reason about&#34;, relative to some other models of computation. 2025-10-20T15:13:35Z https://yabu.me/nevent1qqs9rmc39rpt3rz7k5p4xx73qtsd337pds2r0jw2d98p5acecxmv9tszyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y22qr2er beware of the rabbit hole to pipeline pipeline 2025-10-04T03:55:00Z https://yabu.me/nevent1qqs9pw9faadsy5t5dfu75q0v53p7ffc059k5m20k6ss7aha3vaja7cszyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y2tsm8a5 it&#39;s only a proton if it comes from the steam deck region of valve corporation, otherwise it&#39;s just a sparkling wine 2025-09-24T01:33:39Z https://yabu.me/nevent1qqsdte5vj7vjkwzklv02j7ul6s9758gqxq3x4jy4guvfhj934lmpucqzyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y2qf4tzy In reply to <a href='/nevent1qqsdysklkr2w6ldsudymjvus2enrhmndw9e75a5e0238mkrwlg9z5nsk770dt'>nevent1q…70dt</a><br/>_________________________<br/><br/>mad respect for y&#39;all, but i prefer to stay on land.<br/><br/>i think i have a mixture of fear of the sea, and also, i don&#39;t really think i could enjoy the sensory experience of sailing. the wind, the waves, sea water in general, ... 2025-09-22T15:35:01Z https://yabu.me/nevent1qqsynfvm39uvv083lhahl4k04q9ka0zjsmhkxuhmp69jcy0kn0kq8fszyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y20seace i would like it to always be autumn<br/><br/>(which it is now in the northern hemisphere) 2025-09-22T15:26:29Z https://yabu.me/nevent1qqsv2jmkh6kp2etmlrg693t2x8qugwuayrltjrg5d2gm943c5e06fqszyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y2gprryv In reply to <a href='/nevent1qqsxea0swsgke9k78aanvutta4pkkkegrmppxr2zz0vm0fqwtk4mu6c5mjlf7'>nevent1q…jlf7</a><br/>_________________________<br/><br/>the ordinals seem like good candidates:<br/>first, secondst, thirdst, fourthst, ... 2025-09-17T20:37:51Z https://yabu.me/nevent1qqsxea0swsgke9k78aanvutta4pkkkegrmppxr2zz0vm0fqwtk4mu6czyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y2clnw2j there shouldst be a double english where they add &#34;st&#34; to more wordst, not just to whilst 2025-09-17T20:36:48Z https://yabu.me/nevent1qqsxu33593qu6cq6lfjpw0xxmvcs7f85akmv6eczyceuvat74ena2mszyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y2shm45m december implies the existence of hexadecember 2025-09-15T14:29:58Z https://yabu.me/nevent1qqs9rzja88a9achzxw06vlc4n2rm7vtkxz3zhw9ej8n0zmmqhkr6qpgzyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y2tlml52 it&#39;s not a crisis until a straight white cis man dies<br/>it&#39;s not an epidemic until a straight white man gets lonely<br/>it&#39;s not a recession until a rich white man cries<br/>it&#39;s not political until a straight white cis man notices 2025-09-15T05:10:58Z https://yabu.me/nevent1qqstuqkgurkxm8q0j96twjhxwdn0z3ck829vstsfql7dkg3sg44wp9gzyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y2t9gprm In reply to <a href='/nevent1qqsvc9cld6qh336hty04u55ydguszdawc2fjp9lmgka23fygw4cn88ca0zg9z'>nevent1q…zg9z</a><br/>_________________________<br/><br/>the ones who drive away from omelas but come back every week to fill their tank 2025-09-07T05:06:08Z https://yabu.me/nevent1qqsvc9cld6qh336hty04u55ydguszdawc2fjp9lmgka23fygw4cn88czyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y2jxrtyp In reply to <a href='/nevent1qqsvswtvruct5c0x6hdjjpga4axltwm3939qka57f53xuyuan085ttsca07ln'>nevent1q…07ln</a><br/>_________________________<br/><br/>the ones who walk away from the ones who walk away from omelas 2025-09-07T05:03:07Z https://yabu.me/nevent1qqsvswtvruct5c0x6hdjjpga4axltwm3939qka57f53xuyuan085ttszyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y28psy7x In reply to <a href='/nevent1qqspn3pvj8txe54x6taq9vkrskkcqfnyvxtsf9a77eznut84x9a9kts2wj7mp'>nevent1q…j7mp</a><br/>_________________________<br/><br/>the ones who pretend they walked away from omelas 2025-09-07T05:01:56Z https://yabu.me/nevent1qqspn3pvj8txe54x6taq9vkrskkcqfnyvxtsf9a77eznut84x9a9ktszyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y2pf3g2q the ones who stay in omelas because there isn&#39;t anywhere else 2025-09-07T04:59:43Z https://yabu.me/nevent1qqs8036stpdv5mjzg8c2nydy36rxz5847tqhflcnxm5c4yj0euph4tszyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y2td07ze In reply to <a href='/nevent1qqsrrplfevfx06cceqjnenn8u99lrjnq0dd8v40zdp6v4tkch78lu0cct633z'>nevent1q…633z</a><br/>_________________________<br/><br/>respectfully ... no thanks 2025-08-28T17:11:40Z https://yabu.me/nevent1qqsdvxats9gp8tg8kxfxj06r8dxuaz46vpeyrvug9cdenz5669vlx9qzyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y2quhege In reply to <a href='/nevent1qqs06xd004j5jjdxn5pgtz8nsezppe2hc82jqkhzkk8mqs7kq63ftnsg4v698'>nevent1q…v698</a><br/>_________________________<br/><br/>for the record, i think return stack manipulation in forth is unequivocally a bad idea. not just to emulate expression languages, but in general. it gets a pass only because forth is so spartan &amp; has so few places to put data.<br/><br/>but a modern forth that isn&#39;t trying to be so minimal ought to give you access to many data stacks imo.<br/><br/>e.g. in mirth you have as many stacks as you want, with different names. &gt;x pushes on the x stack, &gt;foo pushes on the foo stack, bar&gt; pops from the bar stack, etc 2025-08-21T18:31:10Z https://yabu.me/nevent1qqs06xd004j5jjdxn5pgtz8nsezppe2hc82jqkhzkk8mqs7kq63ftnszyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y2gvjjqj In reply to <a href='/nevent1qqsfssn9eycpmdlhg6hnv8c4kw3l07tpp5jmclxsyfx7jsx0fmfkumqx2xxg2'>nevent1q…xxg2</a><br/>_________________________<br/><br/>the mixing of local variables, parameters, and return addresses all on the same stack causes so many security problems. e.g. <a href="https://en.wikipedia.org/wiki/Return-oriented_programming">https://en.wikipedia.org/wiki/Return-oriented_programming</a><br/><br/>i can only hope that in time we&#39;ll view mixing return addresses and data on the same stack with the same distaste as many other flawed practices ... like zero terminated strings, or storing passwords in plaintext. 2025-08-21T18:21:01Z https://yabu.me/nevent1qqsfssn9eycpmdlhg6hnv8c4kw3l07tpp5jmclxsyfx7jsx0fmfkumqzyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y2g565pr In reply to <a href='/nevent1qqsdx67mxgcxpr6ypnqjrlj54hlw924sgauen4s9mfcce3xe0apg74gp9fzv9'>nevent1q…fzv9</a><br/>_________________________<br/><br/>the advantage of using separate return and data stacks is that we can take any code that uses just the data stack and factor it out, e.g.<br/><br/>: add-thirty 30 + ;<br/><br/>is a forth word that adds 30 to the value on top of the data stack. but the corresponding &#34;return stack oriented&#34; version is not 30 &gt;r plus, because calling a word puts the return address on the return stack. you&#39;d have to wrap the definition with a return stack pop (r&gt;) and a push (&gt;r) as so,<br/><br/>: add-thirty r&gt; 30 &gt;r plus &gt;r ; 2025-08-21T18:14:55Z https://yabu.me/nevent1qqsdx67mxgcxpr6ypnqjrlj54hlw924sgauen4s9mfcce3xe0apg74gzyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y2h9z0f9 In reply to <a href='/nevent1qqsp00mr7eyglsxch0cx4kwsrmlfafrhmtsvnj8c4ctsdka6h926shqctm7s3'>nevent1q…m7s3</a><br/>_________________________<br/><br/>this isn&#39;t a joke btw. we could write words in forth that take parameters from the return stack, and doing so turns the forth into an expression language, because you have to invoke everything with the right number of parameters or else it crashes.<br/><br/>e.g. <br/><br/>: plus r&gt; 2r&gt; + &gt;r &gt;r ;<br/><br/>to invoke it i need to pass exactly two parameters on the return stack, e.g.<br/><br/>10 &gt;r 20 &gt;r plus<br/><br/>puts 30 on the return stack. but i can still &#34;nest&#34; these expressions (postfix style) e.g.<br/><br/>10 &gt;r 20 &gt;r plus 30 &gt;r plus 2025-08-21T18:02:39Z https://yabu.me/nevent1qqsp00mr7eyglsxch0cx4kwsrmlfafrhmtsvnj8c4ctsdka6h926shqzyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y2zh6t8a a conventional programming language is just a forth where the return stack is also used for parameter passing 2025-08-21T17:57:32Z https://yabu.me/nevent1qqs2gvfz749te4yze4h5f2gkzat2g4vdfhm4xktq5p0fd7zkelmxkpqzyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y2rka800 &#34;functional programming doesn&#39;t have state or class&#34;<br/>except all its practicioners work in academia or finance 2025-08-16T01:05:22Z https://yabu.me/nevent1qqsda0p7wegjr67xxza3ssxdh0w4dkjxpexhcps6nummx892u8026uczyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y25h3qxg what i want for software: bring back scripting. give users the steering wheel and the levers. make all the functionality discoverable &amp; make it fun to automate.<br/><br/>what tech companies want: hide the steering wheel. hide the levers. hide anything that looks like code. replace everything with a chat interface. 2025-08-10T23:15:09Z https://yabu.me/nevent1qqsw6apmk05mgjcu500x9vju7wtgck8dwl80sy7353uxsaf8c40tjxqzyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y2ctnpw5 In reply to <a href='/nevent1qqsyudv0nq4uaffqyqgy52m8v0mks9y96nsv9pe0cjgl6sg4r60tmlql0vhkq'>nevent1q…vhkq</a><br/>_________________________<br/><br/>uxn also has finite memory so it&#39;s a finite state machine, so uxn is a regular expression; 2025-07-26T16:48:05Z https://yabu.me/nevent1qqsxr46c5tfnlz49zwee4h083y674wtu8f03f68tf0gwgqnfz860uygzyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y2qcmtw2 syntax is when syntax error; semantics is when segmentation fault (core dumped) 2025-07-26T16:42:04Z https://yabu.me/nevent1qqszzq6p0u205fnxklv3y0n5ma0m8jp59905gc8u7hj6557pjqvw9xszyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y2w44r0c Cool monoid alert!<br/><br/>The Kuratowski monoid represents all possible combinations of complement (c) and closure (k) operations on subsets of a topological space. (Note that the interior operation can be given as the composition ckc.) Only 14 possible operations exist.<br/><br/>See: <a href="https://en.wikipedia.org/wiki/Kuratowski%27s_closure-complement_problem">https://en.wikipedia.org/wiki/Kuratowski%27s_closure-complement_problem</a><br/><br/>This diagram is from the paper:<br/>Schwiebert, Ryan (2017). &#34;The radical-annihilator monoid of a ring&#34;. Communications in Algebra. 45 (4): 1601–1617.<br/> <img src="https://193eb646-6077-4968-9f13-271a9b475591.svc.edge.scw.cloud/media_attachments/files/114/887/654/041/866/117/original/b51a3830dbeaf581.png"> <br/> 2025-07-20T21:33:24Z https://yabu.me/nevent1qqszxxfvqvmuxg549gtj58ssfwh830u4kvsg0jgcxn2cjaec04uph0czyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y2mmqkz8 In reply to <a href='/nevent1qqsdr6lku7flneyac7gvhca9zny6s98ssg3ukt93r257pk54e3yvvac80vuuf'>nevent1q…vuuf</a><br/>_________________________<br/><br/>did you know the reason we write yen is because the first japanese-portuguese dictionaries made by missionaries thought the e syllable was ye. to this day the yen is actually pronounced en in japan. anyway. it&#39;s also not called japan. anyway... 2025-06-14T04:40:11Z https://yabu.me/nevent1qqsg5zkskgapgzzptc8fzx4an86lz25pc46fgqldm6y6k43f804pv8qzyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y2lfzh4z In reply to <a href='/nevent1qqsx544z0mpr4s5h28jj40zelsnrtc0sp8nwdj7thkgmcamr8xjq5ugnry8z8'>nevent1q…y8z8</a><br/>_________________________<br/><br/><a href="https://maps.app.goo.gl/seFYdMvSCBDjLP8p7">https://maps.app.goo.gl/seFYdMvSCBDjLP8p7</a> 2025-06-14T04:17:52Z https://yabu.me/nevent1qqs2n2tw9nzhwglwgphgpqk0q9p4kcx5h9pr2te0e6hrfxh0x82d6rczyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y2j8axk2 folks have to stop reading the japanese kyo, ryo, ... as two syllables<br/><br/>it&#39;s not kee-oh-toe, it&#39;s kyo-to 2025-06-14T04:02:40Z https://yabu.me/nevent1qqsgdtnjetpyul7dk554h3e6hz5wga8j0haa27vpmakl79hhl0mtp0gzyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y2n2pdt9 64 bit integers are big integers, right 2025-05-17T17:14:25Z https://yabu.me/nevent1qqsr6fsl5eqyytp4fysk0qq22xma647sumcw5z8julrw0frtfumey9qzyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y2lhsz5y LLM-generated code is shit. don&#39;t use it. don&#39;t accept it. don&#39;t propagate it. definitely don&#39;t generate it.<br/><br/>if the person who submitted code couldn&#39;t be bothered to write it, don&#39;t review it. blanket rejection is not just appropriate &amp; efficient, it&#39;s necessary.<br/><br/>code lives in the minds of its developers, as mental abstractions that provide leverage on the domain. generating code without that mental labor is like building a lever without a fulcrum. 2025-04-29T21:52:57Z https://yabu.me/nevent1qqsppn209ny3v3llw2khs66l80gxz5k5pdjzlusaa7pdjfeyxx5d5mszyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y23nu2c3 consider a binary variable, i.e. a variable which can hold one of two values. what are those values called?<br/><br/>boole: true, false<br/>c programmer: 0, 1<br/>forth programmer: 0, -1<br/>quantum physicist: 1/2, -1/2 2025-04-10T23:55:29Z https://yabu.me/nevent1qqs9ulzawdr5gdlhxe75d4welhhpasgvm2ajk4fjp4907ty3rjlnxdszyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y24desch In reply to <a href='/nevent1qqs2tq8m2qhm0plv3mkv9qt6qzmcqhfdz7m36y674hgs73t2mwzsg4sucr73d'>nevent1q…r73d</a><br/>_________________________<br/><br/>levels of forth --<br/><br/>level 1: stack manipulation words and reverse polish notation<br/><br/>level 1.5: using the return stack for temporary storage<br/><br/>level 2 (dark path): control flow via return stack manipulation<br/><br/>level 2 (light path): control flow via control flow words<br/><br/>level 3: metaprogramming with immediate and postpone<br/><br/>level 3.5 (dark path): immediate words that parse the input buffer<br/><br/>level ∞ (dark path): rolling your own string literal word s&#34; that works in both compiler and interpreter mode 2025-03-13T07:25:19Z https://yabu.me/nevent1qqs2tq8m2qhm0plv3mkv9qt6qzmcqhfdz7m36y674hgs73t2mwzsg4szyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y2yjw320 modality in forth is a bottomless pit of complexity ... it&#39;s funny when forth is treated like the pinnacle of simplicity 2025-03-13T07:14:07Z https://yabu.me/nevent1qqsxzqpr53ptxc5rh7n6cl4cddpfjms6f74mh4wglv8s7rqes4stsuczyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y2nt85m5 In reply to <a href='/nevent1qqs0dek49j0ecfjs3zdvn8hchjp8ytatu7z5cyrnr0rxdgvg28nwlcqsqyz3p'>nevent1q…yz3p</a><br/>_________________________<br/><br/>you need a function to rebuild with a higher bound. <br/><br/>resize :: (m:Nat) -&gt; BVec x n -&gt; BVec x (n+m)<br/>resize m [] = []<br/>resize m (x :: xs) = x :: resize m xs<br/><br/>assuming that + is left-recursive 2025-02-03T17:45:54Z https://yabu.me/nevent1qqspfrczue5xjj735dsscgpdyl2ttlmd45kv0z05al044jjuummgdmqzyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y2tru4lh In reply to <a href='/nevent1qqs2n675eevp5hn4c9umknhujgq0td4zu8cte7vj2fs806nwej5wz0sdnrz2l'>nevent1q…rz2l</a><br/>_________________________<br/><br/>yes<br/><br/>data MyList : Nat -&gt; Type -&gt; Type where<br/> Nil : MyList n x <br/> (::) : x -&gt; MyList n x -&gt; MyList (S n) x 2025-02-03T16:21:51Z https://yabu.me/nevent1qqsrr0fu4w0755ws0anksjvzhnutrsylntkqr92w0mhvz7vfgrfxfpqzyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y2en6q6n division is the most bullshit arithmetic operation<br/><br/>i don&#39;t think most programmers have internalized just how bullshit it is 2025-01-12T21:12:14Z https://yabu.me/nevent1qqs2esf9jpjdqm9kync93nf5ekhzvhyjm6p8pfehwlfawl8fcr8c2tqzyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y2dagw23 Important question for programmers. 2025-01-12T13:06:36Z https://yabu.me/nevent1qqsyzgwx9yvzdayaspwy0m4gmwacav50qdrlu2w9ah38q05nfee3kngzyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y2ur6c22 you, you come into my home? and try to use my programming language??? <br/><br/>that&#39;s really brave of you actually, let me know if you have any questions 2025-01-11T01:57:51Z https://yabu.me/nevent1qqsvfq3cgq7zkl2r27qmdljzl8ltvzefxj30jeuq37hmeul852zam2szyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y245adfj oop is the app-ification of programming languages<br/><br/>(or maybe it&#39;s the other way around ... apps are the oop-ification of programs) 2025-01-01T16:34:49Z https://yabu.me/nevent1qqs0an7t8482l9atdtvjyllj0ll3jcmtm8av2rmdw086f4hhtnnn79szyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y25pyrcl pretending to be a person who isn&#39;t pretending to be another person -- the impostor paradox 2024-12-21T19:43:54Z https://yabu.me/nevent1qqsq0khueksz5kdd6497zgfuwhhfes9r6r6nq77qm78mccajewc483qzyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y20ejr4k In reply to <a href='/nevent1qqst22d9pkke6s3wmsam27jqf6aazpp7cvnn58naff8q9jhnryhgfdcse2eez'>nevent1q…2eez</a><br/>_________________________<br/><br/>hmm i can&#39;t agree wið reddit on this one, i can&#39;t help pronouncing þ as unvoiced 😔 2024-12-18T01:57:39Z https://yabu.me/nevent1qqsxa46uxvhdzauf3rutw9p7ke0perymapdmenmvs0g2xxlw3mfwp2qzyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y2njq7e6 In reply to <a href='/nevent1qqsgvssy0re9c888vk4uvr65s8l9wyraj7jrtd9ck70wdlpf8n3mnrcxpjmdy'>nevent1q…jmdy</a><br/>_________________________<br/><br/>💭 shouldn&#39;t it be &#34;ðe Þinkpad&#34; since the &#34;th&#34; in &#34;the&#34; is voiced 2024-12-18T01:51:02Z https://yabu.me/nevent1qqsgffqnvaehpqhvfg7dhlj6lyn6l8xqkqmug5a54ew2c78w9w7v5yczyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y27muhh8 In reply to <a href='/nevent1qqs2q8kprt9v4hrdrlzrjryk506sf4g4vg5mfrtsxapeakw3csdlcnszmjvmu'>nevent1q…jvmu</a><br/>_________________________<br/><br/>Yep, this is it! And in this case the compiler didn&#39;t really need to use the full 64-bit multiplicative inverse, it could have used just a 32 bit one.<br/> <img src="https://cdn.masto.host/gamedevlgbt/media_attachments/files/113/663/351/018/729/159/original/ad4166d419fa3a69.png"> <br/> 2024-12-16T16:05:57Z https://yabu.me/nevent1qqsxcnlfq866rgv7mgkw66pu3gp0hkgs4ysewqs8d4k98cglwqjmveszyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y2y75yn2 I love how students in Japan who don&#39;t join a school club are said to be part of the &#34;going home&#34; club ( 帰宅部 = きたくぶ ). That&#39;s my club! 2024-11-18T04:58:18Z https://yabu.me/nevent1qqsx4e8ffz04wthwjmva8xae2epphlrzj7gmvs20p5969dfs5n6x2lgzyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y2jdllkg it&#39;s No-vember, it&#39;s time to practice saying No a lot 2024-11-07T12:52:41Z https://yabu.me/nevent1qqsf6an0pnrtswe393s64h0n2w2z667gm5xyu7nf9l4972fwrjwz3ngzyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y2h0j8pe imagine inheriting this mess<br/> <img src="https://cdn.masto.host/gamedevlgbt/media_attachments/files/113/250/463/145/928/331/original/d31511d34699b27e.png"> <br/> 2024-10-04T18:04:14Z https://yabu.me/nevent1qqsy8lxyj8m7evu3damuk6gksyjqrv000r2nv5tss4h2kfldvpc0smgzyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y2zu6jnf Thinking about multi-line string literal syntax where each line starts with a quote character (&#34;), and only the last line has an end quote ... like it&#39;s a fantasy novel and a character is going off on a multi-paragraph monologue.<br/><br/>&#34;hello this<br/>&#34;is a multiline string literal<br/>&#34;and it ends<br/>&#34;on this line&#34;<br/><br/>The purpose of &#34; at the beginning of each line (after the first) is so you can do indentation without affecting the contents. Also each line can be lexed independently. 2024-09-24T16:18:00Z https://yabu.me/nevent1qqsvgqna22t4l7e4ckexwzpees3u602e47famp0mwtqm4s4ejewyvsqzyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y2mgplv6 In reply to <a href='/nevent1qqsdl2n6s673y69pe8guthdyrrgklef60tzvmjdrdlm4u5l6mdkvg9q9qkjgj'>nevent1q…kjgj</a><br/>_________________________<br/><br/>if you do care, ask around. ask how other people in your life feel about immigrants. ask about immigration reform. ask about how one could become a full-fledged citizen in your country, and what percentage of immigrants are completely barred from that.<br/><br/>you will be surprised (for the negative) how many &#34;socially liberal&#34; and &#34;left-leaning&#34; folks really don&#39;t care about immigrants at all. at least the right is explicit about its hatred for immigrants. 2024-09-23T14:22:17Z https://yabu.me/nevent1qqsdl2n6s673y69pe8guthdyrrgklef60tzvmjdrdlm4u5l6mdkvg9qzyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y29wcw4r In reply to <a href='/nevent1qqsy07gm7e97s486pmsr9j6m8fjcj2kjdacwy6qepwqfk7q7t65sd5sh0ql7j'>nevent1q…ql7j</a><br/>_________________________<br/><br/>anyway, my personal history has led me to be very distrustful of the idea behind the word &#34;citizen&#34;, because its primary function is to discriminate against people who were born elsewhere (and whose ancestors were born elsewhere). we should collectively abolish the idea imo. but what can i do. most people don&#39;t give a fuck about immigrants. 2024-09-23T14:09:45Z https://yabu.me/nevent1qqsy07gm7e97s486pmsr9j6m8fjcj2kjdacwy6qepwqfk7q7t65sd5szyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y2h36wvy In reply to <a href='/nevent1qqsvj2j38j05zagnr5524mj4hf9y9ljq7g63457ghehlxu4yaywez9g86452k'>nevent1q…452k</a><br/>_________________________<br/><br/>and these departments are very intersectional, of course. they aren&#39;t limited to one form of discrimination.<br/><br/>personal story time. in early 2013 i had the chance to go to the US to study and I decided not to because it would mean leaving my husband (at the time) behind, because the department of birthplace discrimination did not recognize same-sex marriages. DOMA was struck down later that year, so if I had waited a year I could have made a different choice. 2024-09-23T13:53:48Z https://yabu.me/nevent1qqsvj2j38j05zagnr5524mj4hf9y9ljq7g63457ghehlxu4yaywez9gzyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y23nnw8y In reply to <a href='/nevent1qqstdeyztyex70wnqfjykq8ruadfxve2nz8xle6utzr52wlexceg4agfvvvhq'>nevent1q…vvhq</a><br/>_________________________<br/><br/>If and when universal healthcare comes to the US, it will come with sharp exemptions for women&#39;s reproductive care and trans healthcare.<br/><br/>In fact I&#39;m a little surprised the extremely transphobic states have not already passed some form of universal healthcare. It worked so well in the UK. 2024-09-23T13:39:06Z https://yabu.me/nevent1qqstdeyztyex70wnqfjykq8ruadfxve2nz8xle6utzr52wlexceg4agzyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y2462z4p In reply to <a href='/nevent1qqstwmw0ayum6cvm9qlgqj67a7gf9p6atpk6rtdjcdr7r8z0vaw0yfqsjrd44'>nevent1q…rd44</a><br/>_________________________<br/><br/>New social services are provided only on the condition that they can bolster the types and severity of legitimized discrimination. 2024-09-23T13:35:25Z https://yabu.me/nevent1qqstwmw0ayum6cvm9qlgqj67a7gf9p6atpk6rtdjcdr7r8z0vaw0yfqzyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y2x8d0y6 The primary function of the state is to automate and legitimize discrimination. You have the department of birthplace discrimination, the department of class discrimination, the department of race discrimination, the department of gender discrimination, ... 2024-09-23T13:28:13Z https://yabu.me/nevent1qqszypxvtrd268qy8rmyxzcwyz25u30c8kur4rdxeenkn4s6d46pynqzyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y2nwfcd8 explaining the difficulties of implementing an assembler by pointing out how difficult it is for a youtuber to say an exact timestamp for a video during audio recording of the same video 2024-09-17T14:09:29Z https://yabu.me/nevent1qqs82m39v5yrv3vkjqe76374xvwqlfsnj4sdmljec0kq37ffcjm5ssszyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y2lmymay In reply to <a href='/nevent1qqsqjz724y8e283ytd9z56nk0hafs0fnawk2pyc6frnuwkq077sh9ps450tr9'>nevent1q…0tr9</a><br/>_________________________<br/><br/>&#34;Have you ever engaged in any other activities which might indicate that you may not be considered to be a person of good character?&#34;<br/><br/>Good lord. What a ridiculous question. Pretty sure we get a bunch of questions like this when we go to the US, too, but I don&#39;t remember such a ridiculously vague question on those forms. 2024-09-10T14:33:24Z https://yabu.me/nevent1qqsym4euz8s6k8cpars70uwz0m2x2wcyxygftq97kk9vjkx28fp628szyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y2ae8mfy all software development is language development 🤔 2024-09-09T13:08:52Z https://yabu.me/nevent1qqsqtyrgu67mf5s7tgn43hugvgnf3ljeljjaysz5a6dxhsxlug39cqczyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y2zez8ac &#34;If any requested extension is not supported, vkCreateDevice must return VK_ERROR_EXTENSION_NOT_PRESENT. If any requested feature is not supported, vkCreateDevice must return VK_ERROR_FEATURE_NOT_PRESENT.&#34;<br/><br/>So, uh, what happens if an extension and a feature are both not supported?<br/><br/>Nice specification you got there... 2024-09-07T08:56:09Z https://yabu.me/nevent1qqsqufl45w29eqqqlasvz76q3ujfayc7qtasmlftsx8ml9sg8kuthqszyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y2m9gp70 why are QTs still not a thing :/ 2024-09-02T12:33:18Z https://yabu.me/nevent1qqsx36slzq6cy98tdwthd207wg5up8xatgh7mh2c9252t22aaenljtczyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y2pxtxfr In reply to <a href='/nevent1qqsxnk3tsq8gfjcz5aevwacrg77we0cp6m2rk4rv7mvwycm5duzckdc80d6hu'>nevent1q…d6hu</a><br/>_________________________<br/><br/>is the font supposed to look like this ?<br/> <img src="https://cdn.masto.host/gamedevlgbt/media_attachments/files/113/034/292/420/305/918/original/4c80388dfd3e67fe.png"> <br/> 2024-08-27T13:48:21Z https://yabu.me/nevent1qqswjgv8zjrdhaldfv2kdzkcmr9xlyley9fel5c8n872wwhzkattt0gzyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y24cvu62 here&#39;s some tips for working with people for whom English is not a first language:<br/><br/>1. do not assume their inability to communicate in a form of English that makes you comfortable has any bearing on their intelligence or ability to do the job.<br/>2. do not condescend or get angry if they ask questions.<br/>3. do not use a lot of slang and idioms on purpose to trip them up.<br/>4. do not correct them, you&#39;re not here to teach English, they&#39;re not here to learn English. stay focused on the job. 2024-08-18T03:34:21Z https://yabu.me/nevent1qqsgang9077cszund8zk84vqxgpp7net4zya58qfh5zwdaq2y4f5nzczyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y2xae8u4 In reply to <a href='/nevent1qqs2zluxrzhalw2re2cjq700nf7pt2uj53zr7x4nrdahdp7ve878l5c8zxnv8'>nevent1q…xnv8</a><br/>_________________________<br/><br/>not saying that this is what you&#39;re looking for, but, this reminds me of why i like OTT (observational type theory). it&#39;s an intensional type theory with function extensionality (actually, the type (f = g : A -&gt; B) reduces to (x: A) -&gt; (f x = g x : B) depending on the version of OTT, iirc) and equality is proof irrelevant (and that simplification is part of why OTT works. type coercion is free because equality is based on observational equality and is proof irrelevant). 2024-08-12T02:17:34Z https://yabu.me/nevent1qqsx22a5adrag3kcdkcc998v7gfgenndag537pfmsflun53gmfmrrcqzyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y22lsr63 ok you know what&#39;s wrong with C.<br/><br/>` *foo = v; ` means &#34;store the value v, which is an integer, at the address pointed to by foo&#34;.<br/>` int *foo = v; ` means &#34;declare the pointer foo and give it the initial value v, which is a pointer to an integer&#34;.<br/><br/>these may look almost the same but the meaning is completely different. 2024-08-11T01:25:05Z https://yabu.me/nevent1qqstzmfgjrwtn8ud2jdga3wtmyzr5pyrfeed67zznnmxz6kdu0hn2pszyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y2mlre5p In reply to <a href='/nevent1qqswf0lkuatvdpey269kswryzzx8jfd8x8ruc9q3w47rc76lnp6pmfcreygxv'>nevent1q…ygxv</a><br/>_________________________<br/><br/>other idealistic takes from me:<br/><br/>- if you buy a multiplatform game on one platform, you should be able to play it on other platforms.<br/><br/>- if you buy a &#34;live service&#34; game, it should still be playable after the publisher withdraws support. 2024-08-03T00:42:22Z https://yabu.me/nevent1qqswf0lkuatvdpey269kswryzzx8jfd8x8ruc9q3w47rc76lnp6pmfczyry5n2k2lhur7xjetpx7d0wejwv2sk8c9cvpatt6ncuqv9vntn4y2l5t8ml call me idealistic but<br/>i believe a video game should include its soundtrack<br/>in the base price. 2024-08-03T00:37:27Z