Hacker Newsnew | past | comments | ask | show | jobs | submit | t0asterb0t's commentslogin

The author has a series of blog posts introducing category theory to programmers: https://bartoszmilewski.com/2014/10/28/category-theory-for-p...

I'll admit to only having read the first few chapters, but it came across as an approachable intro to the math.


He has also done a youtube series on category theory for programmers [1]. I have personally been using a book recommended by someone here called "Conceptual Mathematics"[2] and have been finding it great so far in the sense that it only relies on high-school level maths concepts while introducing the categorical concepts in contexts where you can see the value of the approach [3].

It is really an interesting set of ideas and as soon as you start using it, some things start to change in how you approach problems. Just today in fact I was working on something and thought to myself "I need the opposite of a forgetful functor - I wonder what that is?" (turns out it's the "free group functor"). But because I knew about the existence of the concept it helped turn what would otherwise have been a maths problem that I would have really struggled with into something that was conceptually easy for me to deal with. I essentially could use the category theory to turn a problem that was hard to think about into something easy to think about (and also to show that this was valid) and then I could solve the problem in a conventional way.

[1] https://www.youtube.com/watch?v=I8LbkfSSR58&list=PLbgaMIhjbm...

[2] https://www.cambridge.org/highereducation/books/conceptual-m...

[3] As opposed to say Emily Riehl's "Category Theory in Context" https://math.jhu.edu/~eriehl/161/context.pdf where the maths required to even get started with the examples in the intro is graduate level. To get a sense, this is literally the first sentence of the first chapter: "A group extension of an abelian group H by an abelian group G consists of a group E together with an inclusion of G ↪→ E as a normal subgroup and a surjective homomorphism E ->> H that displays H as the quotient group E/G. " It's pretty full on.


KeePassXC supports passkeys in its latest version: https://keepassxc.org/blog/2024-03-10-2.7.7-released/


Like another commenter mentioned, this style is commonly used in headlines. It's referred to as historical present tense. Here are a few resources for more information:

https://en.wikipedia.org/wiki/Historical_present http://www.grammar.net/presentaspast

"Is" combined with "released" does sound odd, but it's not too unusual, like in this sentence: "Heat is released into the atmosphere by cars." (From http://www.merriam-webster.com/dictionary/release)


He appears to be at Pleasant Valley now: https://en.wikipedia.org/wiki/Hans_Reiser


Here's a less extensive article I read a while ago: http://fob.po8.org/student-code


If Google is influencing this decision, might it prefer to have recorded video stored on YouTube? The blog post mentioned that Twitch removed the 2-hour limit for exporting VODs to YouTube.


It looks like there's a back-and-forth with someone associated with Dash on the Dribbble here: https://dribbble.com/shots/1046492-Dash-app-replacement-icon...

The icon has changed since then as well.


That was the second in the comment you replied to. I reread it though and noticed that it looks like they admitted their mistake: https://dribbble.com/shots/1046492-Dash-app-replacement-icon...

I guess I'm OK with the situation now and I shall use Dash without guilt (if it turns out to be useful, buying the Alfred Powerpack now I think).


I can't unsee how bad that black visor looks on the new icon, though.

They should just throw out the baby and the bathwater and start fresh.


I've been looking for the same thing as well. Depending on whether anonymity is your goal, I'm curious if a cheap dedicated server might work as a high-bandwidth VPN.


It's quite likely. I was at a presentation by Kevin Mitnick recently where he pulled members of the audience on stage, and, using only their name, found their SSN and history of residence. They're not very private, unfortunately.


Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: