Top all-time · #2046
Nikita Sobolev
Personal blog · sobolevn.meprogrammingweb
Nikita Sobolev writes sobolevn’s personal blog, a personal blog at sobolevn.me about programming and web. Since 2019, 39 different Hacker News readers have linked it 62 times, most often “Higher Kinded Types in Python”. The last post was in 2021, but the archive is still widely read.
On good software, mediocre software, and bad software. Also rants about management and development processes.
Most-linked posts?
- Higher Kinded Types in Python7 people · 8 mentions · first linked 2020-10-26
- Typeclasses in Python7 people · 7 mentions · first linked 2021-06-30
- How async should have been in Python6 people · 6 mentions · first linked 2020-06-08
- Use callable classes, SRP, DI, and composition to write simple Python code4 people · 4 mentions · first linked 2019-03-11
- Do Not Log4 people · 4 mentions · first linked 2020-03-11
- Strongly TypeScript Vue4 people · 4 mentions · first linked 2019-07-01
- Python exceptions considered an anti-pattern4 people · 4 mentions · first linked 2019-02-11
- Simple dependent types in Python3 people · 3 mentions · first linked 2019-01-31
- Complexity Waterfall3 people · 3 mentions · first linked 2019-10-14
- /git-secret/3 people · 3 mentions · first linked 2023-10-25
What Hacker News says?
The project cites this blog post[0] on the "anti-pattern" that is Python exceptions, and I honestly couldn't be turned off on this project anymore after reading it if this is the inspiration behind it. The examples in the README and this blog post just give me huge "nope" vibes. Obviously Python could learn a lot more from functional programming, but this is the wrong way to go about a lot of it. 0. https://sobolevn…
Comment linking /2019/02/python-exceptions-considered-an-antipattern
on “Functional Programming in Python”Submitted Do Not Log as a story · 107 points
HN discussionI believe git-secret[0] does what you describe. The author of Lunar[1] uses it to hide the private elements in a public repo. [0]: https://sobolevn.me/git-secret/ [1]: https://github.com/alin23/Lunar/
Comment linking /git-secret/
on “Git-crypt – transparent file encryption in Git”Submitted Do not log as a story · 98 points
HN discussionneat, TIL https://sobolevn.me/git-secret/
Comment linking /git-secret/
on “Managing dotfiles with Make”Submitted Python exceptions considered an anti-pattern as a story · 47 points
HN discussionThe interesting bit starts at https://sobolevn.me/2019/02/python-exceptions-considered-an-... , where it introduces a library for wrapping errors in return types, even if it got little to do with the headline. IMHO the article would be stronger with a title about what it presents and without the first half.
Comment linking /2019/02/python-exceptions-considered-an-antipattern
on “Python exceptions considered an anti-pattern”Submitted Typeclasses in Python as a story · 8 points
HN discussionA (correct) description of monads requires talking about higher-kinded types, which rules out those languages immediately, unless MyPy has come a long way since I last looked. Apart from that, frankly, I think that Haskell syntax (or just mathematical type syntax, which looks very similar) is so much cleaner when talking about higher-order functions that it's worth spending a little while explaining what `m a → (a →…
Comment linking /2020/10/higher-kinded-types-in-python
on “The Curse of the Excluded Middle (2014)”Submitted Higher Kinded Types in Python as a story · 7 points
HN discussionThis example on python exceptions on their sample queries... The second result is a very opinionated result about exceptions considered and anti pattern https://sobolevn.me/2019/02/python-exceptions-considered-an-... Maybe this was tweaked to be catchy for developers but I don't think is the right thing to see as the second entry. If you search for exceptions you want to learn how they work, that is what 99% of the…
Comment linking /2019/02/python-exceptions-considered-an-antipattern
on “Kagi finally let me lay Google Search to rest”Submitted Typeclasses in Python as a story · 5 points
HN discussionI've happily been using git-secret ( https://sobolevn.me/git-secret/ ) for encrypting and committing non-critical (i.e. non-production) secrets for a while now. It sounds like Gittuf will do a lot more than git-secret, but for the use case of encrypted files specifically, are there any significant differences in the approach that Gittuf has taken?
Comment linking /git-secret/
on “Gittuf – a security layer for Git using some concepts introduced by TUF”Submitted How async should have been in Python as a story · 4 points
HN discussionSubmitted Complexity Waterfall as a story · 4 points
HN discussionSubmitted Typeclasses in Python as a story · 3 points
HN discussionSubmitted Typeclasses in Python as a story · 3 points
HN discussionSubmitted Make tests a part of your app as a story · 3 points
HN discussionSubmitted Higher Kinded Types in Python as a story · 3 points
HN discussionSubmitted Do Not Log as a story · 3 points
HN discussionSubmitted Show HN: Tool to Test Django Migrations as a story · 3 points
HN discussionSubmitted Engineering guide to writing correct User Stories as a story · 3 points
HN discussionSubmitted Use callable classes, SRP, DI, and composition to write simple Python code as a story · 3 points
HN discussionSubmitted Typeclasses in Python as a story · 2 points
HN discussionSubmitted Python exceptions considered an anti-pattern as a story · 2 points
HN discussionSubmitted Typeclasses in Python as a story · 2 points
HN discussionSubmitted Typeclasses in Python as a story · 2 points
HN discussionSubmitted Higher Kinded Types in Python as a story · 2 points
HN discussionSubmitted Higher Kinded Types in Python as a story · 2 points
HN discussionSubmitted How async should have been as a story · 2 points
HN discussion
