Comment on
BBC starts experimenting with the Fediverse, running its own Mastodon instance
Reply in thread
It would be funny to censor X just with a single *
Replies
Comment on
2023 Hungarian Grand Prix - [RACE] discussion thread
Reply in thread
And his last 40 or so laps were on the same set of medium tires!
Comment on
Making the iPad part of my interOS lifestyle
I like to use mine to read various books and articles in pdf, I find it more comfortable than on a laptop. Apple pencil is also great for quick notes and drawings.
Comment on
[Discussion] What games are you playing on your deck? - August 2023
Kentucky Route Zero, quite a mythical experience I would say.
Comment on
Has anyone used or contributed to OpenStreetMap?
Reply in thread
I've heard good things about this app: https://apps.apple.com/app/id1621945342
Comment on
Reddit’s only free iOS app icons are ugly now
Reply in thread
You can change any app icon on iOS as well, but it is a bit hacky and not as good as on Android.
Comment on
Making the iPad part of my interOS lifestyle
Reply in thread
What apps do you use for that?
Comment on
The Dafny Programming and Verification Language
There is a good book about Dafny that came out recently, I highly recommend it - https://mitpress.mit.edu/9780262546232/program-proofs/