There is KDEConnect, which has apps for all major platforms (iOS, android, macOS, Windows and of course Linux) and some more. I even used between Apple devices when AirDrop did not work for some reason.
Thanks, I found it in the 'Content Downloaders' menu!
It estimates the download time to 6 hours, and it's not because of the size but most likely their server works slowly. And in the meanwhile it does not let you play, well tomorrow then :)
If anyone is interested the whole series can be watched on Youtube for free. Altogether it is not that great, nevertheless I find the meta story about the pilot fascinating (a show about conspiracy theories "predicts" the 9/11 attack).
Shameless plug: I am currently working on a free, open-source, mobile RSS reader which doesn't require a server or any kind of registration, because everything happens and stays on the device.
For anyone more deeply interested in this topic I recommend to read this blog post from Archagon. It describes the different alternatives (OT, CmRDT, CvRDT, diff sync) for writing a collaborative editor. And unlike academic papers it is written in a format how a programmer does research and thinks about a problem in real life, so it's very natural to follow, even if it's long and complex.
You basically make your home dir a git repo and by default ignore everything inside it. When you want to store a dotfile in that repo, you have to force add it (`git add -f`) and it will be tracked.
You can use the `git check-ignore` command to check if a certain directory is ignored. I used it in my zsh config to suppress the status of ignored directories in my prompt.
Prezi.com | Budapest, San Francisco | Full-time | Onsite, Relocation assistance to Budapest
Prezi is a zooming presentation software that uses an open canvas instead of traditional slides, is available on desktop, browsers, iOS and Android. With offices in San Francisco and Budapest, we work together with 250 employees from 24 different countries.
We are a devops engineering organization, working in cross-functional teams with POs, designers, UX researchers. We have already moved from the monolith to microservices, and we have some pretty unique challenges like infinite zooming with 60fps on all platforms.
Some benefits I'd highlight above the usual stuff: unlimited holidays, trips between San Francisco and Budapest, volunteering and charity events, regular hackathons, we organise conferences, happy hours, knowledge sharing program with fellow companies
Apply or get in touch at attila.gazso at prezi.com
Modern type systems made type inference and gradual typing possible and those are making a huge difference nowadays.
With type inference you can write programs almost as easily and productively as in dynamic languages. With gradual typing you can basically write the same code as in a dynamic language and still get type safety (e.g. TypeScript).
Swift, Go, (Rust, Scala, C# etc. but even C++) has type inference today. Maybe dynamic languages will get type annotations and gradual typing in the future and then basically we can have the best of both worlds.