Viewing profile — kachayev
kachayev
HN member- Joined
- Sun, Oct 28, 2012, 6:33 PM UTC
- HN karma
- 244
- Public activity
- 17 items
- HN profile
- View on Hacker News ↗
About kachayev
Scientifically interested in algebras, personally worried about protocols (including HTTP2 ), working hard on async code correctness verification catching race conditions with dependent types like there's no tomorrow (yeah... Aleph & Netty - I'm looking at your right now ) trying to make a life of communicating system developers better.
Recent public activity
- story
- story
- story
- story
- story
- story
-
comment
Comment #8247666
Nice question! It "easy". Cause it takes less characters in your code: you don't need "type classes" of any form, you don't care about liftings etc. You can start from 2-3 lines of…
- story
- story
- story
- story
- story
- story
-
comment
Comment #5154092
To answer the question when STM is hard to use, you can imaging any case of simulation. Few years ago I worked with engine for real-time brokers trading simulations: thousands of i…
- story
- story
-
comment
Comment #4709613
This example was given to describe map/reduce pattern, not advice to use it instead of sum: reduce(operator.add, map(len, ss)) You know, it's hard to understand new concept. And it…