| | The Promise of P-Graphs (pavpanchekha.com) |
| 2 points by PaulHoule 6 days ago | past | discuss |
|
| | Should CSS be a constraint system instead? (pavpanchekha.com) |
| 38 points by fanf2 25 days ago | past | 1 comment |
|
| | Should CSS Be Constraints? (pavpanchekha.com) |
| 4 points by tannhaeuser 26 days ago | past | 1 comment |
|
| | Agent Harnesses Are Just Shells (pavpanchekha.com) |
| 2 points by yurivish 27 days ago | past |
|
| | Should CSS be constraints? (pavpanchekha.com) |
| 25 points by pavpanchekha 28 days ago | past | 44 comments |
|
| | The Promise of P-Graphs (pavpanchekha.com) |
| 3 points by todsacerdoti 37 days ago | past |
|
| | We'd be better off with 9-bit bytes (pavpanchekha.com) |
| 188 points by luu 4 months ago | past | 346 comments |
|
| | FastTwoSum Is Faster Than TwoSum (pavpanchekha.com) |
| 5 points by dev181 7 months ago | past |
|
| | Does O3 beat a specalized numeric compiler? (pavpanchekha.com) |
| 2 points by pavpanchekha 11 months ago | past |
|
| | OpenAI Strawberry vs. Herbie (pavpanchekha.com) |
| 1 point by pavpanchekha on Sept 14, 2024 | past |
|
| | Batches for Recursive Data Structures (pavpanchekha.com) |
| 2 points by matt_d on Sept 1, 2024 | 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 |
|
|
| More |
