Although the math in the book is relatively basic I enjoyed it tremendously because it gives the historical development for everything and even describes the characters of different mathematicians, etc. The historical context helps so much with understanding.
I like your point about feedback. That's how I describe my difficulties with proofs, too.
There is no way of knowing a proof is right without knowing it's right. (Or maybe I am just missing the point)
A very well done interview. Discussing technical topics and trying to find common ground. Reading comments on Uncle Bob's Startup Trap article made me think HN users could maybe learn something from Prime.
I changed from pour over to cold brew around a year ago thanks to a recommendation of my co-worker. Can't go back to hot coffee now, I enjoy it way too much. Somehow it's much more forgiving than pour over coffee and super easy, too. Hario (and many others) sells some glass pitchers with filter. You put them in the fridge overnight and have great coffee in the morning.
About 4 years ago I filed a bug report about tabs opened from a pinned tab not opening as the rightmost tab (it opens as the first tab). I also tried to write a patch for it, but the issue is still open.
Anyway, how is Mozilla to work for? I always thought it must be great, but recently reading about the firings and project cancellations it doesn't seem so rosy anymore.
I can totally see that happening. And then it's 'oops we leaked all your kids audio', 'our ml researchers are listing to your kids audio to improve ads that will soon play on your tape recorder', etc.
This seems to be a theme. Toy quality going down. There was a tape recorder with mic from fisher price. You could use the mic to record on the tape and keep it around. I thought to buy it for my kids because I had good memories of it, but guess what. They replaced the tape with tiny memory that you have to overwrite all the time. If they at least would have supported some removable memory.
I recently started working through Basic Mathematics by Lang. It has exercises with solutions to about half of them. It starts basic but introduces simple proofs early.
Although what counts as 'from scratch' depends on the reader I guess. The book doesn't define numbers via sets, maybe check the table of contents.
wow, unrelated to the article content, but... I was on the page and thought 'how come there is so little noise on this page and I can focus on the text?'
Didn't know there is a 'lite' CNN. I wish the internet would be like that again.
The missing threading on mobile and overall app experience was what made me not switch to protomail. It wasn't the actual missing feature but the fact that when I googled for it I found people requesting this feature several years ago (maybe 2016) up until now and staff doesn't give any answer. So I thought it might not be the most customer focused business.
PRs are expensive. So when you think 'this is a self contained change, but I need it to continue development' you are unlikely to send a PR for it. You will just pile on more code.
Because if you make another PR based on that first PR and someone finally does code review and tells you to fix something then you suddenly need to propagate these changes to all follow up PRs which is quite some work.
And while I think I might just miss something obvious it seems many people miss it that's why we have blog posts about 'stacked PRs'. (On HN a day ago or so)