codesuki

Thanks for the recommendation, looks promising!

I recently read mathematics for the nonmathematician. https://www.goodreads.com/book/show/281821.Mathematics_for_t...

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)

I will look into Lean that is mentioned here.

I really liked this book https://www.goodreads.com/en/book/show/2558730.Digital_Desig...

It teaches the basics and then how to build a MIPS processor.

I know that's only part of what nand 2 tetris aims for. But still good.

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 had to laugh so much because of spreadsheep. Thank you.

I found this book very useful for basic topics. https://www.goodreads.com/en/book/show/79781

It has solutions for many exercises.

In Germany you can negotiate a few things down in electronic stores. Particularly if you buy several items. Or if the competitor sells it cheaper.

Same works in Japan. Saved me a few hundred bucks on my TV.

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.

Thanks for sharing! Didn't read about that one.

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.