<unnamed>

Public Key

npub13h28uqldag8c2rupu6vm6gau8ccd89dt8gq0ju6as934ugjg9phqml30an

Profile Code

nprofile1qqsgm4r7q0k75ru9p7q7dxdayw7ruvxnjk4n5q8ewdwczc67yfyzsmsprpmhxue69uhhyetvv9ujumt0d4hhxarj9ecxjmntasg9rk

Publishing to

relay.momostr.pink

Last Notes

2026-09-13 01:01:22 GMT

I got a mosquito bite on my eyelid, which is proof that god doesn’t exist

2026-06-27 01:15:21 GMT

I’m still looking for where the Carly Rae Jepsen community is hiding on the Fediverse, so in the meantime I must subject y’all to an excellent new song https://youtu.be/_Xqexqiqkdk

2026-05-06 18:22:59 GMT

I think it sucks that compute capacity is apparently measured in watts now! at least report the FLOPS, you weirdos

2026-03-21 14:10:22 GMT

☕️ LATTE, our little workshop on hardware design languages/compilers/etc., has 24 (!) rad-looking position papers this year. It’s on Monday, and you can attend on Zoom or in Pittsburgh: https://capra.cs.cornell.edu/latte26/

2026-03-14 13:51:22 GMT

every year, I get an invitation to a Cornell “Distinguished Chair Holders Luncheon,” which I have never attended, but this is what I imagine it looks like
https://fd.discuss.systems/media_attachments/files/116/227/852/142/036/355/original/6665543de793fedf.jpeg

2026-03-10 15:51:11 GMT

Because I have poor self control, I made a thing to avoid looking at those increasingly terrible ACM Digital Library pages. Introducing Analog Library: https://al.radbox.org

2025-11-17 19:57:54 GMT

I think about the Dafny logo at least once a week
https://fd.discuss.systems/media_attachments/files/115/566/803/102/499/820/original/40a263bd8aabaf43.png

2025-07-29 14:38:24 GMT

- reply

I looked a little closer at my SD cards and… I think I see the problem 😳
https://fd.discuss.systems/media_attachments/files/114/937/030/281/026/850/original/8bd902e9ea0aaf90.png

2025-07-28 23:25:21 GMT

- reply

current problem: with all the official images, the boot partition works great but the root filesystem has a bunch of extremely scary fsck errors? the many joys of weirdo aliexpress hardware #bpif3

2025-07-28 22:40:10 GMT

As part of an effort to avoid real work, I finally got my little RISC-V board (Banana Pi F3) booting as far as initramfs via UART… looking forward to many more thrilling SD card flashings to get the rest of the way to a working thing!
https://fd.discuss.systems/media_attachments/files/114/933/262/359/797/247/original/b22edd3a5f719a7c.jpeg

2025-04-11 14:30:31 GMT

the “short” URL domain for Teams links is `urlshortener.teams.cloud.microsoft`. never change, Microsoft

2024-10-13 23:01:09 GMT

soup night #breadposting (may every night be soup night)
https://fd.discuss.systems/media_attachments/files/113/302/599/485/586/292/original/4454a4b171ffdd9a.jpeg

2024-10-03 00:34:48 GMT

I should know better, but I have been surprised this semester how often students’ UB-soaked C homework submissions work differently on their machines vs. our grading machine, despite using exactly the same gcc binary.