isadubois

3 ms·

1. 1.▲
   by isadubois 3mo ago

   This looks super clean. I'm curious about the --judge command. How does it evaluate if the cheaper model's response is a "tie" or acceptable? Is it using a specific LLM-as-a-judge prompt template?
2. 2.▲
   The Cost of Y Combinator backing?(moneycontrol.com)

   2 points by isadubois 1y ago|0 comments
3. 3.▲
   Formal Methods Tutorials – FizzBee(fizzbee.io)

   6 points by isadubois 1y ago|0 comments
4. 4.▲
   'Paxos made visual in FizzBee.' This blog helped me understand Paxos(surfingcomplexity.blog)

   9 points by isadubois 2y ago|1 comments
5. 5.▲
   by isadubois 2y ago

   Paxos is a classic algorithm that I always wanted to learn, but it is too hard. I've tried many times, but just gave up. Lamport's Paxos Made Simple doesn’t actually make it simple, and his Understanding Paxos or How to Win a Turi