Earlier quoted context omitted.
That's amazing! I've never found that site before but I'm going to read some of their papers. Thank you for linking
Maude fascinates me to no end. Currently I'm actually re-learning kdb+/q as I want to implement some things related to bioinformatics using it, but at some point I'd really like to do some things with logic/dependent types in biology. Happy to chat further grant eonias dot org
Ask HN: What are you learning?
851–860 of 906 posts
Re: Ask HN: What are you learning?
#852The side project itself is essentially a platform to enable post-split parents co-parent effectively.
Re: Ask HN: What are you learning?
#853I'm working through Aluffi's Algebra: Chapter Zero , which covers abstract algebra (groups, fields, vector spaces, etc.) with category theoretic foundations. I took undergraduate algebra several years ago, and I'm really interested in category theory from a compositionality perspective, so this is a good opportunity to brush up on both topics. Aluffi is really well-written. It assumes some degree of mathematical matu…
I am curious about category theory? Do you have any resources on where it can be applied?
Seven Sketches in Compositionality: An Invitation to Applied Category Theory https://arxiv.org/abs/1803.05316
Applied Category Theory mini-course: https://ocw.mit.edu/courses/mathematics/18-s097-applied-cate...
Programming with Categories mini-course (with Bartosz Milewski): http://brendanfong.com/programmingcats.html
Re: Ask HN: What are you learning?
#854Earlier quoted context omitted.
Implementing it is the fun part! You might like going through the Raft lab in MIT's distributed systems course: https://pdos.csail.mit.edu/6.824/labs/lab-raft.html + Jon Gjengset's writeup on some of the "gotcha"s: https://thesquareplanet.com/blog/students-guide-to-raft/
Nice, I didn't know that course and I noticed that I can follow along the course, the classes are recorded. Do you think it's something worth investing to someone interested in distributed systems? The only downside is that I can't have my lab exercises validated.
Re: Ask HN: What are you learning?
#855Learning the bond market, figuring out the different characteristics of all the different types of bonds, what the risks are, what the potential for gain is. I trade options on equities regularly and recently a friend has been looking for help on figuring out how to handle a large amount of money they came into, so I figured brushing up on bond investing would be helpful since their risk tolerance is substantially lo…
Re: Ask HN: What are you learning?
#856Earlier quoted context omitted.
sometimes feels very sad about this since one's value should be reflected by the awesome projects he has done. I think it's just laziness of the FAANG companies. If the interviewer is well prepared and keeps digging the resume, then he should know the candidate is good or not. But by leetcoding, it's simpler for them, just keep asking the repeated questions.
I think that if your hobby projects will be important for many people: i.e. you develop something with the importance npm, or Ruby on Rails, or Vue.js, FAANG companies will make you offers without asking you leetcode kind of questions.
Re: Ask HN: What are you learning?
#857Earlier quoted context omitted.
I think that if your hobby projects will be important for many people: i.e. you develop something with the importance npm, or Ruby on Rails, or Vue.js, FAANG companies will make you offers without asking you leetcode kind of questions.
I read that the guy who invented Homebrew still had to go through the leetcode interview at Google (which they failed) so I'm not sure if they ever waive the interview requirements?
Re: Ask HN: What are you learning?
#858Earlier quoted context omitted.
Learning to draw is something anyone can do and is incredibly rewarding. It activates a huge part of your brain (visual) that starts firing when you see all sorts of scenes, faces, patterns, colors in real life. Try the book "drawing on the right side of the brain". Another good one is the Bargue sculpture drawing course.
Yea, right, until you try to get perspective correct. If you understand this, you are a genius: https://crafts.stackexchange.com/questions/3316/how-to-measu...
Re: Ask HN: What are you learning?
#859Earlier quoted context omitted.
I took a look at the code, and read the paper. It seems that they directly calculate the entire 2D DP array, but use SIMD to allow each cell to contain multiple values, one for each query string. My approach uses anti-diagonals instead, but it is fast for one vs one comparisons, instead of handling multiple query strings. Regardless, my goal was to learn some SIMD and Rust (first time for both), so I did not read man…
One thing to keep in mind is for SIMD memory locality is very important; a diagonal vector with a standard 2D DP grid is gonna lead to a lot of cache misses. Just something else to learn about.
The problem with handling diagonals is that indexing cells and comparing characters on the diagonal becomes complex. Dealing with this without many branches (less branch mispredictions) is the hard part.
Re: Ask HN: What are you learning?
#860Earlier quoted context omitted.
That’s awesome! I did the same a couple of years ago (took about 1 year to complete) and it’s one of the things I’m most proud of, so I hope it feels as fulfilling for you too!
Cool! Thanks! I'm most worried about the finishing part, honestly. What did you end up doing for it? I keep debating between whether to leave the wood visible (with Tru Oil or wipe-on polyurethane), or paint it (lacquer, super labor intensive, slow, expensive), or dye/stain it and use a clear finish on top of that.
I’m personally a fan of leaving the wood visible but the best thing is you can do whatever you want and it’ll be awesome because you made it.