overview for 17451k

[Discussion] What games are you playing on your deck? - August 2023 in c/[email protected]

[–] 17451k 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

[–] 17451k 25 points 1 year ago

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

2023 Hungarian Grand Prix - [RACE] discussion thread in c/formula1

[–] 17451k 10 points 1 year ago

And his last 40 or so laps were on the same set of medium tires!

Making the iPad part of my interOS lifestyle in c/apple_enthusiast

[–] 17451k 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

[–] 17451k 3 points 1 year ago (1 children)

What apps do you use for that?

The Dafny Programming and Verification Language in c/[email protected]

[–] 17451k 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

[–] 17451k 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/[email protected]

[–] 17451k 4 points 1 year ago

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