Jules Jacobs

julesjacobs.github.io

Assistant Professor at ETH Zürich. Programming languages and formal verification.

Popular posts: 2
Total points: 281
HN comments: 74
Rank: #9,478 personal

Visit julesjacobs.github.io → On Hacker News Nov 2014 – Oct 2015

Software Engineering 1 Math & Algorithms 1 Databases & Data 1

Most points Most discussed Most cited Newest

Bayesian ranking of items with up and downvotes or 5 star ratings

2015162 points50 comments Math & Algorithms details

Evan Miller wrote a great article How Not To Sort By Average Rating . He shows that simple formulas like score = upvotes - downvotes or score = upvotes / (upvotes + downvotes) don’t work. He proposes to use the lower bound of the Wilson score confidence interval. The formula is complicated and somewhat of a hack…

Fast immutable vectors in C#

2014119 points24 comments Software Engineering details

In the last post I talked about immutable stacks & queues. This post will be on immutable vectors. We want to support 3 operations: