on [Discussion] What games are you playing on your deck? - August 2023 · c/steamdeck · 4 pts · 3yKentucky Route Zero, quite a mythical experience I would say.
on BBC starts experimenting with the Fediverse, running its own Mastodon instance · c/technology · 25 pts · 3yIt would be funny to censor X just with a single *
on 2023 Hungarian Grand Prix - [RACE] discussion thread · c/formula1 · 10 pts · 3yAnd his last 40 or so laps were on the same set of medium tires!
on Making the iPad part of my interOS lifestyle · c/apple_enthusiast · 5 pts · 3yI 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.
on Making the iPad part of my interOS lifestyle · c/apple_enthusiast · 3 pts · 3yWhat apps do you use for that?
on The Dafny Programming and Verification Language · c/formal_methods · 2 pts · 3yThere is a good book about Dafny that came out recently, I highly recommend it - https://mitpress.mit.edu/9780262546232/program-proofs/
on Reddit’s only free iOS app icons are ugly now · c/technology · 3 pts · 3yYou can change any app icon on iOS as well, but it is a bit hacky and not as good as on Android.
on Has anyone used or contributed to OpenStreetMap? · c/linux · 4 pts · 3yI've heard good things about this app: https://apps.apple.com/app/id1621945342
Kentucky Route Zero, quite a mythical experience I would say.
It would be funny to censor X just with a single *
And his last 40 or so laps were on the same set of medium tires!
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.
What apps do you use for that?
There is a good book about Dafny that came out recently, I highly recommend it - https://mitpress.mit.edu/9780262546232/program-proofs/
You can change any app icon on iOS as well, but it is a bit hacky and not as good as on Android.
I've heard good things about this app: https://apps.apple.com/app/id1621945342