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