| | OpenAI Strawberry vs. Herbie (pavpanchekha.com) |
|
1 point by pavpanchekha 4 months ago | past
|
|
| | Batches for Recursive Data Structures (pavpanchekha.com) |
|
2 points by matt_d 4 months ago | past
|
|
| | ChatGPT vs. Herbie (pavpanchekha.com) |
|
1 point by KqAmJQ7 on June 18, 2023 | past
|
|
| | An Accurate Quadratic Formula (pavpanchekha.com) |
|
5 points by soegaard on May 23, 2023 | past
|
|
| | Top-Down LR Parsing (pavpanchekha.com) |
|
110 points by ingve on March 14, 2023 | past | 34 comments
|
|
| | Teaching parsing: From Top-down LL (recursive descent) to Top-down LR parsing (pavpanchekha.com) |
|
3 points by matt_d on March 13, 2023 | past
|
|
| | Optimizing Pruning in Herbie (pavpanchekha.com) |
|
1 point by todsacerdoti on July 22, 2022 | past
|
|
| | (call/cc call/cc) and friends (pavpanchekha.com) |
|
15 points by isaac21259 on May 19, 2022 | past | 1 comment
|
|
| | Herbie Happened (2017) (pavpanchekha.com) |
|
1 point by todsacerdoti on July 27, 2021 | past
|
|
| | Fuzzing for Layout Invalidation Bugs (pavpanchekha.com) |
|
1 point by pavpanchekha on May 10, 2021 | past
|
|
| | The Levels of Concurrency (2012) (pavpanchekha.com) |
|
1 point by bumbledraven on April 6, 2021 | past
|
|
| | (call/cc this-class) (pavpanchekha.com) |
|
3 points by todsacerdoti on May 20, 2020 | past
|
|
| | Programming with Pushouts (pavpanchekha.com) |
|
1 point by alex_hirner on Sept 8, 2018 | past
|
|
| | Solving Resistance (pavpanchekha.com) |
|
1 point by callmekit on Sept 7, 2018 | past
|
|
| | Solving the Prisoners’ Dilemma (pavpanchekha.com) |
|
2 points by callmekit on May 17, 2016 | past
|
|
| | Pedestrian Statistics (pavpanchekha.com) |
|
5 points by darzu on May 21, 2015 | past
|
|
| | Complex Square Roots in math.js (pavpanchekha.com) |
|
3 points by pavpanchekha on Sept 16, 2014 | past
|
|
| | Engineering Taste (pavpanchekha.com) |
|
1 point by pavpanchekha on Oct 27, 2013 | past
|
|
| | Treaps: A Simple Balanced Binary Tree (pavpanchekha.com) |
|
2 points by usaar333 on May 2, 2013 | past
|
|
| | Typing Analytics in Emacs (pavpanchekha.com) |
|
1 point by pavpanchekha on Dec 18, 2012 | past
|
|
| | Time, Clocks, and an Implementation in Erlang (pavpanchekha.com) |
|
2 points by pavpanchekha on Jan 3, 2012 | past
|
|
| | Treaps: A Simple Balanced Binary Tree (pavpanchekha.com) |
|
73 points by pavpanchekha on Sept 11, 2011 | past | 36 comments
|
|
| | Injection is a Display-level Problem (pavpanchekha.com) |
|
3 points by pavpanchekha on Aug 22, 2011 | past
|
|
| | Programming with Types (pavpanchekha.com) |
|
2 points by pavpanchekha on July 11, 2011 | past
|
|
