2026-06-05T00:44:48Z https://yabu.me Leah Neukirchen @ GPN24 https://yabu.me/npub16arkequavqad4w3etq07l4rcf9wnfesfrvrrx9rl7qfasayx687q25s2tx https://cdn.blahaj.social/accounts/avatars/109/365/572/658/609/368/original/d9fd54e642aba3d2.jpg https://cdn.blahaj.social/accounts/avatars/109/365/572/658/609/368/original/d9fd54e642aba3d2.jpg https://yabu.me/nevent1qqsts0hjt9s2ze5sfwxgyu4tk5yyhh0d6dp0rd3r4eqr0s8j7wgt3mqzyrt5wmyrn4sr4k4689vplm750py46d8xpydsvvc50lcp8kr5smglcddmmyl Statt dem Anglizismus &#39;Influenzer&#39; könnte man doch auch ein schönes deutsches Wort wie z.B. &#39;Wichtigtuer&#39; verwenden. 2026-05-21T20:01:18Z https://yabu.me/nevent1qqs8hlm890hknj5elclmp0gdycneth3ts4zk7s35na09we0s6nfcwdqzyrt5wmyrn4sr4k4689vplm750py46d8xpydsvvc50lcp8kr5smglcdh9ulv DNS is a distributed system in the sense of Lamport: one in which the failure of a computer you didn&#39;t even know existed can render your own computer unusable. 2026-05-05T20:46:31Z https://yabu.me/nevent1qqspr9m2r6p0xudmnlumawa7utt623dw4q8akpnnfskg43lvjfe83mczyrt5wmyrn4sr4k4689vplm750py46d8xpydsvvc50lcp8kr5smglch7n5xc I scrolled the whole tl and found no mathematical facts about the number 2026?! 2026-01-01T12:58:34Z https://yabu.me/nevent1qqstyqztn70gh2qdj4cd0al7rh5xq4v49p06l09hnkg00qklkfqfwagzyrt5wmyrn4sr4k4689vplm750py46d8xpydsvvc50lcp8kr5smglcex3h3t In reply to <a href='/nevent1qqsghcluydf3yzh24msgfuhk4qneg8ur708sd7hd4ghnq75j7gg83mg8dr85e'>nevent1q…r85e</a><br/>_________________________<br/><br/>her viewers also don&#39;t want it explained 2025-10-25T14:12:54Z https://yabu.me/nevent1qqsws6f9mlzjw2mygkgn2vaq0m9mu966apfxur6mh5u5ds2wzhxj50qzyrt5wmyrn4sr4k4689vplm750py46d8xpydsvvc50lcp8kr5smglcryutp6 Wenn man beim rumspielen am Telefonnetz die volle Klingelspannung abbekommt:<br/><br/>Pots-Blitz 2025-10-01T23:44:33Z https://yabu.me/nevent1qqsdssqj8a4v2026et277zc6p0c92em5jgftarttf95mn0tc67yq9fgzyrt5wmyrn4sr4k4689vplm750py46d8xpydsvvc50lcp8kr5smglccwdgyr If it goes on like this, GitHub will be dead before it has IPv6. 2025-08-11T18:45:34Z https://yabu.me/nevent1qqsryj9q3sx2ae3sa56ew46dg7tug8yuh0dgeslhg2d8m3fp7gr979szyrt5wmyrn4sr4k4689vplm750py46d8xpydsvvc50lcp8kr5smglcutdfxl The day started thinking we found a ZFS corruption issue, then a bug in GNU cp, then it turned out to be a bug in glibc. #justfossthings 2025-08-01T17:52:41Z https://yabu.me/nevent1qqs0yavnp6r4htx6q8hwvrp59s3ez85hlcfjvsxg6863h8t0wfdse0gzyrt5wmyrn4sr4k4689vplm750py46d8xpydsvvc50lcp8kr5smglc6l6wq9 Substack runs Nazi blogs, where were you the last three years? 2025-07-30T11:00:03Z https://yabu.me/nevent1qqs2p49n86zrj9wmggtxzmuuwpuxu0httgrktzwjrvexqcj0n2da2rgzyrt5wmyrn4sr4k4689vplm750py46d8xpydsvvc50lcp8kr5smglcwwplsh In reply to <a href='/nevent1qqstu5cr66qx255n22razxm4arcj436m3k9aghpfh209g9uv85u6q3qfkaarz'>nevent1q…aarz</a><br/>_________________________<br/><br/>Ja, in der Station und im Zug. 2025-07-23T15:53:16Z https://yabu.me/nevent1qqstvne70w7xpnnmrt35ussd2uuam7su9qdedsn4zzxs8fyw3ne7rlgzyrt5wmyrn4sr4k4689vplm750py46d8xpydsvvc50lcp8kr5smglcj5e929 Come watch my talk on Friday at <span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/npub1ajsaz4ffhs2v8yrtgdxadnle2wqvf8daha2e2gjgj9e74dz0a2mq9u40ga" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>offline</span> (<span class="italic">npub1ajs…40ga</span>)</a></span> in Berlin:<br/><br/><a href="https://social.wake.st/@liaizon/114790849535399825">https://social.wake.st/@liaizon/114790849535399825</a> 2025-07-09T19:47:54Z https://yabu.me/nevent1qqs9qcdwlqd36wlngfyx3ju6pdjdqwqrrz8wvmqc0384ld07df3gvtszyrt5wmyrn4sr4k4689vplm750py46d8xpydsvvc50lcp8kr5smglcgghfwt Was ist eigentlich der Sinn hinter diesen Mails aus China, die fragen ob man DEINEDOMAIN.cn registrieren darf? 2025-06-18T12:21:14Z https://yabu.me/nevent1qqsprr6hznq5w2a50n4pm5umztzuz3wn63pmgpkjgkwxep5466xmklgzyrt5wmyrn4sr4k4689vplm750py46d8xpydsvvc50lcp8kr5smglcr7pw9w In reply to <a href='/nevent1qqspw0g5nr5z4nlnjee9rqvzckwcp9z2nclm6e0hwa40dn3l6hna0fgs57eda'>nevent1q…7eda</a><br/>_________________________<br/><br/>11-13,25-27 could work perhaps 2025-06-17T09:06:33Z https://yabu.me/nevent1qqsxau4ny2vs4zwlhuv5tt4zxazsee26t52wye52nmehr3yzdj4zeaczyrt5wmyrn4sr4k4689vplm750py46d8xpydsvvc50lcp8kr5smglc9csl7r In reply to <a href='/nevent1qqstxsjf2zw08sykv4kf32ty7gk3y830cn72q0vlcz04nt509fdq79gnphqgt'>nevent1q…hqgt</a><br/>_________________________<br/><br/>any news on this? 2025-06-16T23:05:25Z https://yabu.me/nevent1qqsdtdevqw7ept092z0gg3p5k9y8mamqk79jfnjkq34zdxwe4ftmawqzyrt5wmyrn4sr4k4689vplm750py46d8xpydsvvc50lcp8kr5smglc8exysm In reply to <a href='/nevent1qqsr7da6wclllqlzgxev8hs2427xgne5dv4pymqp983qqk3ccfcqa0gyyhup2'>nevent1q…hup2</a><br/>_________________________<br/><br/>that&#39;s precisely what i posted tho... 2025-06-11T20:39:57Z https://yabu.me/nevent1qqsxpvvfrldus20seq6766s3uzn490gldqjgjswceeq25wyaqcv9g3gzyrt5wmyrn4sr4k4689vplm750py46d8xpydsvvc50lcp8kr5smglcvjhust In reply to <a href='/nevent1qqsvlzux7llau89chk2rnaevm2y0ppu3z7ratzkc58sjua05ym7f7kqmmaemz'>nevent1q…aemz</a><br/>_________________________<br/><br/>I used this a bunch, <a href="https://github.com/makefu/pyncp">https://github.com/makefu/pyncp</a> 2025-06-11T20:34:43Z https://yabu.me/nevent1qqsqjger795m5t8athcrnjdrlcljtkdrtqm66v5zkjyx6fy6qe47mzczyrt5wmyrn4sr4k4689vplm750py46d8xpydsvvc50lcp8kr5smglcsaeg70 In reply to <a href='/nevent1qqsrc5xdtjgnpx6zuz0rlqhzntvc2ed3r3ynt0lh6jyynvmqxd7f3zcqhpa7k'>nevent1q…pa7k</a><br/>_________________________<br/><br/>June 27 would be nice, I&#39;m in Berlin and got time. 2025-05-21T16:25:03Z https://yabu.me/nevent1qqsxcsnht09z8sd8d7e3fkr6ckesraakw5zkyq7j78c76da0cpvd5kczyrt5wmyrn4sr4k4689vplm750py46d8xpydsvvc50lcp8kr5smglckcg7dc In reply to <a href='/nevent1qqs9dm940cwrd40eg0nw98wallr0y3cyezdxusqnqd3vlqtgp34txygw5wd06'>nevent1q…wd06</a><br/>_________________________<br/><br/>hmm, what is the rough timeframe we are talking? 2025-05-21T16:17:15Z https://yabu.me/nevent1qqs8cv5ssh8z5fpjs8tf4tj3f6exdqlmffr62wnan68x2v87c4qm9wczyrt5wmyrn4sr4k4689vplm750py46d8xpydsvvc50lcp8kr5smglc2gr7x6 In reply to <a href='/nevent1qqsxzx4yx5ltf50kc7fxlg5d058zk9rlzwquxs7ynu740tsefs0t8js8kyt2y'>nevent1q…yt2y</a><br/>_________________________<br/><br/>feels &#39;too late&#39; perhaps, but what would be a venue? 2025-05-21T16:07:03Z https://yabu.me/nevent1qqs9d8tpvnq87lgnc8wq27s0cakys5ndg93479aag93ne468jkh6kcszyrt5wmyrn4sr4k4689vplm750py46d8xpydsvvc50lcp8kr5smglcvs9k0g In reply to <a href='/nevent1qqswrm7y6332d4047feh9hh62kjcu39rv6n0anyd5tyngq8n5l2q49sv7n475'>nevent1q…n475</a><br/>_________________________<br/><br/>nope 2025-05-21T16:03:01Z https://yabu.me/nevent1qqsr8hz35c0pugzdkqasy6635cth0rr7axteswy3c0yqy6qgadzx2jczyrt5wmyrn4sr4k4689vplm750py46d8xpydsvvc50lcp8kr5smglcmhckhs Poll: What&#39;s stopping you from providing a Zulip chat for your open source project? 2025-04-12T15:41:36Z https://yabu.me/nevent1qqsyzav6ekh0eh72emjpqcc7axy7edynfyaq5q4zzfghqnnp2a08aygzyrt5wmyrn4sr4k4689vplm750py46d8xpydsvvc50lcp8kr5smglcml3x5q In reply to <a href='/nevent1qqsqz72lhkvd0e56mucactkzla633ndcdy3v5j8xrpls9v34y8jzzvc6es0dw'>nevent1q…s0dw</a><br/>_________________________<br/><br/>To be honest, a better solution (with way more upfront work) would be to create a scraper DNSBL. 2025-03-22T11:46:47Z https://yabu.me/nevent1qqsqz72lhkvd0e56mucactkzla633ndcdy3v5j8xrpls9v34y8jzzvczyrt5wmyrn4sr4k4689vplm750py46d8xpydsvvc50lcp8kr5smglcca5ddy Making websites compute hashes to deter scrapers is not Proof of Work, it&#39;s Proof of Waste. Can&#39;t we at least hand out valuable computations? 2025-03-22T00:17:52Z https://yabu.me/nevent1qqsd83xc87tj73ne37zpzwz63kz2vjmhgewk38y78nt8w4c0tmc25aqzyrt5wmyrn4sr4k4689vplm750py46d8xpydsvvc50lcp8kr5smglcdrd265 In reply to <a href='/nevent1qqs8dl4ed2nyxjhueg8lf92srmjsghe964jeez5cnjkkuaw4qmqs4jq3un3cn'>nevent1q…n3cn</a><br/>_________________________<br/><br/>Today I got around to it: I wrote a small static site generator in TeX!<br/><br/><a href="https://github.com/leahneukirchen/stammtisch-muenchen.dante.de">https://github.com/leahneukirchen/stammtisch-muenchen.dante.de</a> 2025-02-28T18:13:21Z https://yabu.me/nevent1qqs8dl4ed2nyxjhueg8lf92srmjsghe964jeez5cnjkkuaw4qmqs4jqzyrt5wmyrn4sr4k4689vplm750py46d8xpydsvvc50lcp8kr5smglc4jsges I get the most evil progamming ideas when I have absolutely no time to pursue them -.- 2025-02-25T15:17:48Z https://yabu.me/nevent1qqszfuhgsa9rn98rw5pxfg5wjc0xryl7h0pzucxgrq5snckv25sthrgzyrt5wmyrn4sr4k4689vplm750py46d8xpydsvvc50lcp8kr5smglc3fxy5a Dein Wahlmodus dieses Mal? 2025-02-23T10:18:35Z https://yabu.me/nevent1qqsyhk02ncwl4dkn5exlalurr46r307ucdlspreexpsq7z5my4t3qpszyrt5wmyrn4sr4k4689vplm750py46d8xpydsvvc50lcp8kr5smglcvwlu9n Die Existenz von Ingwer impliziert die Existenz von Ingwie, Ingwas, Ingwieso, Ingweshalb und Ingwarum. 2025-01-09T21:41:15Z https://yabu.me/nevent1qqs9ylrqprj89ej29tvwg64eezp4eu4syt9x553uy8r05jsdd4auzyszyrt5wmyrn4sr4k4689vplm750py46d8xpydsvvc50lcp8kr5smglcv2exwv Software is like sex, it&#39;s better when lawyers are not involved. 2024-12-22T21:05:20Z https://yabu.me/nevent1qqswktxn4a532c9msycxew96r06gk7f9upe4kwfjuq7wlaf92l5zydgzyrt5wmyrn4sr4k4689vplm750py46d8xpydsvvc50lcp8kr5smglc955xhz Very good day to finally really delete your Twitter account. 2024-12-20T13:45:16Z https://yabu.me/nevent1qqsyme9rh90g7wyvs2wyl5hmz5mluupvuh6dxlphutzjqnqxalxsn7gzyrt5wmyrn4sr4k4689vplm750py46d8xpydsvvc50lcp8kr5smglcd4ctqg istdiestammsteckenoberleitungschonwiederkaputt.de 2024-12-01T18:44:54Z https://yabu.me/nevent1qqsp320femdjrc69cmgjhqqg8vqxhtp2sp5hjzcu4xa5sauymdsuyygzyrt5wmyrn4sr4k4689vplm750py46d8xpydsvvc50lcp8kr5smglck90ujn In reply to <a href='/nevent1qqsqqd4hf7e2vxpz3nkh267rsk4xp4fpl8jtm7nafjadux5ucs5nr7sx4yn23'>nevent1q…yn23</a><br/>_________________________<br/><br/>you can use weird tactics that create invalid proof objects ;) 2024-10-22T18:31:12Z https://yabu.me/nevent1qqsr7x9nv7srrrqegqfx6yexaj08m4h2vgyr2gf0ajvh9462ftzfcqczyrt5wmyrn4sr4k4689vplm750py46d8xpydsvvc50lcp8kr5smglcaxmh59 In reply to <a href='/nevent1qqsxlfczq6mc0uku9ep8ty2r6zt95vjdeln33n7l3z4cmqsk7kj6gts0j6wvk'>nevent1q…6wvk</a><br/>_________________________<br/><br/>pretty sure it does: &#34;Passes a completed proof term to Coq&#39;s kernel to check that the proof term is well-typed and to verify that its type matches the theorem statement.&#34; 2024-10-22T18:20:45Z https://yabu.me/nevent1qqszr5z8wtq6876925674jf0xyvu47pfx2mhdtyqyn7m4mq543c7rsszyrt5wmyrn4sr4k4689vplm750py46d8xpydsvvc50lcp8kr5smglclmt5fu In reply to <a href='/nevent1qqsfqq40lx9ycf4z8rm7txjhwgf4jszah6w2dlt6uz6p3ydg7n2adxq6nufrc'>nevent1q…ufrc</a><br/>_________________________<br/><br/>Qed validates the proof term, no? 2024-10-22T18:16:21Z https://yabu.me/nevent1qqspr4ffl52lh0mcls5fsllk7huxnjxh2la445apl6ncqtrx2fvztugzyrt5wmyrn4sr4k4689vplm750py46d8xpydsvvc50lcp8kr5smglccy3mz0 so, which language should I use for Advent of Code this year... 2024-09-30T19:29:16Z https://yabu.me/nevent1qqsw7vug2q6ygy6vx8ht84yjvkylhxfdu6g9t0rc4lkrztlv7cyuamgzyrt5wmyrn4sr4k4689vplm750py46d8xpydsvvc50lcp8kr5smglccppyds In reply to <a href='/nevent1qqs94f9t3fjp57x4e0f3m75z25u6suzkt0dxpm5rj2f4ckeg9vd2wzcpt2ght'>nevent1q…2ght</a><br/>_________________________<br/><br/>FORTH pages? 2024-08-05T20:42:50Z https://yabu.me/nevent1qqs0vu6havnfd32dzmuq2ss4czqshjgn8ypmlfwc7ukz5jp64lherlgzyrt5wmyrn4sr4k4689vplm750py46d8xpydsvvc50lcp8kr5smglcnxqx3z In reply to <a href='/nevent1qqsz34dwrg9rtn28k76kda784tuevdl8szeexmpr3vawgg7tdh2sy6gn4qn4y'>nevent1q…qn4y</a><br/>_________________________<br/><br/>auch an Linien die gar nicht hinfahren? 2024-08-03T12:58:01Z https://yabu.me/nevent1qqsppkx6nt8y6f2eu4ay90wyy3s5ykwtmknwdymmy8zu0gyn2cc2gwszyrt5wmyrn4sr4k4689vplm750py46d8xpydsvvc50lcp8kr5smglcjfsrwl Adele-Ansprache in der U-Bahn, braucht&#39;s des? 2024-08-03T12:31:13Z