Per VognsenSince he has just passed away, I was trying to find a free PDF link of my favorite Hoare paper, Proof of Correctness of Data Representations, but unfortunately it is under the Springer iron dome. You can enter the DOI 10.1007/3-540-07994-7_54 into your preferred website for liberating scientific information.
/sbin/sam
- 89 Followers
- 464 Following
- 301 Posts
phd student, uw cse
Adrian SampsonBecause 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
June"The most wildly successful project I’ve ever released is no longer mine. In all my years of building things and sharing them online, I have never felt so violated."
https://beyondloom.com/blog/onwigglypaint.html
Edit: I am not the author of this. Please go check out https://beyondloom.com/ for more of the author's work.
myrmepropagandistStardew valley is a popular game with people in my generation. Like most video games it's a power fantasy.
In this case about growing food, having a functional "third space" in your community and fixing public transit. Pure escapism.
Also there are magic forest spirits and dungeons with monsters and treasures.
A Light Shining In DarknessPeter Thiel is an anagram of Hitler Pete and it fucking shows.
scott f
Amy WorrallIntroducing Octavo, my Mac app for turning PDFs into booklets, cleaning up bad scans, printing zines, labels, and more.
If you follow me, you may have seen my #BuildInPublic journey developing it over the last few months! It's now launched, and is available on the Mac App Store for $25 (via in app purchase so you can try before you buy).
https://apps.apple.com/us/app/octavo/id6757485225?mt=12
For more info, the website has more screenshots and a copy of the user's guide: https://octavo.pro
Andres@Daojoan The funny thing about bringing up Debian's web-of-trust is that in order to become an official Debian Developer, you used to have to meet up with another Developer *in person* to sign PGP keys. It took me almost a year to complete that step, when I lived in a podunk town without a car (I had to hitch a ride with a friend to NYC and coordinate meeting up with another DD there).
Things changed with covid: https://lwn.net/Articles/831401/. However, in The Slopocene, we may need to switch back..
mike vollmer 🎃We have an opening for a lecturer in programming languages: https://jobs.kent.ac.uk/vacancy.aspx
The deadline is tomorrow!
NanoraptorSome terrifically titled papers from a discovered collection of NASA research documents found in a skip
(with thanks to @JuliaRez for the original pic)
