Stick your services into the type too, and you have `Effect`[0], the ultimate monad :)
342 karma · joined February 7, 2011
The worst offenders by far are the scroll & list views, which are basically useless. As a starting point, there is no way to get the current scroll position from a scroll view in iOS <18.
So yes, I often have to wrap the UIKit components myself, and deal with all the joys of UIKit I was hoping to finally avoid...
Apple did exactly the right thing with Swift itself: the Swift forums are excellent, and it's clear that Apple employees use these to prioritize the (very real) Swift bugs and limitations. Why does this not exist for SwiftUI?
These should really be open source: it's such a waste of time to have to experimentally poke around to see how the SwiftUI components interact with their UIKit counterparts, when these should really just be straightforward wrappers.
In many cases, the declarative APIs are just poorly thought out and/or clearly not "battle tested", and there is a lot of API churn in really crucial components which are also often not backported to older OS versions.
The word "easy" is another example: saying "it is easy to show X" (just?) means that X can be derived from the already stated theorems in a more-or-less mechanical way without having to introduce new concepts. It does not in any way suggest that deriving this will be "easy" for a student reading the paper.
(Of course the most challenging "easy" parts are best left as an exercise for the reader anyway...)
Immediately seeing if you misspelled a command because the color changes is a huge benefit if you're not super familiar with the command line.
The auto-complete and suggestions are also miles better than bash - they are automatically generated from man pages, so most commands have a usable set of completions.
The web-based config lets you easily tweak settings that would otherwise be an incomprehensible soup of PS1=3!@*(!@!@ gobbledygook.
Also, it mostly "just works" out of the box, so you really don't have to waste any time setting anything up if you don't really care.
But particularly on iOS, the native components have some incredibly subtle behavior (eg. the "fling" gestures from UIPageViewController, the native modal animations, overscroll, etc.), and these are extremely difficult to get right.
React Native's story for native inter-op has recently become miles better with JSI, which allows native<->JS FFI at much better performance than the previous approach. This has enabled libraries like Reanimated 2 (https://www.reanimated2.com/) and Gesture Handler 2, which take full advantage of this and get React Native apps tantalizingly close to "truly native"-feeling.
Keywords: React Native, TypeScript, RxJS, MobX, Node.js, PostgreSQL, Redis, SQLite, CQRS
Picnic is a new group chat app, built for close friends (https://picnic.chat).
Group chats matter, and they matter more than you might think. For billions of people, they've come to play a vital role in our most important relationships: the space online where our real friendships live. We believe the one-size-fits-all, functional apps where our group chats live today could be so much more. That's why we are on a mission to build a better home for people's favourite group chats: one that is more joyful, more intentional and more ethical.
It's an exceptionally good time to be joining our small but mighty founding team of top engineers from Facebook, Apple, Google and more. We are fresh from raising a £2.1m Seed round led by top tier VCs (announcement coming soon) and are backed by the likes of Robin Dunbar (the man behind Dunbar's number), Snapchat's 1st Engineer and many more world class operators.
We're looking to hire somebody who is comfortable working as a key part of a small team, with experience of having shipped consumer-facing mobile apps. The Senior in our job title does not refer to how many years of experience you have (or your degree!), but to your general approach to development: you are able to think about the system and architecture as a whole, know enough about all aspects of the stack to effectively diagnose issues, and are able to pass your knowledge onto other members of the team.
If this sounds like your kind of thing, read more about who we are, what we're doing & how you might fit in here: https://www.notion.so/teampicnic/Senior-Software-Engineer-c8...
Keywords: React Native, TypeScript, RxJS, MobX, Node.js, PostgreSQL, Redis, SQLite, CQRS
Picnic is a new group chat app, built for close friends (https://picnic.chat).
Group chats matter, and they matter more than you might think. For billions of people, they've come to play a vital role in our most important relationships: the space online where our real friendships live. We believe the one-size-fits-all, functional apps where our group chats live today could be so much more. That's why we are on a mission to build a better home for people's favourite group chats: one that is more joyful, more intentional and more ethical.
It's an exceptionally good time to be joining our small but mighty founding team of top engineers from Facebook, Apple, Google and more. We are fresh from raising a £2.1m Seed round led by top tier VCs (announcement coming soon) and are backed by the likes of Robin Dunbar (the man behind Dunbar's number), Snapchat's 1st Engineer and many more world class operators.
We're looking to hire somebody who is comfortable working as a key part of a small team, with experience of having shipped consumer-facing mobile apps. The _Senior_ in our job title does not refer to how many years of experience you have (or your degree!), but to your general approach to development: you are able to think about the system and architecture as a whole, know enough about all aspects of the stack to effectively diagnose issues, and are able to pass your knowledge onto other members of the team.
If this sounds like your kind of thing, read more about who we are, what we're doing & how you might fit in here: https://www.notion.so/teampicnic/Senior-Software-Engineer-c8...
Keywords: React Native, TypeScript, RxJS, MobX, Node.js, PostgreSQL, Redis, SQLite, CQRS
Picnic is a new group chat app, built for close friends (https://picnic.chat).
Group chats matter, and they matter more than you might think. For billions of people, they've come to play a vital role in our most important relationships: the space online where our real friendships live. We believe the one-size-fits-all, functional apps where our group chats live today could be so much more. That's why we are on a mission to build a better home for people's favourite group chats: one that is more joyful, more intentional and more ethical.
It's an exceptionally good time to be joining our small but mighty founding team of top engineers from Facebook, Apple, Google and more. We are fresh from raising a £2.1m Seed round led by top tier VCs (announcement coming soon) and are backed by the likes of Robin Dunbar (the man behind Dunbar's number), Snapchat's 1st Engineer and many more world class operators.
We're looking to hire somebody who is comfortable working as a key part of a small team, with experience of having shipped consumer-facing mobile apps. The Senior in our job title does not refer to how many years of experience you have (or your degree!), but to your general approach to development: you are able to think about the system and architecture as a whole, know enough about all aspects of the stack to effectively diagnose issues, and are able to pass your knowledge onto other members of the team.
If this sounds like your kind of thing, read more about who we are, what we're doing & how you might fit in here: https://www.notion.so/teampicnic/Senior-Software-Engineer-c8...
Keywords: React Native, TypeScript, RxJS, MobX, Node.js, PostgreSQL, Redis, SQLite, CQRS
Picnic is a new group chat app, built for close friends (https://picnic.chat).
Group chats matter, and they matter more than you might think. For billions of people, they've come to play a vital role in our most important relationships: the space online where our real friendships live. We believe the one-size-fits-all, functional apps where our group chats live today could be so much more. That's why we are on a mission to build a better home for people's favourite group chats: one that is more joyful, more intentional and more ethical.
It's an exceptionally good time to be joining our small but mighty founding team of top engineers from Facebook, Apple, Google and more. We are fresh from raising a £2.1m Seed round led by top tier VCs (announcement coming soon) and are backed by the likes of Robin Dunbar (the man behind Dunbar's number), Snapchat's 1st Engineer and many more world class operators.
We're looking to hire somebody who is comfortable working as a key part of a small team, with experience of having shipped consumer-facing mobile apps. The Senior in our job title does not refer to how many years of experience you have (or your degree!), but to your general approach to development: you are able to think about the system and architecture as a whole, know enough about all aspects of the stack to effectively diagnose issues, and are able to pass your knowledge onto other members of the team.
If this sounds like your kind of thing, read more about who we are, what we're doing & how you might fit in here: https://www.notion.so/teampicnic/Senior-Software-Engineer-c8...
Keywords: React Native, TypeScript, RxJS, MobX, Node.js, PostgreSQL, Redis, SQLite, CQRS
Picnic is a new group chat app, built for close friends (https://picnic.chat).
Group chats matter, and they matter more than you might think. For billions of people, they've come to play a vital role in our most important relationships: the space online where our real friendships live. We believe the one-size-fits-all, functional apps where our group chats live today could be so much more. That's why we are on a mission to build a better home for people's favourite group chats: one that is more joyful, more intentional and more ethical.
It's an exceptionally good time to be joining our small but mighty founding team of top engineers from Facebook, Apple, Google and more. We are fresh from raising a £2.1m Seed round led by top tier VCs (announcement coming soon) and are backed by the likes of Robin Dunbar (the man behind Dunbar's number), Snapchat's 1st Engineer and many more world class operators.
We've been using React Native from day one, and while it has gotten us very far very quickly, we're starting to hit some of the roadblocks that should be familiar to anyone who has worked with React Native. We're now looking to hire someone who has a deep understanding of the underlying platforms (iOS and Android), to help us implement native components where performance and user experience matter most.
If this sounds like your kind of thing, read more about who we are, what we're doing & how you might fit in here: https://www.notion.so/teampicnic/Senior-Mobile-Engineer-c893...
Picnic is a new group chat app, built for close friends (https://picnic.chat).
Group chats matter, and they matter more than you might think. For billions of people, they've come to play a vital role in our most important relationships: the space online where our real friendships live. We believe the one-size-fits-all, functional apps where our group chats live today could be so much more. That's why we are on a mission to build a better home for people's favourite group chats: one that is more joyful, more intentional and more ethical.
It's an exceptionally good time to be joining our small but mighty founding team of top engineers from Facebook, Apple, Google and more. We are fresh from raising a £2.1m Seed round led by top tier VCs (announcement coming soon) and are backed by the likes of Robin Dunbar (the man behind Dunbar's number), Snapchat's 1st Engineer and many more world class operators.
We've been using React Native from day one, and while it has gotten us very far very quickly, we're starting to hit some of the roadblocks that should be familiar to anyone who has worked with React Native. We're now looking to hire someone who has a deep understanding of the underlying platforms (iOS and Android), to help us implement native components where performance and user experience matter most.
If this sounds like your kind of thing, read more about who we are, what we're doing & how you might fit in here: https://www.notion.so/teampicnic/Senior-Mobile-Engineer-c893...
The style is super friendly and builds up intuition slowly, while being completely rigorous. For a great example, check out the "Crema di Mascarpone"[1] chapter which introduces all the tools for writing rigorous mathematical proofs using flow diagrams.
[0]: https://graphicallinearalgebra.net/
[1]: https://graphicallinearalgebra.net/2015/05/06/crema-di-masca...
It's also available as a stand-alone if you don't already own the game: https://store.ubi.com/upc/discovery-tour-by-assassin-s-creed...
Picnic is group chat built for close friends. (https://picnic.chat)
When it comes to our most precious relationships, we believe that today's messaging apps are doing the bare minimum to bring us closer together. That's why we're building a 10X more rewarding group chat experience.
We are a small team based out of London (UK) on a mission to make the world better friends. On the back of a successful beta launch of our flagship app, we just this month closed a £2m Seed round from some of the world's top VCs (not yet publicly announced). Our founding team includes engineers from Google, Monzo and Skyscanner while our advisory board includes the originator of Dunbar's number, Snapchat's 1st Engineer, Bumble's Chief Brand Officer and many more.
We've been using React Native from day one, and while it has gotten us very far very quickly, we're starting to hit some of the roadblocks that should be familiar to anyone who has worked with React Native. We're now looking to hire someone who has a deep understanding of the underlying platforms (iOS and Android), to help us implement native components where performance and user experience matter most.
If this sounds like your kind of thing, read more about who we are, what we're doing & how you might fit in here: https://www.notion.so/teampicnic/Senior-Mobile-Engineer-iOS-...
Picnic is a supercharged group chat app, built for friends. (https://picnic.chat)
Today's messaging apps are doing the bare minimum for friendship. At Picnic, we believe there is huge untapped potential. We are building a 10X better way to spend 'in-between time' with friends, based on the science of friendship.
We are a small team with excellent experience in consumer social based out of London, UK (currently working remotely due to COVID-19). With backing from leading social health experts (including the originator of Dunbar's number) and a host of world class advisors and investors (1st Engineer at Snapchat, TikTok Head of Comms, Chief Brand Officer at Bumble), we are on a mission to make the world better friends.
We are looking for full-stack developers who love creating products that people want to use. You understand that apps—and code—are for people, not for computers, and always strive to make our app and codebase more understandable and easy to use. You'll be helping to build an app using the latest best practices targeting the iOS, Android, and the web. We're using TypeScript across the stack, React with MobX client-side, an event-sourced architecture using PostgreSQL and Redis server-side, and GraphQL for type-safe communication between the two. We've written a detailed summary of our stack and workflow in the document linked below, so that you can get a quick overview of whether working with us could excite you.
We've taken care to make our hiring process as transparent and stress-free as possible. We won't do any whiteboard / algorithm tests, and you'll be paid for any take-home test we ask you to complete. We aim to give honest feedback after any interview, so that the process is not a waste of time for you even if the role is not a fit for you for whatever reason.
We are looking to hire this person to start July 6th 2020. To apply, simply take a look at the process outlined here: https://www.notion.so/teampicnic/Software-Engineer-React-Nat...
There are all sorts of other latency that need to be taken into consideration too, and unfortunately in practice those do add up to live music being unplayable on pretty much any network.
There's a really interesting project called NINJAM https://www.cockos.com/ninjam/ which is designed for live music jam sessions. It flips this fundamental constraint on its head - instead of being real-time, it streams everyone else's output delayed by one bar (theoretically any interval >RTT I guess?). I haven't tried it, but it's a really cool idea.
Picnic is a digital home for your friendships. Friends make our lives happier, our minds healthier, and our decisions better (at least most of the time). Built on group chat, Picnic combines technology and science to ensure your most important relationships stay strong, online and offline. We're a tiny team based out of East London (London Fields to be exact!).
We are looking for full-stack developers who love creating products that people want to use. You understand that apps—and code—are for people, not for computers, and always strive to make our app and codebase more understandable and easy to use. You'll be helping to build an app using the latest best practices targeting the web, iOS and Android. We're using TypeScript across the stack, React with hooks client-side, an event-sourced architecture using PostgreSQL and Redis server-side, and GraphQL for type-safe communication between the two.
We've taken care to make our hiring process as transparent and stress-free as possible. We won't do any whiteboard / algorithm tests, and you'll be paid for any take-home test we ask you to complete. We aim to give honest feedback after any interview, so that the process is not a waste of time for you even if the role is not a fit for you for whatever reason.
To apply, simply take a look at the process outlined here: https://www.notion.so/teampicnic/Full-Stack-Developer-React-...
Picnic is a digital home for your friendships. Friends make our lives happier, our minds healthier, and our decisions better (at least most of the time). Built on group chat, Picnic combines technology and science to ensure your most important relationships stay strong, online and offline. We're a tiny team based out of East London (London Fields to be exact!).
We are looking for full-stack developers who love creating products that people want to use. You understand that apps—and code—are for people, not for computers, and always strive to make our app and codebase more understandable and easy to use. You'll be helping to build an app using the latest best practices targeting the web, iOS and Android. We're using TypeScript across the stack, React with hooks client-side, an event-sourced architecture using PostgreSQL and Redis server-side, and GraphQL for type-safe communication between the two.
We've taken care to make our hiring process as transparent and stress-free as possible. We won't do any whiteboard / algorithm tests, and you'll be paid for any take-home test we ask you to complete. We aim to give honest feedback after any interview, so that the process is not a waste of time for you even if the role is not a fit for you for whatever reason.
To apply, simply take a look at the process outlined here: https://www.notion.so/teampicnic/Full-Stack-Developer-React-...
Picnic is a digital home for your friendships. Friends make our lives happier, our minds healthier, and our decisions better (at least most of the time). Built on group chat, Picnic combines technology and science to ensure your most important relationships stay strong, online and offline. We're a tiny team based out of East London (London Fields to be exact!).
We are looking for full-stack developers who love creating products that people want to use. You understand that apps—and code—are for people, not for computers, and always strive to make our app and codebase more understandable and easy to use. You'll be helping to build an app using the latest best practices targeting the web, iOS and Android. We're using TypeScript across the stack, React with hooks client-side, an event-sourced architecture using PostgreSQL and Redis server-side, and GraphQL for type-safe communication between the two.
We've taken care to make our hiring process as transparent and stress-free as possible. We won't do any whiteboard / algorithm tests, and you'll be paid for any take-home test we ask you to complete. We aim to give honest feedback after any interview, so that the process is not a waste of time for you even if the role is not a fit for you for whatever reason.
To apply, simply take a look at the process outlined here: https://www.notion.so/Full-Stack-Developer-React-Native-Node...
We're a tiny, but well-backed, team trying to build an alternative to the ad-funded social media platforms of today, by prioritising face-to-face time over screen time. Between us we've previously founded consumer tech businesses, led product teams, run a micro-VC and even launched a (secret) music career.
We are looking for React & React Native developers who love creating products that people want to use. You understand that apps—and code—are for people, not for computers, and always strive to make our app and codebase more understandable and easy to use.
You'll be helping to build an app using the latest best practices targeting the web, iOS and Android. We're using TypeScript across the stack, React with hooks client-side, an event-sourced architecture using PostgreSQL and Redis server-side, and GraphQL for type-safe communication between the two.
We've taken care to make our hiring process as transparent and stress-free as possible. We won't do any whiteboard / algorithm interviews, and you'll be paid for any take-home test we ask you to complete. We aim to give honest feedback after any interview, so that the process is not a waste of time for you even if the role is not a fit for you for whatever reason.
To apply, or to find out more about the role and our hiring process, check out https://www.notion.so/React-Native-Developer-16c3336b77754d2...
An example would be that classes that don't explicitly declare their fields will throw a type error when their fields are mutated (eg. `this.foo = 123`).