2026-08-28T08:36:08Z https://nostr.ae pat https://nostr.ae/npub122ul8pjgvl8hrjtvxczsypvgk4msuy4l68m69auuhr580usreacsst4gjr https://patpatpat.xyz/snac/pat/s/avatar-d643dbd47e874c85142b596856b26d72.png https://patpatpat.xyz/snac/pat/s/avatar-d643dbd47e874c85142b596856b26d72.png https://nostr.ae/nevent1qqsdelxa63l3n9frdshxdf2zh7usw4e923tseqyxsqaugm3zmnfx9zgzypftnuuxfpnu7uwfdsmq2qs93z6hwrsjhlgl0ghhnjuwsaljq08hz8jtxf9 In reply to <a href='/nevent1qqsqj5pse7ke95lulm9cjseg4s822q7f8dy4kg0llwsu69us6pu6wnsaqalfl'>nevent1q…alfl</a><br/>_________________________<br/><br/>Can I redeem my achievements for monetary and/or spiritual rewards?<br/><br/>Get snacpilled, Emperor of Cabbages, Inner circle (iirc), Godkiller, Look ma&#39; I&#39;m a webdev!, S T R O N G C O N T E M P T (if mothra counts?), Choose life<br/><br/>I think there should be one for migrating to snac, like &#34;Manifest Destiny&#34; or something less/more evil 2026-09-01T11:11:13Z https://nostr.ae/nevent1qqswjpq2g3pcjc6tm6wu766nnx8wua6wlrwy05fqt52ch7ymw5ve0sgzypftnuuxfpnu7uwfdsmq2qs93z6hwrsjhlgl0ghhnjuwsaljq08hzemtq0q (Thinking of text editors) someone should set up a PO Box that you can send handwritten/typewriter&#39;d code to, which is then compiled and run, and the results sent back. Like in the olden days 2026-08-28T08:06:32Z https://nostr.ae/nevent1qqsvq4ve2q9ufllunfx0rg0whqatfzy7ev6ded8w8suslcagp29c6nqzypftnuuxfpnu7uwfdsmq2qs93z6hwrsjhlgl0ghhnjuwsaljq08hzdcl4n3 9front, featuring snac, a German ThinkPad R40, a toy accordion, and other assorted tat<br/><br/>Took a few attempts to burn a DVD that would boot, might be either a USB DVD drive issue or an OpenBSD issue (as it worked when I burned using Debian with a built-in drive)<br/><br/>The BIOS mentions booting from USB, but I think it means booting from an external USB DVD/floppy drive (not a USB stick). It also seems to have wifi, but OpenBSD doesn&#39;t have the drivers so I assume neither does 9front<br/> <img src="https://patpatpat.xyz/snac/pat/s/post-a45940b38cef0ccff71e955f240f625a.jpg"> <br/> 2026-08-23T17:08:48Z https://nostr.ae/nevent1qqstg8u8630v8zcw8hrvw785y9vcprs74l3axfjyfnqjfjylqg4fehqzypftnuuxfpnu7uwfdsmq2qs93z6hwrsjhlgl0ghhnjuwsaljq08hzhv3a7a In reply to <a href='/nevent1qqsft5v759pmmnuczvvukd9hl4su4cs8yfxcl8mxae7amjzvpu6wqjqfx8x0x'>nevent1q…8x0x</a><br/>_________________________<br/><br/>Hehehe, this may be on the podium for the worst way to calculate factorials:fact = (u . R (1+ zero) (u v . (x1 x2 . * ((y1 y2 . 1+ (1/2 y1 y2)) x1 x2) (2/2 x1 x2)) u v) u)&lt;br&gt;<br/><br/>Where 1+ is the successor function, zero is in Church numerals, * is defined in the usual way, 1/2 and 2/2 are projections (i.e., n/m returns the nth argument of an m-ary function)<br/><br/>Note: it takes over a minute to do 4! the way God intended<br/><br/>Note 2: I didn&#39;t just come up with this by hand, Hindley and Seldin&#39;s &#34;Lambda Calculus and Combinators&#34; describe a recursive process to convert primitive recursive functions into lambda calculus terms (but I did have to do the conversion using my hefty noggin)<br/><br/>Note 3: Can be simplified slightly:fact = (u . R one (u v . (x1 x2 . * ((y1 y2 . 1+ y1) x1 x2) x2) u v) u)&lt;br&gt; 2026-08-21T18:53:55Z https://nostr.ae/nevent1qqsft5v759pmmnuczvvukd9hl4su4cs8yfxcl8mxae7amjzvpu6wqjqzypftnuuxfpnu7uwfdsmq2qs93z6hwrsjhlgl0ghhnjuwsaljq08hzvl8mkv Aha, I *think* I may have fixed my reduction problem with <a href="https://patpatpat.xyz/data/lambda/">https://patpatpat.xyz/data/lambda/</a><br/><br/>It was getting stuck when attempting to use the Y combinator. In particular, you can derive the R combinator as a fixed-point using Y, which should still satisfy R A B 0 = A and R A B n = B n-1 (R A B n-1)<br/><br/>Before it was recursively reducing every sub-term until each one reached normal form, but now only the top term is reduced until normal form<br/><br/>Not quite sure why this worked (perhaps I was assuming something about how child reductions affect the parent?), but it seems to work with my primitive.lambda file (which implements primitive recursive functions in lambda calculus) 2026-08-21T17:25:48Z https://nostr.ae/nevent1qqs8exstmlqy630yewz9qf2dv9ete5lcq83a4c6h5azdty8wfpe6spczypftnuuxfpnu7uwfdsmq2qs93z6hwrsjhlgl0ghhnjuwsaljq08hzf2jv08 Love #snac<br/><br/>I kept fat-thumbing when trying to open content warning&#39;d/hidden posts on me phone...but I realised I can just edit the style.css to add a bigger margin. I should probably check out some of the proper stylesheets people have made (but there is something very rad about the default theme)<br/> <img src="https://patpatpat.xyz/snac/pat/s/post-c902a3bec55ba4fe780e4bc959351169.png"> <br/> 2026-08-20T18:32:51Z https://nostr.ae/nevent1qqsy9tj9fe3yvh5wjdkf5dqnk3l4ndpatfzm2r5tzrjvh82udcdv3zgzypftnuuxfpnu7uwfdsmq2qs93z6hwrsjhlgl0ghhnjuwsaljq08hzdnlpsp In reply to <a href='/nevent1qqsfzx9esaj2dmppgrj45hjdjk2n9y93l04yl824fsc6406e8r0z69gjntph0'>nevent1q…tph0</a><br/>_________________________<br/><br/>That is a highly believable conspiracy. Ah I&#39;ve not encountered that pop-up yet (I almost never look on Reddit), I assume it is waiting for the perfect moment to strike... 2026-08-20T13:16:09Z https://nostr.ae/nevent1qqsfgv02vwvs3l8f3247c6qnzz2djxmhe5r4s69vqapl6zhsx9xcvnqzypftnuuxfpnu7uwfdsmq2qs93z6hwrsjhlgl0ghhnjuwsaljq08hzky8dhl In reply to <a href='/nevent1qqsr9c0nkearr9xlq6lu4dwz7qmlp2jrpm8gd4vs7770yy6kj23ae6gluv44n'>nevent1q…v44n</a><br/>_________________________<br/><br/>This annoyed me. I&#39;ve been using the Old Reddit Redirect extension since forever, so it was a bit of a shock to see how utterly awful &#34;New&#34; Reddit is. It makes random words into hyperlinks, but they just link to the shitty AI thing. Why?!? 2026-08-20T10:55:03Z https://nostr.ae/nevent1qqsfp5yc9d2386hdtmn7afqxlm6p87hnntzztx4nktzhpywpjwhlxeczypftnuuxfpnu7uwfdsmq2qs93z6hwrsjhlgl0ghhnjuwsaljq08hzrzze9v I got my degree from a ballerina school, it was a 2:2 2026-08-07T09:23:06Z https://nostr.ae/nevent1qqsy9t364ayk6f4wp09t2qx00m9hkg9n7km2su7vqmkq0tkdqp4advczypftnuuxfpnu7uwfdsmq2qs93z6hwrsjhlgl0ghhnjuwsaljq08hzaac98j Proof left as a punishment for the reader... 2026-07-13T15:37:39Z https://nostr.ae/nevent1qqstkv6hecprxmjszfh7hmwkyqrw3r03ttz4g3swgxprjmk3lp32jeqzypftnuuxfpnu7uwfdsmq2qs93z6hwrsjhlgl0ghhnjuwsaljq08hzkkn7nh In reply to <a href='/nevent1qqsp0mdkhrt5gvxletcjxuck8tqz760ukc20jn0sx486t76uwhr7ptqf8t0mk'>nevent1q…t0mk</a><br/>_________________________<br/><br/>I&#39;ve definitely read books that I&#39;ve hated, and immediately forgotten. So at least its not one of those haha<br/><br/>I really like that sort of ye-olde, matter-of-fact style. Its direct and efficient. I&#39;d like to be able to write like that (my poetry is, but my prose gets too flowery/verbose)<br/><br/>Is the Monomoke one like Beren &amp; Luthien? (I need to watch Monomoke again!) 2026-04-25T17:28:30Z https://nostr.ae/nevent1qqszp6p79yfzk6ur4qspyw0qckfstew54n6z684y0508e3aa284dyjczypftnuuxfpnu7uwfdsmq2qs93z6hwrsjhlgl0ghhnjuwsaljq08hzt2h5rs The Silmarillion is fantastic, surprisingly readable too (there are quite a few characters, but each story only involves a few key ones). The geography is the hard bit imo<br/><br/>I may even have enjoyed it more than The Hobbit and LOTR (don&#39;t quote me on that)<br/><br/>I&#39;ve built up this mental image of Beleriand, which is utterly useless (i.e., has no relevance to other Tolkien stories)<br/><br/>The way all the histories/lineages/geographies compound on eachother is incredible. Everything echoes, and those echoes are embodied in the societies and physical landscapes 2026-04-25T16:08:33Z https://nostr.ae/nevent1qqsg9gj39fqqlf8fj7s78w7ulzrgk575sqtxjtkqz46vhcaapp3zplczypftnuuxfpnu7uwfdsmq2qs93z6hwrsjhlgl0ghhnjuwsaljq08hzry594e In reply to <a href='/nevent1qqsp94vxvfckx4zkcwkfx8s9z4rtjxart24jshv28927j9ua9ut5v5clccrum'>nevent1q…crum</a><br/>_________________________<br/><br/>I love these combinator names, next step is to draw cute pictures of each one ;)<br/><br/>(You&#39;ve probably seen this already, but...) these lambda calculus ones are especially cute: <a href="https://dkeenan.com/Lambda/">https://dkeenan.com/Lambda/</a> 2026-04-14T16:06:59Z https://nostr.ae/nevent1qqsgxzt5sv6k7mhp7ts5pz0cydfe2npeexz5clvttx2un7grh3855hszypftnuuxfpnu7uwfdsmq2qs93z6hwrsjhlgl0ghhnjuwsaljq08hzrzca5d In reply to <a href='/nevent1qqsqgujg5r6fufv05yl3emsdmn94rcwy87mpp7lkjdjahsysl04sq3qht3uku'>nevent1q…3uku</a><br/>_________________________<br/><br/>Ah yeah that makes sense, it feels a lot more intuitive that way<br/><br/>Ooh I didn&#39;t even think about optimisations. Do you mean that x^10 &#39;y/x would become y^10/x^10? (i.e., from an anonymous label draining x, to a fraction producing y^10)<br/><br/>Its crazy that &#34;optimising a program&#34; could just be &#34;simplifying fractions&#34; 2026-04-08T16:36:16Z https://nostr.ae/nevent1qqsdv9xy8y2d4f45fwx9vr4pnuznmeu0ddtcmh7qwdhd6jd2yyc7pxczypftnuuxfpnu7uwfdsmq2qs93z6hwrsjhlgl0ghhnjuwsaljq08hztm9sdx In reply to <a href='/nevent1qqs23tlhfxn59aua9q90cn48jmn7u43kyy75m5k97ggwewgcgavq6qq806ccx'>nevent1q…6ccx</a><br/>_________________________<br/><br/>hehehe, a text-based adventure game is theoretically possible. I added a naive &#34;?&#34; command to get a line of input (its then split into words, and those words are put into the bag)<br/><br/>I think user input will be fiddly though, because its essentially giving the user a REPL with unlimited access to the program. Perhaps limiting the input to a specific subset of words would work, like ?[look take quit]<br/> <img src="https://patpatpat.xyz/snac/pat/s/post-cef560941cf2e8f5491e854486dda198.png"> <br/> <img src="https://patpatpat.xyz/snac/pat/s/post-da45bbae4ff0f6781f8e0a6a8a4cb6ce.png"> <br/> 2026-04-07T23:01:44Z https://nostr.ae/nevent1qqs23tlhfxn59aua9q90cn48jmn7u43kyy75m5k97ggwewgcgavq6qqzypftnuuxfpnu7uwfdsmq2qs93z6hwrsjhlgl0ghhnjuwsaljq08hzqj5yu9 I implemented <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> &#39;s Rejoice, in Perl for some reason :)<br/><br/>This was attempt like 3? I vaguely remember reading a Moore quote about &#34;writing, rewriting, and rewriting again&#34;. I follow that advice religiously<br/><br/>I absolutely hate writing parsers, and yet invariably end up having to write a parser. This is probably the best one I&#39;ve done but its still a bit of a mess!<br/><br/>The only difference I can spot between my implementation and the UXN one is that mine can&#39;t differentiate between [x x x] and x^3 (it always uses the latter). This means that things like [ .x .x .x ] will only print a single x (I&#39;m not sure what the intended behaviour is for that case anyway tbh?)<br/><br/><a href="https://patpatpat.xyz/data/rejoice.pl/">https://patpatpat.xyz/data/rejoice.pl/</a> 2026-04-07T20:33:42Z https://nostr.ae/nevent1qqsvcncfm4lghlv9n48uga4akwsxt9xtumhdvttzul5trsaagm8378gzypftnuuxfpnu7uwfdsmq2qs93z6hwrsjhlgl0ghhnjuwsaljq08hzv79g3x In reply to <a href='/nevent1qqsw788rr99hwdf3exxa8lav7uc0rze486qjsf6r3kep8run43t0paghadj00'>nevent1q…dj00</a><br/>_________________________<br/><br/>It seems like there is an element of coding-style involved too? A lot of the FORTH/Uxn code I&#39;ve seen splits lines up quite deliberately, which I imagine helps the author understand what&#39;s going on<br/><br/>There&#39;s probably no &#34;one-size-fits-all&#34; style guide though? 2026-03-22T18:29:41Z https://nostr.ae/nevent1qqsptg50dxf7gyvqqf9pgyhfm94nfes0wsnzr8t29z9uta2myldp9jczypftnuuxfpnu7uwfdsmq2qs93z6hwrsjhlgl0ghhnjuwsaljq08hzux5knc I assume at some point I&#39;ll be able to write FORTH without stack annotations after every instruction, but its not today...<br/><br/>(Reminds me of how tricky it was to get used to parentheses in Lisps) 2026-03-22T17:57:22Z