Top all-time · #2317
Roman Cheplyaka
Personal blog · ro-che.infoprogrammingmathscience
Roman Cheplyaka's personal blog at ro-che.info covers programming, math and science. Since 2010, 35 different Hacker News readers have linked it 43 times, most often “How Booking.com manipulates users”. It is still writing: the last post was on 2026-08-01, and you can follow it by feed.
Roman Cheplyaka — Ukrainian software developer and bioinformatician. Articles on Haskell, mathematics, programming and bioinformatics.
Most-linked posts?
- How Booking.com manipulates users6 people · 6 mentions · first linked 2017-09-20
- Understanding Asymmetric Numeral Systems3 people · 3 mentions · first linked 2017-08-21
- Composing monadic effects3 people · 3 mentions · first linked 2012-01-03
- Introduction to Golden Testing3 people · 3 mentions · first linked 2018-01-17
- /ccc/17.html2 people · 2 mentions · first linked 2014-06-19
- Cartesian Closed Comic: Equality2 people · 2 mentions · first linked 2012-11-16
- Understanding modern Linux routing (and wg-quick)2 people · 2 mentions · first linked 2022-07-25
- /ccc/172 people · 2 mentions · first linked 2017-10-27
What Hacker News says?
Maybe he’s just a sadist who wanted to return to implementing dark patterns to abuse his customer base into panic-booking hotels. https://ro-che.info/articles/2017-09-17-booking-com-manipula...
Comment linking /articles/2017-09-17-booking-com-manipulation
on “I am rich and have no idea what to do”Submitted How Booking.com manipulates users as a story · 583 points
HN discussionReally? Even with all of this crap? https://ro-che.info/articles/2017-09-17-booking-com-manipula...
Comment linking /articles/2017-09-17-booking-com-manipulation
on “The Google Squeeze”Submitted Understanding modern Linux routing (and wg-quick) as a story · 179 points
HN discussionIt's a common discussion topic -- a few links: Bad UX: How Booking.com deceives clients https://news.ycombinator.com/item?id=15152155 https://medium.com/@ilyadoroshin/bad-ux-how-booking-com-dece... How Booking.com manipulates users (ro-che.info) https://news.ycombinator.com/item?id=15297915 https://ro-che.info/articles/2017-09-17-booking-com-manipula... [dupe] Dark Patterns (darkpatterns.org) https://news.ycombinato…
Comment linking /articles/2017-09-17-booking-com-manipulation
on “American spy hacked Booking.com, company stayed silent”Submitted Understanding Asymmetric Numeral Systems as a story · 39 points
HN discussion>Links or it didn't happen. To what? I'm supposed to link you to reality? How about since haskell is a general purpose, turing complete language, you demonstrate that there's some magical reason that it can only be used for "pure math problems" and nobody can be productive in it doing "real work". Why should a random nonsense claim be given the standing of fact and need to be disproved? >friends (I know, it may be b…
Comment linking /articles/2014-12-26-monad-control-type-synonyms
on “Learning Curves for Different Programming Languages”Submitted Simple FFT in Haskell as a story · 5 points
HN discussionAn introduction to type-level programming should also be on the list, I think—but there are no great blog posts yet about newer type-system extensions in GHC, as far as I'm aware. You can find some good posts on older techniques and features (phantom types, GADTs), but there's not much out there introducing type families other than material riffing on the papers that introduced them. (The papers are usually quite re…
Comment linking /articles/2012-01-02-composing-monads.html
on “Introductions to advanced Haskell topics”Submitted Understanding modern Linux routing (and wg-quick) as a story · 4 points
HN discussionExtensible effects are easier to compose in arbitrary ways. If you have a monad transformer stack you can only have each type of transformer once in each stack before you have to start using lift . lift . lift to get to the inner layers as the type class functions will only get you to the outermost instance. They suffer from performance problems though as Roman discovered at ZuriHac this year: http://ro-che.info/art…
Comment linking /articles/2014-06-14-extensible-effects-failed.html
on “A Gentle Introduction to Monad Transformers – or, Values as Exceptions”Submitted Understanding Asymmetric Numeral Systems as a story · 4 points
HN discussionAny good resources on extensible effects? I'm currently reading: http://okmij.org/ftp/Haskell/extensible/index.html I also know of: http://jozefg.bitbucket.org/posts/2014-07-15-reading-extensi... However I was wondering if there was a "Gentle introduction to extensible effects". Edit: I found this presentation: http://ro-che.info/docs/2014-06-14-extensible-effects.html#1...
Comment linking /docs/2014-06-14-extensible-effects.html
on “A Gentle Introduction to Monad Transformers – or, Values as Exceptions”Submitted Lexical analysis with parser combinators as a story · 4 points
HN discussionSure. Just like somewhere , you have to define the semantics of + on the various primitive in your lisp-based system. Oh, surprise, you do that with a typecase/runtime type check. There are genuine arguments between static and dynamic typing. The assumed annoyance of writing type signatures is only a valid point for specific type systems such as Java, and is certainly not a generic concern. As usual: https://ro-che.…
Comment linking /ccc/17
on “Clojure vs. The Static Typing World”Submitted Cartesian Closed Comics: Zhuangzi, butterfly and referential transparency as a story · 4 points
HN discussionLens is one guy's pathological abstraction. It's a library, and it's idiosyncratic. It isn't want large Haskell systems "look like". Cf http://ro-che.info/articles/2014-04-24-lens-unidiomatic.html
Comment linking /articles/2014-04-24-lens-unidiomatic.html
on “Programming and thinking the functional way”Submitted Lens is unidiomatic Haskell as a story · 3 points
HN discussionNo, people are downvoting you because you are just wrong. Please see this diagram http://ro-che.info/ccc/17.html
Comment linking /ccc/17.html
on “The Safyness of Static Typing”Submitted Understanding Asymmetric Numeral Systems as a story · 3 points
HN discussion> for example, most of the 25 top software errors don't look like type errors to me, and neither goto fail; nor Heartbleed look like type errors either, Most of them do to me. (But I'm coming from Haskell, so it's not only the static typing, it's the very strong one). Anyway, http://ro-che.info/ccc/17.html
Comment linking /ccc/17.html
on “The Safyness of Static Typing”Submitted Lens is unidiomatic Haskell as a story · 3 points
HN discussionThis discussion is so played out. https://ro-che.info/ccc/17
Comment linking /ccc/17
on “Types and Tests”Submitted JSON validation combinators as a story · 3 points
HN discussionlurker14, you're shadow banned. He/she said: That's a special case, because RWS already exists (Reader, Writer, and State all commute), and wraps IO easily. Light overview of the issue: http://ro-che.info/articles/2012-01-02-composing-monads.html It's the other cases that get head-desk-banging. This paper is great, but shows what a high mental tax you pay to get highly-principled programs: http://www.grabmueller.de/…
Comment linking /articles/2012-01-02-composing-monads.html
on “Ask HN: Any downsides of programming in Haskell?”Submitted Compile and link a Haskell package against a local C library as a story · 2 points
HN discussionAgreed. I remember i read that comic a while ago and i didn't get the impression that the author was trying to mock dynamic typing proponents at all. The interpretation i got from the comic was more on the lines of "as most of the people who know about type category prefer static typing, discussions on that subject tend to be very uninteresting". And another possible interpretation is that the comic just expresses t…
Comment linking /ccc/18.html
on “Static Typing: Give me a break”Submitted Cartesian Closed Comic as a story · 2 points
HN discussionAnyone else who doesn't get arrows? Count me in! I wish i understood this comic's joke: http://ro-che.info/ccc/12.html :(
Comment linking /ccc/12.html
on “Monads are a Class of Hard Drugs (2008)”Submitted On column positions in vim as a story · 2 points
HN discussion
