rgoldfinger

You should read the paper because it addresses this.

Totally agree. With ai coding, ensuring correctness is critical. Having types and compile-time checks helps a lot.

Good catch. I tweaked it some, let me know if that helps.

This is correct. Tech founders have famously never dropped out of school.

I made a (free and ad free) app for BART that tells you if you need to run to catch your train or not. Instantly upon opening the app, without needing to tap anything, it automatically figures out which train you want and helps you hurry, just a little bit, to make the next one rather than wait.

Feedback appreciated!

https://apps.apple.com/us/app/should-i-run/id933717076

you might have long covid

From the opinion, some encouragement from the judge for others to try a similar approach again:

> That said, we mean not to discourage lawyers from being inventive and management from experimenting with novel solutions. Creative crafting in the law can at times accrue to the benefit of all, or nearly all, stakeholders. Thus we need not lay down a rule that no nontraditional debtor could ever satisfy the Code’s good-faith requirement.

Here's an explanation I found persuasive for why the 60's and 70's buildings don't appeal to many of us: https://commonedge.org/the-mental-disorders-that-gave-us-mod...

In short, the designers of these buildings experienced trauma during the wars that changed their brains, in a way that makes human features upsetting. Most buildings reference human features in some way (mouth, eyes), and this modernism avoids that and calms their brains.

It aligns nicely with the astute observation about the windows, in that they humanize these large buildings.

The same could be said for any use of docker images. Seems a little unfair to single out Github.

Quizlet | Software Engineer | San Francisco, CA / Denver, CO | Full Time | ONSITE

I'm a software engineer on the Web Developer Experience team at Quizlet. We're looking for senior engineers to help us improve the technical underpinnings and developer experience of our web app and backend services, used by tens of millions of learners every day.

If you can't stop thinking about the best design patterns and developer experience, and want to have a big impact on the technical direction of a high-growth and successful company, then please reach out. You'll be given the space to do the job right.

Quizlet (https://quizlet.com/) is building an online education business with over 50 million monthly active users. In addition to roles on my team, we're hiring for a variety of product and infrastructure positions. https://quizlet.com/careers#positions

Please reach out to me if you want to learn more about the Web Developer Experience team at roger.goldfinger at quizlet dot com.

Tech Stack: Kubernetes, React, Typescript, HHVM, Kotlin, MySQL, CircleCI, Google Cloud

Quizlet | Software Engineer | San Francisco, CA / Denver, CO | Full Time | ONSITE

I'm a software engineer on the Web Infra team at Quizlet. We're looking for senior engineers to help us improve the technical underpinnings and developer experience of the React (Typescript) web app and our backend services, used by millions every day. If you can't stop thinking about the best design patterns and developer experience, and want to have a big impact on the technical direction of a high-growth and successful company, then please reach out. You'll be both challenged and given the space to do the job right.

Quizlet (https://quizlet.com/) is building an online education business with over 50 million monthly active users. In addition to roles on my team, we're hiring for a variety of product and infrastructure positions. https://quizlet.com/careers#positions

Please reach out to me if you want to learn more about the Web Infra team at roger.goldfinger at quizlet dot com. Tech Stack: Kubernetes, React, Typescript, HHVM, Kotlin, MySQL, CircleCI, Google Cloud

Remind | Software Engineer | San Francisco or Remote | Full Time At Remind (https://remind.com/) we are building an ed-tech business on top of our 30 million monthly active teachers, students, parents, and guardians as we strive to get every kid a chance to succeed.

We are looking for senior engineers to help us scale our services as well as take our reliability to the next level. We've got systems in go, node, ruby, and python backed by AWS Aurora, Dynamo, SQS, and lots of other fun tech. See https://boards.greenhouse.io/remind/jobs/496462?gh_jid=49646.... for more info, or reach out directly to me.

We are a small but mighty team looking for engineers who want to have deep impact on both education and our business.

Email me roger at remindhq dot com if interested. Thanks!