overview for 17451k

[Discussion] What games are you playing on your deck? - August 2023 in c/steamdeck@sopuli.xyz

[–] 17451k@lemmy.world 4 points 1 year ago

Kentucky Route Zero, quite a mythical experience I would say.

BBC starts experimenting with the Fediverse, running its own Mastodon instance in c/technology@lemmy.world

[–] 17451k@lemmy.world 25 points 1 year ago

It would be funny to censor X just with a single *

Making the iPad part of my interOS lifestyle in c/apple_enthusiast@lemmy.world

[–] 17451k@lemmy.world 5 points 1 year ago

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.

Making the iPad part of my interOS lifestyle in c/apple_enthusiast@lemmy.world

[–] 17451k@lemmy.world 3 points 1 year ago (1 children)

What apps do you use for that?

The Dafny Programming and Verification Language in c/formal_methods@programming.dev

[–] 17451k@lemmy.world 2 points 1 year ago

There is a good book about Dafny that came out recently, I highly recommend it - https://mitpress.mit.edu/9780262546232/program-proofs/

Reddit’s only free iOS app icons are ugly now in c/technology@lemmy.world

[–] 17451k@lemmy.world 3 points 1 year ago

You can change any app icon on iOS as well, but it is a bit hacky and not as good as on Android.

Has anyone used or contributed to OpenStreetMap? in c/linux@lemmy.ml

[–] 17451k@lemmy.world 4 points 1 year ago

I've heard good things about this app: https://apps.apple.com/app/id1621945342