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.

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.

https://www.reddit.com/r/emacs/comments/f2c99b/you_can_play_...

Great post!

I think https://news.ycombinator.com/item?id=26925235 put it nicely.

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)

AFAIU this is trunk based development. It's just way easier with a system like Gerrit than it is with GitHub.

Maybe I am just too dumb but I always found pull requests hard for making small commits. Somehow PRs always ended up being on the bigger end. We even tried these stacked PRs but it was quite confusing.

In the end we moved to Gerrit and never looked back. We are not super experienced yet but I'd say our commit quality went up by quite a bit.

This is a good introduction to the differences of stacked diffs vs PRs: https://jg.gg/2018/09/29/stacked-diffs-versus-pull-requests/

This resonated a lot with me. I spent way too much time trying to find a silver bullet. This one thing that I am missing.

I've never worked in silicon valley so I thought there must be some magic that makes everything better.

But from talking to people in open source related slack groups, on conferences, and to great senior engineers I came to understand that all I was missing was the courage to follow through with whatever ideas I had. No magic solutions. Just hard thinking.

I came to the same conclusion. I wanted to write ADRs since the first time I read about them a few years back. Thinking more about it I concluded that commit messages are the right place to document this. You can find the commit for a line of code and you can just read git log.

If people tried both and have opinions please share. So far I am ok with commit messages even if they tend to be long.

Another thing. How do you people think ADRs compare to design docs? IMO design docs are for gathering feedback and ADRs are for documenting decided things, there is some overlap.

Welcome to my world.

Do you know any books or courses that focus on every day /chemistry? That would be a nice way to learn.

Just copy pasted ;)

Thanks for the tldr. Maybe good to always add that when posting a link :)

Also from the article: "You can’t take your old organization based on feature teams, roadmaps and passive managers, then overlay a technique from a radically different culture, and expect that will work or change anything."

I think this headline is misleading in 2 ways.

1. yes you might get a house at this price but it's either 1-2 hours out of the city center (which is fine, just saying Tokyo is large.) Or alternatively it's in bad neighborhoods. (bad is relative if you are from the US)

2. your house will most likely look like this: https://www.ii-ie2.net/dat/5ba1164d.jpg

Sayonara sunlight, hello neighbor.

here are listings: https://www.homes.co.jp/smp/kodate/shinchiku/tokyo/list/

there are nice ones in the list. I am just saying that this is the eastern country side of Tokyo (check the map) when the title probably makes everyone think something different.

The articles on this blog argue exactly the same thing. https://svpg.com/the-most-important-thing/ I really enjoy his articles, they taught me a lot.

Thank you!