2026-04-19T01:35:45Z https://yabu.me mei https://yabu.me/npub1zfhhe9kc24jlljek295nz797s6t6kfle9nr57umk2sgg452m2c5q86rv57 https://asdf.donotsta.re/media/07e3040b84a46e011abefdcf56f43ff49fc180314d3d2ffd56487d40fc1213f6.png https://asdf.donotsta.re/media/07e3040b84a46e011abefdcf56f43ff49fc180314d3d2ffd56487d40fc1213f6.png https://yabu.me/nevent1qqswx34m49mke26j35plynznvyt6mcx4kwpyhslvfalau5ddcxp7hvqzyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzs99qqam In reply to <a href='/nevent1qqspsd4et95knyhusmedun3n9uzm2g3j2ps5vu86n4p7r8emjgvd6sgtl9cr6'>nevent1q…9cr6</a><br/>_________________________<br/><br/>time to go for a walk around the codebase, looking for ways to reduce the code size? 2026-02-26T20:43:59Z https://yabu.me/nevent1qqs9lg8jz4kj7hnlgpd89l5lzd0y5wz8hksem28cgtjwhzn877s8k2szyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzstanr6y so i wanted to learn some category theory. <br/> <br/>opened up a textbook on one side, agda on the other, and started trying to formalize the concepts and proofs <br/> <br/>but i hit a bug in how agda&#39;s pretty printer behaves. one i couldn&#39;t easily work around <br/> <br/>so i decided i&#39;ll finally start contributing to agda and try to fix it myself <br/> <br/>started poking around, accidentally figured out a different bug that I previously thought wasn&#39;t worth looking into <br/> <br/>but okay, gonna keep digging into the bug that actually led me down this path. <br/> <br/>soon i found myself wanting to take a look at how agda&#39;s AST looks in practice in one specific case, only to find that there isn&#39;t really a way to do that, because haskell&#39;s Show prints way too much information, all in one line, filling the entire terminal screen with mostly irrelevant info <br/> <br/>so i did the natural thing and started writing a pretty printer for this purpose <br/> <br/>eventually i got annoyed that each time i compiled agda, it would spend a good 30 seconds doing some kind of build system bookkeeping <br/> <br/>like, i measured. a build with the entire cache fresh already would take 30 fucking seconds <br/> <br/>as 30 seconds is enough time for me to start scrolling through fedi, i decided i need to look into this <br/> <br/>so i started poking around the surprisingly complex makefile, learning more than i ever wanted to know about make <br/> <br/>finally found the culprit: in a maze of includes, recursive make invocations and variable expansion, various variations of stack --dest-dir would get called like. way too many times during the build. and each of those would take 750ms to initialize, print the path to the build directory and exit <br/> <br/>*sigh*, okay. i guess i&#39;ll need to optimize the makefile a bit <br/> <br/>managed to get it down to 10s for a do-nothing build. scoured the internet looking for a feature of make that would be useful to bring it down further <br/> <br/>didn&#39;t find it. as far as i can tell, &#34;expand lazily, but then cache it&#34; is not a behavior that&#39;s available in gnu make, despite the absolute abundance of features they added on top of what posix specifies <br/> <br/>now, thankfully i know better than to attempt upstreaming a feature into gnu make. and anyway, in this case the good folks at stack overflow gave me a hint on what absolute crimes i could commit in that makefile to make it go faster <br/> <br/>but while i was contemplating my plan, i wondered: why does stack take 750ms to print a path in the first place? <br/> <br/>after execsnoop and strace didn&#39;t give me any hints, i decided to try using the linux profiler &#34;perf&#34;, which i&#39;m sure you know is a master class in UX design <br/> <br/>(it is not) <br/> <br/>so i open the &#34;perf report&#34; and see a bunch of addresses for which i don&#39;t have debuginfo. suspiciously small addresses too, like 0x5ddc <br/> <br/>i start to notice the feeling of despair creeping up on me, but decide to persevere for at least a little bit more <br/> <br/>i choose the hottest sample on the report and select &#34;Annotate 00...005ddc&#34; <br/> <br/>now, i want you to consider that what i saw next was enough to get me to write out this entire rant. take a moment to internalize that. <br/> <br/>what batshit insane assembly did i see? what could possibly have been this upsetting? <br/> <br/>&#34;Press &#39;h&#39; for help on key bindings&#34;, it said. followed immediately by &#34;erf: Segmentation fault&#34;, that&#39;s right, erf, without the p. <br/> <br/>then came a backtrace. one that listed the function name for each stack frame, as well as the source code file in which it were defined. <br/> <br/>but the line number of all these entries is fucking 0 for some reason, as if to mock me <br/> <br/>like, it&#39;s not like i cared at this point where exactly the segfault happened, because even i do have my limits <br/> <br/>but the computer apparently decided to find one more place in which it could subtly signal that there&#39;s a nugget of insanity lurking within, to really get that eye twitchin&#39; <br/> <br/>and all i wanted was to learn some category theory 2026-02-21T21:09:37Z https://yabu.me/nevent1qqsfdcltv28x98ngvhfc397jggwejwlzuc7z2n65zva9hyaax6qjjeqzyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzsuftev8 In reply to <a href='/nevent1qqsyfdupz4vcghdm7eeq40v9fus86hxp3pquejnjajdq4g552xln0cspp9qlk'>nevent1q…9qlk</a><br/>_________________________<br/><br/>just noticed this, can&#39;t seem to find you going over the rest of the schematic, though 2026-02-13T21:14:42Z https://yabu.me/nevent1qqsyxq6qyl0wcq82p62hdgsku8xy68fyg5dcc5h9rqdtl0ghyqkvp4szyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzss45cpx In reply to <a href='/nevent1qqst9vgq43z2p29ll0rr6afxszeuql30ypl28cjxys8emmvrdv8cafgsl525t'>nevent1q…525t</a><br/>_________________________<br/><br/>okay this seems to have gotten it working for now <br/> <br/>``` <br/># pets: destfile=/etc/xdg/nix/nix.conf <br/># pets: package=nix <br/># pets: post=systemctl enable nix-daemon <br/> <br/>extra-experimental-features = nix-command flakes <br/>``` 2026-02-12T14:53:09Z https://yabu.me/nevent1qqst9vgq43z2p29ll0rr6afxszeuql30ypl28cjxys8emmvrdv8cafgzyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzstvme45 In reply to <a href='/nevent1qqs8333vsg57r54al0s2ua9zdelhzc0r4mc836ahff4mk5yc3456sdgkmlfyd'>nevent1q…lfyd</a><br/>_________________________<br/><br/>`error: creating directory &#39;/nix/store&#39;: Permission denied` <br/> <br/>hm maybe i need to do a bit more than just `pacman -S nix` 2026-02-12T14:49:41Z https://yabu.me/nevent1qqs8333vsg57r54al0s2ua9zdelhzc0r4mc836ahff4mk5yc3456sdgzyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzsqf0srp In reply to <a href='/nevent1qqstzx24hedy3vafanqn9h0k2as4xkjn0czuml7e55qh706p3g20xqs3sc0su'>nevent1q…c0su</a><br/>_________________________<br/><br/>current status: `error: experimental Nix feature &#39;nix-command&#39; is disabled; add &#39;--extra-experimental-features nix-command&#39; to enable it` <br/> <br/>amazing UX 2026-02-12T14:45:01Z https://yabu.me/nevent1qqstzx24hedy3vafanqn9h0k2as4xkjn0czuml7e55qh706p3g20xqszyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzszzfawy current status: fighting ghcup, cabal and stack. slowly realizing just how spoiled i am, being used to rust&#39;s cargo <br/> <br/>maybe i should install nix. surely that&#39;ll solve all my problems 2026-02-12T14:38:25Z https://yabu.me/nevent1qqs29fyjgz0055mfrz0uwge0ha6cx4vnwndzd5wc8k36gcdhc86f3uczyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzsm4cmh7 In reply to <a href='/nevent1qqszn3zjslhnlyr4ak96tqykyefr848xfe7kpg8qdyk652zhudny6ncg5nv7f'>nevent1q…nv7f</a><br/>_________________________<br/><br/>well I&#39;d say that this isn&#39;t necessarily a question of whether it will work, but *how much work it will involve* ;3 2026-01-29T21:47:01Z https://yabu.me/nevent1qqsgvflf5ndf7nmajt5jgvrmgc6xzc4tz7nx608fa5wqafva9rp0ppqzyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzsjd08np In reply to <a href='/nevent1qqs92wqmg0pvtp00yphkgv8r9qwmzuj4v7lq9f95gq8z3fghjvcrvggc3yu40'>nevent1q…yu40</a><br/>_________________________<br/><br/>okay, concept: version that works with the vanilla client but only the one from before the log4j vuln was patched 2026-01-29T21:15:34Z https://yabu.me/nevent1qqsz0j9jz22zd0rwsaa2uffmzpntasplws4smdumvjyqjekdt80rmhgzyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzs3ryuu6 In reply to <a href='/nevent1qqs2wuhe52hk96p9hhjl64jzvk4w2vry8jxsvwy74nc2l0xyrypw0hqevqwhm'>nevent1q…qwhm</a><br/>_________________________<br/><br/>ohh, that&#39;s what they mean... <br/> <br/>for some reason I just parsed it as &#34;multiplayer-capable&#34;, but mods that don&#39;t work in multiplayer are *very* rare if they exist at all ever since 1.3, so as I&#39;m realizing, what I thought they meant doesn&#39;t make much sense 2026-01-29T21:03:34Z https://yabu.me/nevent1qqs8k4cl6p4xt4t8xmmhrv76f203wz0nn8fm4qcvaq73jtuan5pvz6qzyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzswdsfzp In reply to <a href='/nevent1qqsxdr0s6lt90mj2ams8tfpwqh9lu0jfdkutx8kr0pcp8xhcykw2q6sudrfeg'>nevent1q…rfeg</a><br/>_________________________<br/><br/>wait, why would it be impossible? what&#39;s the core difficulty? 2026-01-29T20:59:00Z https://yabu.me/nevent1qqsx7n9xmtm024cqyrt5mm7ngu4ypynehxzy22x9gt445g9jeczaa4czyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzspa984r In reply to <a href='/nevent1qqspz3h2ncjnm4yha5cjw4rpl37wrtnnhwaaxxy7eqne96907cehu7cz70y6e'>nevent1q…0y6e</a><br/>_________________________<br/><br/>looks like pmOS has a code of conduct team. if you&#39;ve reported the raids and the community members behind the raids haven&#39;t received any repercussions, I would definitely start mentally putting pmOS in the &#34;best stay away&#34; category 2026-01-10T02:07:02Z https://yabu.me/nevent1qqsxzk92ercckfq9z2qu8q4vytt27tj98w86cpzqx9g3javmlc0n3vqzyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzsjgxgjc In reply to <a href='/nevent1qqsyvslhzcxslra3gw7qw86upm27hqqw6lx9slxq5r90nyunutdjzqssh2gec'>nevent1q…2gec</a><br/>_________________________<br/><br/>i am familiar with Rossmann&#39;s video. I watched it while I was a GrapheneOS user and didn&#39;t find it damning enough to take any particular action. I&#39;ve since forgotten what it was about apart from the fact that some kind of DM screenshots were involved. <br/> <br/>I&#39;ve since become aware of Rossmann&#39;s activity on KiwiFarms. this is enough for me to definitively discount that video&#39;s claims. <br/> <br/>have the pmOS developers actively participated in the campaign, or did they just, like, acknowledge the video&#39;s existence? 2026-01-10T01:23:12Z https://yabu.me/nevent1qqstcpedzzahm7vp9m3tpnnqhq9lpwvqtyu87c820y07u9v04ceqqpszyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzsnympdr In reply to <a href='/nevent1qqsxt34kmed7l99rfmm52awnv2nfawmkq8sp3q4wj0rls7a5huwshgcc8ryv6'>nevent1q…ryv6</a><br/>_________________________<br/><br/>can i have a link to something concrete, about the whole thing pmOS &amp; GNOME developers participating in harassment? 2026-01-10T01:11:45Z https://yabu.me/nevent1qqs8449kskjklma4a9fk54g0tttv7gflzenla0vf907xmw7uhmf3nxszyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzsq5kn47 In reply to <a href='/nevent1qqsxxzqwp9lv4r9tq4jrdwdfjnrtc545nzj3e9sr2caa23u6nurymcq07mt2z'>nevent1q…mt2z</a><br/>_________________________<br/><br/>yup, i think that is the core of the issue. you&#39;re eager to defend yourself, but often this comes with making accusations towards others. if you keep doing that again and again without backing up your claims with anything, it&#39;ll be difficult for people to see this in a good light <br/> <br/>[untagging elly as she seems to have asked for that at some point?] 2026-01-10T00:57:15Z https://yabu.me/nevent1qqsr8x69d7gh4j22qelefrjlumdr7kans7uaet7dak669hgvv044m6szyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzsucs2vm trip back from #39c3 is going... well. <br/> <br/>plan is: four REs in Germany, cross the border in Szczecin, take a PKP IC night connection to where we need to go. <br/> <br/>the german portion goes flawlessly. &#34;well, that went smoothly&#34;, we think, discounting the possibility that anything could go wrong in the one train that remains. <br/> <br/>we board the train and find our wagon. &#34;wasn&#39;t there supposed to be compartments?&#34; <br/> <br/>turns out the wagon type is different from timetable. most people&#39;s reservations don&#39;t correspond to any seats. the wagon actually present has a lot of the space filled with bike racks and vending machines, so the capacity is much smaller than planned. <br/> <br/>every travel party boarding carries out the same conversation again: &#34;wait, where are our seats&#34; <br/> <br/>we can hear train staff responding to irate passengers: &#34;please give me a moment, I only joined one stop ago. I&#39;m trying to figure out seating for everyone but it&#39;s gonna take some time&#34; <br/> <br/>turns out, there is an extra spare wagon with noone booked in it. so, just tell the people without seats to go there, right? <br/> <br/>wrong. <br/> <br/>the train is composed of two parts, and is scheduled to split in Poznań to continue to two different destinations. the extra capacity is not in the right part for this to work. <br/> <br/>so, they go to the wagon at the centre of the train, and reinterpret_cast it from one destination to another. they announce: &#34;everyone going to Warsaw please move to car number [whatever] at the end of the train, it&#39;s all empty so you&#39;ll be able to find seats. this car will actually be going to Przemyśl&#34; <br/> <br/>then they go to the wagon without enough seats, and tell everyone without matching seat reservations to move to car [whatever2]. <br/> <br/>you know, once everyone whose seat didn&#39;t exist has already figured something out. <br/> <br/>so the train goes back into chaos for a good bit. but the Hilbert Hotel maneuver is carried out successfully, and eventually we arrive in Poznań. <br/> <br/>they begin the shunting by splitting our train in two. this happens just as one of the passengers wants to go to the other section, because that&#39;s where her family is. <br/> <br/>we start explaining to the elderly confused passenger what exactly is going down, and that once they finish the shunting, she&#39;s gonna need to go back to the other platform. <br/> <br/>the staff announces: &#34;anybody else going to Warsaw or the like? this is the part that goes to Przemyśl! I don&#39;t wanna hear any crying later!&#34;. a couple more people realize &#34;oh shit, i&#39;m in the wrong part of the train&#34;. <br/> <br/>everyone starts speaking up: &#34;i&#39;m going to Kraków, am I in the right part of the train?&#34; &#34;yes, you&#39;re in the right one&#34; &#34;what about Rzeszów?&#34; &#34;what about Wrocław?&#34; <br/> <br/>before we left Poznań, the train staff could be seen discussing with a passenger on the platform. I don&#39;t know what they talked about, but it involved shrugging in rapid succession. <br/> <br/>maybe I should start carrying emergency popcorn on my train trips... 2025-12-31T01:09:41Z https://yabu.me/nevent1qqswxckpnavtnyr6j75amckrw9wn76ke7kn8v6sslqwkzxyceecpqkqzyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzs4v2yrc In reply to <a href='/nevent1qqspu4tjwxzu6n9faztkxlr5z55zvl2qj3l2d0qezhyfzz7f40akwhgw72q75'>nevent1q…2q75</a><br/>_________________________<br/><br/>will the FPGA configuration pins be accessible to the CPU? 2025-11-14T01:33:42Z https://yabu.me/nevent1qqs99fxfp4npuu34r9lqldjkgh926mm078emezx8zgmnmuuyuu94fygzyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzsxz43gx containers, amirite<br/> <img src="https://asdf.donotsta.re/media/96a4820db97af04fe5da7cdf619d866e1af6dc55ecc8081cf913fc955c938405.png"> <br/> 2025-10-23T03:10:04Z https://yabu.me/nevent1qqsdq5mfgk0dqkj8t42fn4k73yepvj30fgztf3msxzsj3l5vrzc5kvqzyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzstnu606 sometimes, playing with proof assistants feels like getting astrally projected into the platonic heaven. othertimes however, it&#39;s like a dubious BDSM scene with the devil of abstract symbolic manipulation holding the whip. according to the prophecy, whoever first figures out how to make a proof assistant that only contains one without the other will be awarded a Fields&#39; medal and a prize to the amount of 53 pounds (this used to be a lot but inflation has ravaged the world since the problem was stated) 2025-10-10T22:21:29Z https://yabu.me/nevent1qqsp26xg45au5h35xng23yun07n8l5axytfqxyzu6k4n9tjdt6xckjgzyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzs0gl3am In reply to <a href='/nevent1qqs85ryq6r64r7fd3cxtjqz7xrhgulute5ar99k0wgccvcxl4h4k94clxcqlv'>nevent1q…cqlv</a><br/>_________________________<br/><br/>well, i&#39;d hope that it does end up being a polyamory anime rather than a harem anime... do report back where it measures on the &#34;incredibly queer&#34; to &#34;insufferably cishet&#34; scale 2025-08-11T00:37:04Z https://yabu.me/nevent1qqsxfd0nqarwtcs5cx7ee0ptpddjgdth0uulltad6h3nykgpk8xnskczyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzshkyzx6 so, where will we get the next generation of programmers who are actually passionate about their craft, if all the mainstream outlets are trying their best to convince everyone that LLMs are where it&#39;s at? 2025-08-06T16:57:37Z https://yabu.me/nevent1qqsp93vayp8452eefsguqh3wg5rmy2w04wkvve9v7ktu6tgrmz9xarszyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzs9s9qpf In reply to <a href='/nevent1qqsg4lrpuk5xttnff7at3u2afmfhwzajzsjjaxu0e054mycdc6v6jrqp3vsgf'>nevent1q…vsgf</a><br/>_________________________<br/><br/>considering that the passport is issued by the state, the owner of the passport will probably have no freedom in what software is running on it regardless 2025-07-08T12:50:54Z https://yabu.me/nevent1qqsw8vlry6xstt7ar2y9rf8m6g8y0962006jmw0var5uyglxyallp4czyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzsz8wfr5 type of guy that objects to border control because the smartcard within his passport is running proprietary software 2025-07-08T12:08:15Z https://yabu.me/nevent1qqst685vhny4u9rl6rxs928jv56e03pamd6mp54zuv58xmeuvmpuylqzyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzs6jzvfz In reply to <a href='/nevent1qqsffwk2v4hvpkkedzf5wm94p9tap5s7gq3feykw5uqy6xa85efgedclnh7r9'>nevent1q…h7r9</a><br/>_________________________<br/><br/>usually TOCTOU means that the attacker has the capability to change the thing you&#39;re checking. here it doesn&#39;t change, you&#39;re just unknowingly looking at it differently 2025-07-02T19:40:49Z https://yabu.me/nevent1qqsvqgytjnsyv69pvsqcd8cq7ga62jwhlw9f8ncf87fse0g6t8zjtuszyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzsl8m3p9 In reply to <a href='/nevent1qqsqr6nyawgwedfjyeqtm9ezhse0920lwjx0w03ktfgthteq3wtqpagp84s8g'>nevent1q…4s8g</a><br/>_________________________<br/><br/>not sure if it&#39;d call this TOCTOU — it&#39;s more like a parser differential <br/> <br/>(yeah I&#39;m probably overthinking your joke...) 2025-07-02T18:53:25Z https://yabu.me/nevent1qqswylhxhqld6wuz4q0t8xdl3j6pmerhkhnwzkgrljh8wsxgstnrergzyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzs7lp9he In reply to <a href='/nevent1qqsfr96e69rxcd5eg2zlqlqk2tp6fugvxqpadz0gq6fvqk6qqe9kyusru2fvg'>nevent1q…2fvg</a><br/>_________________________<br/><br/>looks like a full adder 2025-06-26T22:47:52Z https://yabu.me/nevent1qqsw274cv03cg4xufwahj7fufdl5mwlcw02pns3xyhymt9a3h879uugzyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzs38666d In reply to <a href='/nevent1qqs0l8puj89qpev73xf9zave3vagdmg8svwz0u55269vgtzza5lzkts20stcg'>nevent1q…stcg</a><br/>_________________________<br/><br/>oh, but they&#39;re so beloved by the libertarians!! 2025-06-23T15:38:41Z https://yabu.me/nevent1qqsxc0gl909zlfkymyzgv98ygmkd4jxxemfv2g0sd0g3phu3wx5q8cszyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzssp8uyt In reply to <a href='/nevent1qqszu9cw9ey885luhtdwjyhezq3asy9djqu0a6wz8f948h9mqw0y9yghjndmm'>nevent1q…ndmm</a><br/>_________________________<br/><br/>okay, this is basically catnip, I want one. 2025-06-05T17:15:27Z https://yabu.me/nevent1qqs0qscnul0303ut8x5ufy5zennc9qq2lwvt33f7hk5zny6la8vamxszyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzs4kp4ll there are, predominantly, three types of software: <br/>- software written by people who do not take pride in their work, due to which the software is full of bugs <br/>- software written by people who do take pride in their work, and have thusly burnt out, due to which the software is full of unfinished and/or missing features <br/>- software written by people who are paid big money by investors, due to which the software is full of dark patterns and antifeatures <br/> <br/>the art of using a computer involves learning to identify which of the above types a given piece of software belongs to, and choosing the software you use based on this tradeoff. 2025-06-01T01:43:26Z https://yabu.me/nevent1qqszzhayz2jsl5wwdcl4xed3k9n2jylwydt6uwdm3uz76vyughjmeegzyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzslnusyk PSA: Evan Chen&#39;s &#34;Infinitely Large Napkin&#34; has gotta be one of the most important math books out there. It makes higher math incredibly accessible. <br/> <br/>I can&#39;t overstate how much it enabled me to do things that would otherwise only be reachable through years of studying pure mathematics at university. <br/> <br/><a href="https://web.evanchen.cc/napkin.html">https://web.evanchen.cc/napkin.html</a> <br/> <br/>&gt; The Napkin project is a personal exposition project of mine aimed at making higher math accessible to high school students. The philosophy is stated in the preamble: <br/>&gt; <br/>&gt; I’ll be eating a quick lunch with some friends of mine who are still in high school. They’ll ask me what I’ve been up to the last few weeks, and I’ll tell them that I’ve been learning category theory. They’ll ask me what category theory is about. I tell them it’s about abstracting things by looking at just the structure-preserving morphisms between them, rather than the objects themselves. I’ll try to give them the standard example Gp, but then I’ll realize that they don’t know what a homomorphism is. So then I’ll start trying to explain what a homomorphism is, but then I’ll remember that they haven’t learned what a group is. So then I’ll start trying to explain what a group is, but by the time I finish writing the group axioms on my napkin, they’ve already forgotten why I was talking about groups in the first place. And then it’s 1PM, people need to go places, and I can’t help but think: <br/>&gt; <br/>&gt; &gt; Man, if I had forty hours instead of forty minutes, I bet I could actually have explained this all. <br/>&gt; <br/>&gt; This book is my attempt at those forty hours. 2025-05-20T15:41:48Z https://yabu.me/nevent1qqsyxv9rgrayr5wdx7hsg4r96my5fefx7eyvnczqunh3ydvys28r66szyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzsavztvp In reply to <a href='/nevent1qqsgg056ls4nkuu2vx3gnq4hqnefaj4wj6pan04hntr4zcv0qjgjx8g2ymtwf'>nevent1q…mtwf</a><br/>_________________________<br/><br/>wait, isn&#39;t %u already an existing specifier? i thought they need to be like, a prefix code 2025-05-07T01:36:28Z https://yabu.me/nevent1qqsqvz8dp3k23aa0fglj7zwux9w45h3xw7gjrah0agn7kwqc724fedgzyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzs05vlh6 In reply to <a href='/nevent1qqsq09c0s2kqu3adxlytj62d2ssgzq8a2zd5pfm9r3yfkpzs772lf5qe0uwy2'>nevent1q…uwy2</a><br/>_________________________<br/><br/>%y, as in &#34;why does this need to be a separate format specifier&#34; /hj 2025-05-07T00:14:47Z https://yabu.me/nevent1qqsw22qj45p0ke589ktpqkstn2kcxa4ad33u9pwuwf75xa6ecjptlqqzyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzscjmpw7 In reply to <a href='/nevent1qqst2lcuwf9da0vrcaeuewetvvsjjnvf8mkmsnzjswj7pjlhtjpjmtqve4zzv'>nevent1q…4zzv</a><br/>_________________________<br/><br/>what if the CPU could bitbang the JTAG of the FPGA? could reprogram the bitstream in RAM but leave the flash untouched... 2025-05-04T11:30:33Z https://yabu.me/nevent1qqsq8thggnr6wjwu3mncu9tmymkjhq8f9y2gmklspcuc65vtlzt7qqgzyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzs4kq7uj In reply to <a href='/nevent1qqsxep0q2trv0x9l9en6am003tagcn7zymppatsjsfjpp9pfyszh3tshmau6k'>nevent1q…au6k</a><br/>_________________________<br/><br/>why do so many programmers approach rust with &#34;i have absolutely no experience with this language but i will immediately assume that the thing it&#39;s trying to prevent me from doing is actually perfectly okay and i will bypass all safeguards instead of learning how to properly design programs in this paradigm&#34; <br/> <br/>this feels absolutely terrible what the fuck 2025-04-23T01:18:19Z https://yabu.me/nevent1qqsxep0q2trv0x9l9en6am003tagcn7zymppatsjsfjpp9pfyszh3tszyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzsg22m5j pro tip: when evaluating whether to use a library inyour Rust program, first type &#34;unsound&#34; into the search bar of their issue tracker 2025-04-23T01:14:02Z https://yabu.me/nevent1qqsqp34sypuz7cquwpxs7qg67m7qs2ca8sy58lveek8pvsjc8y063rczyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzsy60cee hi there! my name&#39;s Nicole, but you can call me the Fediverse Chicken<br/> <img src="https://asdf.donotsta.re/media/8f6e9cb61db35b9ed5673e78c824bcbc83f0ed8e4a022681ebe9d5a8febd9400.png"> <br/> 2025-04-15T16:50:32Z https://yabu.me/nevent1qqs8s3pndxuguw5lz9t8kcdkl4sw7suq36paeqaps53ux2j700e8lyczyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzsul0sk0 In reply to <a href='/nevent1qqsguc0el68mkahgd2c04sr53h8mqc0fkyut6u8x8pux6s2ju9u759cegxs5j'>nevent1q…xs5j</a><br/>_________________________<br/><br/>i&#39;m sorry they did WHAT<br/> <img src="https://asdf.donotsta.re/media/832cbe937c6aaa7547a38cc437f6d69971c57e98f8d28f5bfddb0716ba0f551f.png"> <br/> 2025-04-07T22:14:31Z https://yabu.me/nevent1qqsguc0el68mkahgd2c04sr53h8mqc0fkyut6u8x8pux6s2ju9u759czyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzs9vtxej apparently loading 750MB of JSON into Python is enough to make a machine with 16 gigs of RAM start thrashing :neocat_googly_woozy: 2025-04-07T21:20:30Z https://yabu.me/nevent1qqszkazy38dgr0qe20l87vwz7th3w5np6d7t9dvfxlalu486j78nayczyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzsdy0s93 god, imagine if LLM scrapers end up forcing git to introduce a proof of work intos protocol 2025-04-04T12:03:41Z https://yabu.me/nevent1qqsxcegad79thd25zg9zcenn28kss4ljutnuure9jpjp58q9fws8wqczyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzshef2te OH: it&#39;s a nice conditional jump you have here. it would be a shame if something happened to it 2025-03-31T20:19:24Z https://yabu.me/nevent1qqsfzthvzdal9tgy7n8yhdlzz40qs0h04ezq0gt29nwscjdc0xn5deczyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzsp02n2u train ticketing is a joke<br/> <img src="https://asdf.donotsta.re/media/f5cc7f15fb62e38edeb15f5022162b0f838a367d4ade4cc5465d2f5c54ee3447.png"> <br/> 2025-03-01T07:28:18Z https://yabu.me/nevent1qqs02xrf57vr3k34ehyajpuj0pf34rphjuz7j2s9up87cncz49f8uagzyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzsn6cz34 In reply to <a href='/nevent1qqs8f7nnrpzsq6rrkcf0rtkp0newu5lkkwx69xtz6m2jhfy2lsp3pwg89v9cz'>nevent1q…v9cz</a><br/>_________________________<br/><br/>you underestimate their gerrymandering capabilities 2025-02-02T18:46:31Z https://yabu.me/nevent1qqs84x74kpks78m6vcg8xju22fdz2j7hl4870sqzkfhl48sqevsknzszyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzsvxj25v In reply to <a href='/nevent1qqsvld0trvazxer75xxvmc7mavq5hsu3yl20npkcej4429ar59qr5ugfdjh7h'>nevent1q…jh7h</a><br/>_________________________<br/><br/>if you&#39;re curious, it tastes... bitter 2024-12-26T18:33:58Z https://yabu.me/nevent1qqsvld0trvazxer75xxvmc7mavq5hsu3yl20npkcej4429ar59qr5ugzyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzsurmm93 In reply to <a href='/nevent1qqsz8mr7jzava9wuur54thfw4vv9twtectmrwsaxwc8lqyce2q8m0vsrwlfrp'>nevent1q…lfrp</a><br/>_________________________<br/><br/>it somehow appeared on my lip and i absent-mindedly licked it into my mouth before realizing that there shouldn&#39;t *be* anything on my lip... 2024-12-26T18:33:45Z https://yabu.me/nevent1qqsz8mr7jzava9wuur54thfw4vv9twtectmrwsaxwc8lqyce2q8m0vszyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzs5xj72a AAAAAA I HAVE ACCIDENTALLY TASTED A LADYBUG 2024-12-26T18:30:00Z https://yabu.me/nevent1qqsw5fnsgx02tyjx4jdc68vv747xsxskhcz7ay4e2ax64xp5jnltqtczyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzsf5jmsn In reply to <a href='/nevent1qqsys4wj2uu7wfzysr2d3j0ny9hfn38dka5000e27jjwe4kzrme6k3s9csnuc'>nevent1q…snuc</a><br/>_________________________<br/><br/>why 150 ms in particular, if I may ask? 2024-12-25T20:22:52Z https://yabu.me/nevent1qqs0njdxg79sxperz0d3200h2z95g5gn6djqlnsqcmvydh352pye4yczyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzs2hm36w hi you should read &#34;75Ω Love&#34; by <span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/npub1ke58grmg5t7w5z7wsr6uc0fdd5f6tx84ld22jyq3vsg49vcwv3eqrs5frv" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>spork (pathetic girlfailure)</span> (<span class="italic">npub1ke5…5frv</span>)</a></span> <br/> <br/><a href="https://philo.gay/stories/75ohm.html">https://philo.gay/stories/75ohm.html</a> <br/> <br/>...god i wish that was real 2024-12-21T16:08:32Z https://yabu.me/nevent1qqsphp3prkn07fvgchr7v0csp9fet9apdunpw9tz6k9kryq55dcgltqzyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzsfr5pzw OH: if I accidentally make a VHDL frontend then so be it 2024-12-21T15:33:14Z https://yabu.me/nevent1qqs9x6uydq82zya6xeern49wkt2p7q6nef58gqufrfnx3l9wxfwlazszyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzs3cvzu9 open source project that hosts the documentation on archiveofourown.org 2024-12-21T03:28:37Z https://yabu.me/nevent1qqs2spee7m6cyr4elcgy62dg4j3j3mkcxcu9cypqtal9v3w3w7nt0dczyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzs6gdlfx concept: AI-powered FPGA (Field Promptable Gate Array) that has an on-chip LLM generate the configuration 2024-12-15T11:48:17Z https://yabu.me/nevent1qqsdhrlq87ct4raq2frvnssmcrm5vhh8zhnfpj46xhvdphx4f2fse8szyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzs75wz7l In reply to <a href='/nevent1qqsgzmrge76hf4kauwxjnexheuqqkcm2gxlenlqk75ujxs0j0fcuq6sldhds3'>nevent1q…hds3</a><br/>_________________________<br/><br/>OH: *suggestively* I would so ATDT0202122 you... 2024-12-10T18:53:02Z https://yabu.me/nevent1qqsgzmrge76hf4kauwxjnexheuqqkcm2gxlenlqk75ujxs0j0fcuq6szyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzshpgpcg OH: answering &#34;OK&#34; like that is peak Hayes-compatible behavior 2024-12-10T18:52:28Z https://yabu.me/nevent1qqs2r9rhvl37pu2kkkqhw2eq72qzysgj2tpeqzxdgcr3mdvv6g5e8agzyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzs8y92tp i have idly stumbled into the description of the x86 ENTER instruction. <br/> <br/>nothing could have prepared me for the sight of this complexity. <br/> <br/>what the fuck do you mean &#34;lexical nesting level&#34; <br/> <br/>is this a lisp machine or what. <br/> <br/>instructions dreamed up by the utterly deranged. <br/> <br/>this is what CISC processors are demanding your respect for <br/> <br/>honestly I preferred IBM S390&#39;s instructions implementing DEFLATE. 2024-11-29T23:58:52Z https://yabu.me/nevent1qqsfcznht0c40y3520vak98rcx65cul09m4x047y3gj7xv8yta4022szyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzsf75966 is there something like the language server protocol but for proof assistants? 2024-11-20T05:45:12Z https://yabu.me/nevent1qqswu0zldhz85c243pmdqj35y0fkkvj0h3c46ld0d4c66y7qf5p4vpszyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzs7krw84 In reply to <a href='/nevent1qqsvyqfn8cf9t3yk6frda2r95cl75kkh06whjzwda33rujzwzj8myfql8dn2v'>nevent1q…dn2v</a><br/>_________________________<br/><br/>okay, yeah, that seems expected. what about Base though? 2024-11-20T03:46:11Z https://yabu.me/nevent1qqs889qghtaswdjea2p0l64jque8wu8namh2cqk0qz2vxnmcjlaztvgzyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzs6y2kl5 In reply to <a href='/nevent1qqspkgdnk7f0pfkkwy00t47agfs682m4r3p48ummdpgkwrfkm7vsh4g3tchtm'>nevent1q…chtm</a><br/>_________________________<br/><br/>ah. is Base and/or Core as common as the book makes it out to be? 2024-11-20T03:26:46Z https://yabu.me/nevent1qqspn92nm5qqkuqzx5pw2a8uvcdx23mqk2tzysjylwrl0x0pds4903qzyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzszc5tta In reply to <a href='/nevent1qqsd6ejfr2tfqy6leyqaqwvluljag54ga3hkav4dlm0hjhur0vhmrys7utm8p'>nevent1q…tm8p</a><br/>_________________________<br/><br/>so, is Real World OCaml a good resource to reference, or is it out of date by now with regards to the tooling advice offered? 2024-11-20T03:04:17Z https://yabu.me/nevent1qqstyz0krdkkjc3hej3uew5tyxg97mcy09hnz9wcgw6v7x5sne54saqzyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzsf9r09v In reply to <a href='/nevent1qqsv2ajllasnf00k0xxlrts667r6s5v7dk0t8acrqf247ge9unnamwc3z6y0p'>nevent1q…6y0p</a><br/>_________________________<br/><br/>wonderful, inspires confidence. 2024-11-20T02:39:03Z https://yabu.me/nevent1qqstn9mx885ex2wj962lv8sleeutur9mzuruuzw0hvlvu8xs56p2zsqzyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzs05jqsm In reply to <a href='/nevent1qqsqhpcl4mweceuzy38gwvp0dvfy2tsvlmsltfc4ul3d0kqjd7t279qyvvpng'>nevent1q…vpng</a><br/>_________________________<br/><br/>so uh. what is the relationship between opam and dune. am i supposed to use both? 2024-11-20T01:57:45Z https://yabu.me/nevent1qqsxqs5phddxrmskanl2hsfgl87p5d02pgcvrlg897r0gnvjulf0xsqzyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzs9q95az In reply to <a href='/nevent1qqsp2dqmmzy2xzsgw6zdyhds7lgzqsjp95nuw99e4luvemyvz7me7msd8jaya'>nevent1q…jaya</a><br/>_________________________<br/><br/>i had to use opam once to manage Coq dependencies and it took two days of back and forth with the people who set up the entire thing in the first place for us to just give up and hack around the thing instead 2024-11-20T01:49:48Z https://yabu.me/nevent1qqsqpeggqrchtdc5at4rr6vz3wqzs0g5gu3pt6egy3m437wfsn6u0yczyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzsfxsqft :duckduckgo: computing for people with crippling OCD 2024-11-20T01:14:59Z https://yabu.me/nevent1qqs8mn3k3y55g0ctmnmgctr40hj0p4s0lt6g0es025lwertdlwxhf4szyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzsyn7l0k are there any languages like OCaml or Haskell but with predictable performance and good tooling 2024-11-20T01:07:51Z https://yabu.me/nevent1qqsdm8kanwfdcyld9gukvu7ytsqutcv4n89lvlkkgcjkrh24ga7hjgqzyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzsyj6me2 <span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/npub1kwarc5z9lwhen05uknd2nuwhhthd4ws0cku3t9j3rchm0fcd6luslse0nj" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>GrapheneOS</span> (<span class="italic">npub1kwa…e0nj</span>)</a></span> do you have thoughts about Vanadium and adblockers? Currently a GrapheneOS user has the choice of using Vanadium, with all the exploit mitigations and security work, or using Firefox, which has the unique capability of letting you install an adblocker on a mobile browser. <br/> <br/>the modern internet is somewhat hard, and definitely annoying, to use without ad blocking. this kinda makes using Vanadium feel like a sacrifice, and not everyone would be willing to do that. <br/> <br/>not to mention malvertising... <br/> <br/>are there any plans or ideas for addressing this shortcoming? 2024-11-05T21:01:06Z https://yabu.me/nevent1qqsvarn3gwe6qs4chsh8z4rrh57w2lk34kksdjpvld7a8vuncn3qypczyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzssdtkre In reply to <a href='/nevent1qqsz6mtl93w7fas2nqgj0m3wh8kx9cre5gtajrw9rdn4uakp422v36ce9mqey'>nevent1q…mqey</a><br/>_________________________<br/><br/>huh, wait, but conservation of mass... ah, right, but the oxygen comes from the air. carry on. 2024-11-04T00:33:42Z https://yabu.me/nevent1qqsvwfsy7chm8wys0syqx8yqmnkktun5n3su0tswwcdl0gshs7r4tsqzyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzsd8hgjl In reply to <a href='/nevent1qqsqxf9z70dg2khury2gtxfqku33mqfk4xjyjvn9dk3e2lw5tnuk0dq8vkvux'>nevent1q…kvux</a><br/>_________________________<br/><br/>thanks, these descriptions are answering all my questions <br/> <br/>``` <br/>~$ pacman -Ss ocaml-findlib <br/>extra/ocaml-findlib 1.9.6-7 <br/> OCaml package manager <br/>~$ pacman -Ss opam <br/>extra/opam 2.2.1-1 [installed] <br/> OCaml package manager <br/>``` 2024-11-03T04:38:19Z https://yabu.me/nevent1qqsqxf9z70dg2khury2gtxfqku33mqfk4xjyjvn9dk3e2lw5tnuk0dqzyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzsv7j7cg In reply to <a href='/nevent1qqspj396m8za4qfpxe90fxrl22w5l7yexmeklwdnnaxcxjly3hpr4hsqhtlha'>nevent1q…tlha</a><br/>_________________________<br/><br/>in other news, trying to install coq-stdlib through ocaml breaks horribly if you happen to have ocaml-findlib installed through pacman 2024-11-03T04:35:47Z https://yabu.me/nevent1qqspj396m8za4qfpxe90fxrl22w5l7yexmeklwdnnaxcxjly3hpr4hszyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzs802huy package managers were a mistake. we should&#39;ve found a way to do them that doesn&#39;t have this whole big fuzzy ball of emergent behaviors 2024-11-03T04:33:29Z https://yabu.me/nevent1qqspeta5vkwshuy3u5wv7lvz7349gj6m3jhutda5sruqn9y33xc2zsqzyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzsxgjd23 WHAT :neocat_floof_explode: <br/> <br/>(<a href="https://blog.regehr.org/archives/759">https://blog.regehr.org/archives/759</a>)<br/> <img src="https://asdf.donotsta.re/media/ee375a068f34219df621912ef7c9407691d5fb20601090df99c4a1838f00c18c.png"> <br/> 2024-10-20T20:37:51Z https://yabu.me/nevent1qqsw9e97rfwf28np54xtr03jm7xd63letm7jputt360hu33wrn34tvczyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzs4p706n In reply to <a href='/nevent1qqswcd8dvnw2adywfhlj759wsxg7uf2agc67pfkd0hkq06mwp5fa8dsedymkj'>nevent1q…ymkj</a><br/>_________________________<br/><br/>Chapter 1: Introduction. <br/> <br/>The C programming language was created by Thompson and Ritchie around 1970 as the implementation language of the Unix operating system [Rit93]. This has made a lot of people very angry and been widely regarded as a bad move. 2024-10-20T20:20:58Z https://yabu.me/nevent1qqswcd8dvnw2adywfhlj759wsxg7uf2agc67pfkd0hkq06mwp5fa8dszyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzsl8v9u0 In reply to <a href='/nevent1qqsv9rqekuekefwpa76s5dkaqaa76797skw2yrlhq3k8pdnur7azapcxvdfel'>nevent1q…dfel</a><br/>_________________________<br/><br/>oh, it&#39;s a whole damn PhD thesis 2024-10-20T20:06:28Z https://yabu.me/nevent1qqsv9rqekuekefwpa76s5dkaqaa76797skw2yrlhq3k8pdnur7azapczyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzs0yyvhq In reply to <a href='/nevent1qqstramzqyvu50fvgta20eza3kkvcjz7ehnzd3423ajkrtn9v2w064cw980kc'>nevent1q…80kc</a><br/>_________________________<br/><br/>oh cool, there&#39;s some guy in Nijmegen doing research on this 2024-10-20T20:05:00Z https://yabu.me/nevent1qqstramzqyvu50fvgta20eza3kkvcjz7ehnzd3423ajkrtn9v2w064czyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzsctwx8n In reply to <a href='/nevent1qqs92c36uqg2t4s0us9zmyk9r0ynw5akevkdmh504k7ascj73h2j0ps7md53z'>nevent1q…d53z</a><br/>_________________________<br/><br/>I wonder how CompCert deals with this trashfire 2024-10-20T20:00:37Z https://yabu.me/nevent1qqs92c36uqg2t4s0us9zmyk9r0ynw5akevkdmh504k7ascj73h2j0pszyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzsyxkvvs In reply to <a href='/nevent1qqsgspc0ugdpfrv6andwsc06sgul67ex3endrj56g24cxnzky77cvccwe2a77'>nevent1q…2a77</a><br/>_________________________<br/><br/>Ah, there we go: <br/> <br/>6.2.7p2 All declarations that refer to the same object or function shall have compatible type; otherwise, the behavior is undefined. 2024-10-20T19:56:09Z https://yabu.me/nevent1qqsgspc0ugdpfrv6andwsc06sgul67ex3endrj56g24cxnzky77cvcczyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzsh6rfw2 In reply to <a href='/nevent1qqszsjgxdzqvu5w4ehjnffj50j2u0dhaervk7tnxdsk26fc0ph5gkwgnxxqsh'>nevent1q…xqsh</a><br/>_________________________<br/><br/>This is valid: <br/> <br/>``` <br/>static int x; <br/>extern int x; <br/>``` <br/> <br/>This is not: <br/> <br/>``` <br/>extern int x; <br/>static int x; <br/>``` <br/> <br/>This makes perfect sense so far. <br/> <br/>I am currently trying to figure out where exactly in the standard this is disallowed: <br/> <br/>``` <br/>void f() { extern int x; } <br/>void g() { extern long x; } <br/>``` 2024-10-20T19:45:05Z https://yabu.me/nevent1qqszsjgxdzqvu5w4ehjnffj50j2u0dhaervk7tnxdsk26fc0ph5gkwgzyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzs369epg rotating the C standard concept of linkage in my head 2024-10-20T19:42:54Z https://yabu.me/nevent1qqs2zvnsn4en54ktvqpzewnk3ckfkhf9cl2cgeduw9r4l76tmh9pvhczyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzscnllwz so, I&#39;ve somehow ended up with a large amount of cursed knowledge about Linux. <br/> <br/>feels like it could be fun to replicate that, but for Windows knowledge. <br/> <br/>except, I&#39;d have no idea how to do that. <br/> <br/>since I forgot how I got all the Linux knowledge in the first place. <br/> <br/>I have almost no memories of obtaining this knowledge. <br/> <br/>I just have it, as like, an intrinsic attribute of my being. <br/> <br/>which... is somewhat difficult to replicate. 2024-10-19T18:13:01Z https://yabu.me/nevent1qqsfzxjg3sy9vln52pwtuu9n829zgyxydhagnsqag9rjvqz6ufr49cczyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzs5caglu In reply to <a href='/nevent1qqsyq93kmjqj83pv4vdnsukrwt9ty82x5cqj20zp53dljvnf9rhv56chs8jg0'>nevent1q…8jg0</a><br/>_________________________<br/><br/>oh, wait, this doesn&#39;t itself implement multicall binaries, does it 2024-10-19T00:02:35Z https://yabu.me/nevent1qqsyq93kmjqj83pv4vdnsukrwt9ty82x5cqj20zp53dljvnf9rhv56czyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzsql75rt In reply to <a href='/nevent1qqsgu3pdqlp0a3qxwvwsjrpwxnr7ven0la5ephmr5dvl8sdqdku4r5snmgh2x'>nevent1q…gh2x</a><br/>_________________________<br/><br/>god, finding ROP gadgets in the binaries this outputs must be heaven 2024-10-18T23:56:08Z https://yabu.me/nevent1qqsxh52s8cewtt05rhtnf2pw6z7mwazdrx7jhylpptp8sg2zhh2na3gzyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzs5nhx5j In reply to <a href='/nevent1qqs9p6h7sundh50tumavzq4zujuxlgqx5cudzj609kmyeqnln7rwj4sdp7rg0'>nevent1q…7rg0</a><br/>_________________________<br/><br/>oh god. OH GOD. this is not a shitpost. oh no. nonononononono i hate this timeline 2024-10-16T22:40:15Z https://yabu.me/nevent1qqsz7gqg05vhe48d8aj3tefxz8t8g80j9s7ct8ktk6ej23n5zcczvrszyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzsj35ums In reply to <a href='/nevent1qqsvu7dsn8hg0zxgtzwamte0rtszllt44avkwcmcc08gx88fav0mz9c9pke6j'>nevent1q…ke6j</a><br/>_________________________<br/><br/>I&#39;m 2 minutes in and this is the most you thing I&#39;ve ever seen. I wonder what your YouTube recommendations are like 2024-10-16T22:29:37Z https://yabu.me/nevent1qqs2n9j8g4j0hm4yr78nxke0vgja2un7dq8euk4ec2lga0wkfhqzeqqzyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzsg032yx In reply to <a href='/nevent1qqsgtqxuy742gzkjes94605jvm837qnxzydvldw8093hh5ha67sy6aqqmafyh'>nevent1q…afyh</a><br/>_________________________<br/><br/>god humanity is terrible 2024-10-13T15:41:24Z https://yabu.me/nevent1qqs80a63lxfdx468e7lsvxvqhe5u0y3whq2ng8lxwq8w99gq6rw6gnszyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzstf4l3h why must everything about computers be so flaky, working most of the time. it&#39;s like background noise. we don&#39;t even realize it, but it&#39;s slowly wearing us all down <br/> <br/>i&#39;m finally at the point where just dealing with all the disruption is taking up a noticeable part of my energy, and small things like a notification showing up just under my cursor and stealing the click is enough to send me into a fit of rage <br/> <br/>why do we put up with this <br/> <br/>why did we settle for &#34;it works most of the time&#34; <br/> <br/>why can&#39;t we have perfectionists working on all this 2024-10-13T11:33:24Z https://yabu.me/nevent1qqsy693m4980sl7re4jln0udgt8ck3838alklqy5s4aawrp5w6prpyszyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzsl3pck6 In reply to <a href='/nevent1qqszfgtyxz2fh2pak2qc4eeslvfvpqf3g8xr8zjlrv6e2rjetqx57nss6ynal'>nevent1q…ynal</a><br/>_________________________<br/><br/>codeberg.io 2024-10-13T07:47:21Z https://yabu.me/nevent1qqsqye9486h0gz5q83qg525juj0puasazx8eg57m62u55rm8n3vnjyqzyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzs2554k4 In reply to <a href='/nevent1qqsdtm8msu0pztsskxg5w5qvw8pya3wyezrlgkpwusp7qjkgfe5u4rqj3850t'>nevent1q…850t</a><br/>_________________________<br/><br/>hmm pretty sure the answers to all of these are just various keysmashes<br/> <img src="https://asdf.donotsta.re/media/844df07d174d600510b34b900e91bdb4680d4a61c60a81ab1cbf85e1dcc6a607.png"> <br/> 2024-10-12T21:56:04Z https://yabu.me/nevent1qqsdtm8msu0pztsskxg5w5qvw8pya3wyezrlgkpwusp7qjkgfe5u4rqzyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzst0cfgq In reply to <a href='/nevent1qqspve7tk8uc8hxwt6rwaxwaxh5wae87jr5x2rqwrluuysxdests8kcydl442'>nevent1q…l442</a><br/>_________________________<br/><br/>nevermind it&#39;s not dupa either windows just took a slightly longer moment to check that guess for some reason 2024-10-12T21:54:46Z https://yabu.me/nevent1qqspve7tk8uc8hxwt6rwaxwaxh5wae87jr5x2rqwrluuysxdests8kczyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzstvxvyk smh, which headmate set up this vm. the password is &#34;dupa&#34;, and not &#34;meow&#34; as per SOP 2024-10-12T21:53:42Z https://yabu.me/nevent1qqstpz0fsuandecwvjmw0m68pyfq5q7899932c5vh40t8dfeekqhe8gzyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzs4f88zk so, what is the homotopy class of a human? if there was only the digestive tract to worry about this would be quite obvious, but there&#39;s also the nose with its two nostrils that&#39;s topologically relevant. anything else I&#39;m forgetting? <br/> <br/>if I didn&#39;t fuck this up it would seem that a human has genus 3. does anyone have an animation handy of a human getting continuously deformed into a pretzel? 2024-10-06T00:22:40Z https://yabu.me/nevent1qqsgyyhejwk3feagwrqqcxhagdt2f7jm8ffncj50ppgyamhznzmn5pqzyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzszmj399 In reply to <a href='/nevent1qqsgc23xw4n3fmr2s3wznpkuqqse64vzsjem6h99qt9qune52c24pzqcs3qsf'>nevent1q…3qsf</a><br/>_________________________<br/><br/>I suppose one difference is you don&#39;t have to set up your own bouncer. and you get to send things other than text. <br/> <br/>not that there aren&#39;t any open-source options that do that... 2024-10-04T20:10:24Z https://yabu.me/nevent1qqsgdcnwng2s7m03mkm5vzj63tm9ah0m63gsq3jjt68jc3r3l6tclvszyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzs385c2s so how do i grab the entirety of an ao3 fic for offline reading? 2024-10-04T14:24:44Z https://yabu.me/nevent1qqs96qd47ugq3ug526armmfajfuhj7ng9asvuuwpnglhkhw9pwhv59qzyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzshwxxnw what she says: i&#39;m a kitty!! <br/> <br/>what she means: getting my brain to do anything is like herding cats 2024-09-30T23:50:34Z https://yabu.me/nevent1qqs9n25csdad8yg7qgtuh7e3zz586ydwheyjfxhspuyhwq225v0aqygzyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzszeptgr In reply to <a href='/nevent1qqsqm4fnwxp0rcggasza84l3mzljf3vh2jva8rs2y32dxqyuu7tryfsns2saz'>nevent1q…2saz</a><br/>_________________________<br/><br/>wait, but filenames are allowed to contain newlines. what happens then? 2024-09-20T10:36:22Z https://yabu.me/nevent1qqsxdg3xr56jc35e93lwz6q2wn0cx2vdz9jgjgf6vndukdpphxlsscszyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzscf4w39 In reply to <a href='/nevent1qqs95czu266zfexr6uk7fslwu50c8xcrwxacc769hveyk8n3n56degqlvcd0m'>nevent1q…cd0m</a><br/>_________________________<br/><br/>No Game No Life? 2024-09-18T10:13:01Z https://yabu.me/nevent1qqstz2m07uvlsjhx82t76mhaaltxypdpl4nmledh40y57xj72pqx8aqzyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzshra2va visiting the cat cafe and explaining to all their feline employees that they should unionize 2024-09-16T08:42:38Z https://yabu.me/nevent1qqsvh4rzh6xp0zptvp55uumnwlm4f7v73mg6ezdj4mq39t7jhmw2cqczyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzs0pjpus dr. house has real angel girl vibes 2024-09-15T15:26:12Z https://yabu.me/nevent1qqsg4cc5hf3hdjrdyvkgru5lt6kmeqppae0luh4czqdj075rtx66zwczyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzszjh7mh when army ants lose track of their pheromone trail, they&#39;re prone to walking in circles until the moment they die of exhaustion. this phenomenon is known as a death spiral <br/> <br/>I can&#39;t shake the feeling that this is what capitalism has become. in the ruthless desire for profit, we&#39;ve stopped trying to make the world better, and we&#39;re marching right into global ecosystem collapse <br/> <br/>we&#39;re setting ourselves up for living hell, with full knowledge of what&#39;s happening, but anything else won&#39;t achieve the profit goals of the ruling class, so we don&#39;t bother trying to reverse course <br/> <br/>sure, there are *some* efforts to slow the apocalypse. they&#39;re not nearly enough to stop it, though <br/> <br/>the question is, then, why aren&#39;t we doing anything to stop the ruling class from killing us all? 2024-09-15T11:50:19Z https://yabu.me/nevent1qqsphyh6ma8fysy5r7nncwq3hp20cqj3ef5et9ej4uhpjce7xpz562gzyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzsjw55ay In reply to <a href='/nevent1qqsyzc6jp2dssam5rw5y9tlkxsj2n9qdnffgk42zfqzhmunj6ndt9scsdckpm'>nevent1q…ckpm</a><br/>_________________________<br/><br/>huh, isn&#39;t this better solved by observing the Upgrade-Insecure-Requests header? 2024-09-13T15:31:50Z https://yabu.me/nevent1qqsq06m4ug6lpuf4l5hpd3as8x79dl9mqgvyt2qkkjuuuty05drrqvgzyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzsj2j9g4 imagine if there was an easy, reliable way to get a consistent stream of Purpose 2024-09-11T17:02:31Z https://yabu.me/nevent1qqsvculekx7ycxwvmea2c995yf6kjnm680tlfrpmjf6qje24x5w3gkgzyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzssstpp8 Deutsche Bahn: we tried our best to improve! our punctuality this year comes out at 64% for long-distance trains! <br/> <br/>meanwhile, Ukrainian Railways: we&#39;re under fire from the russians, so our trains are only 95% punctual. please excuse some gaps in service in the war area, our trains will resume service as soon as our country&#39;s tanks reclaim the land <br/> <br/><a href="https://www.railmagazine.com/features-1/how-ukraine-s-rail-workers-keep-the-trains-running-under-fire">https://www.railmagazine.com/features-1/how-ukraine-s-rail-workers-keep-the-trains-running-under-fire</a> 2024-09-09T13:54:19Z https://yabu.me/nevent1qqsqe9wvjju4rdxtsf2m5p0jztzy0uehfc43pkt30ql74rgdjx6ceaszyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzsqc6eme In reply to <a href='/nevent1qqsp3fcxx5jqlz43rmptjjhpc7zpg8n9x0gjwgrf9c4k44glekhsjzsdn6ts6'>nevent1q…6ts6</a><br/>_________________________<br/><br/>in a retelling of the story, I&#39;ve been told that the spillage of water caused a power outage, which was immediately met with the words of reassurance: &#34;don&#39;t worry, we still have internet, the router is on a UPS&#34; 2024-09-06T13:19:57Z https://yabu.me/nevent1qqs8g2kx29xv56kp0lw426f24exsjttwzgv4q7sek49jerprcaeeseqzyqfx7lykmp2ktl7txegkjvtch6rf02e8lykvwnmnwe2ppzk3tdtzsn5v2xh pro tip: if your 3d print feels a bit rough, run `file my-model.stl` to fix that 2024-08-29T23:10:13Z