Notices by pry (pry@raru.re), page 2

@shibao @vivi @7666 their popcorn chicken is so good

@7666 @vivi yooo we have those in texas

@vivi @7666 they are! if a little overpriced but that's boba in general.

me and my high school friends would go there, buy drinks, and then play board games for hours

@vivi @7666 in summary, vivis good 😤👍

@scathach @sun one of my research interests is in making formal verification easier... ig I'm more specifically interested in distributed systems but the single machine case is also extremely hard rn. Dafny is a cool language but it's pretty hard to use for most.

I'm actually so blackpilled on anything cybersecurity related. good practices are a nice thing to have but if we don't fundamentally change how we program computers, nothing's gonna change.

I really do think formal verification needs to be more encouraged. also ofc it's difficult to push for greatly decreasing attack surface of so many systems be so many nation states have a vested interest in keeping them open for surveillance

@scathach yea and it isn't to say that I dislike all things cybersecurity. I just hate marketing and shit around it. I think we literally don't have proper tools to make secure systems yet. and I also think most programmers would have trouble w these more proper tools

I FINALLY GOT KERNEL DEBUGGING WORKING WITH GDB

what a pain... theres like 3 or 4 different tricks i needed to do and all of them were scattered between different stackoverflow solutions and documentation...

main things needed:
* use menuconfig to enable debug info, turn off Kernel address space randomization (KASLR)
* use qemu options: -s -S
* USE hbreak instead of just break in gdb

@nik instant pot gang

starting to learn Haskell, I think it would be a good place for me to get started with more type theory and programming language stuff

yugiohhhh

@vriska holy shit ur actually living the dream

I feel the need to get involved with politics now somehow ... idk how but it only seems right

senator bean soup

IN THIS GREAT COUNTRY WE SUPPORT THE RIGHT TO CHOOSE BETWEEN PEPSI AND COKE

@kaia it was pretty crowded in the great hall (the rlly cool pic) but the rest of it rlly isn't that busy. also today is a Friday so it probably depends when

the library of Congress is sooo cool!!!

fedi circles

@shibao I STILL haven't been! I rlly need to, I only hear good things lol

@shibao @nik gun spooky tho