| | Struggling Towards an Algebraic Theory of Music (reasonablypolymorphic.com) |
| 2 points by ibobev 1 day ago | past | discuss |
|
| | Arrows to Arrows, Categories to Queries (reasonablypolymorphic.com) |
| 3 points by JNRowe 51 days ago | past |
|
| | Arrows to Arrows, Categories to Queries (reasonablypolymorphic.com) |
| 2 points by ibobev 52 days ago | past |
|
| | Theorems for Free Redux (reasonablypolymorphic.com) |
| 1 point by ibobev 57 days ago | past |
|
| | Protobuffers Are Wrong (2018) (reasonablypolymorphic.com) |
| 244 points by b-man 3 months ago | past | 307 comments |
|
| | Using obscure graph theory to solve programming languages problems (reasonablypolymorphic.com) |
| 106 points by matt_d 6 months ago | past | 28 comments |
|
| | Analyzing API Design via Algebraic Laws (reasonablypolymorphic.com) |
| 1 point by speckx 7 months ago | past |
|
| | How These Things Work – A book about CS from first principles (2016) (reasonablypolymorphic.com) |
| 4 points by Willingham 8 months ago | past |
|
| | Use Monoids for Construction (reasonablypolymorphic.com) |
| 2 points by fanf2 10 months ago | past |
|
| | Read the Code, Not the Profile (reasonablypolymorphic.com) |
| 2 points by yakshaving_jgt 10 months ago | past | 1 comment |
|
| | Read the Code, Not the Profile (reasonablypolymorphic.com) |
| 2 points by trelane 10 months ago | past |
|
| | Jujutsu Strategies (reasonablypolymorphic.com) |
| 1 point by pdobsan on Sept 6, 2024 | past | 1 comment |
|
| | Freer Monads, More Better Programs (reasonablypolymorphic.com) |
| 2 points by nbaksalyar on Aug 2, 2024 | past |
|
| | Jujutsu Strategies (reasonablypolymorphic.com) |
| 2 points by JNRowe on May 20, 2024 | past | 1 comment |
|
| | Why Is the Web So Monotonous? Google (2022) (reasonablypolymorphic.com) |
| 20 points by throwup238 on Jan 25, 2024 | past | 22 comments |
|
| | FRP in Yampa: Part 1 (reasonablypolymorphic.com) |
| 1 point by mjan22640 on Jan 4, 2024 | past |
|
| | How These Things Work (2016) (reasonablypolymorphic.com) |
| 1 point by turtleyacht on Nov 3, 2023 | past | 1 comment |
|
| | Protobuffers Are Wrong (2018) (reasonablypolymorphic.com) |
| 82 points by alihm on March 23, 2023 | past | 59 comments |
|
| | Abusing Constraints for Automatic Documentation (reasonablypolymorphic.com) |
| 2 points by JNRowe on Jan 4, 2023 | past |
|
| | Why Is the Web So Monotonous? Google (reasonablypolymorphic.com) |
| 303 points by amf12 on Aug 4, 2022 | past | 246 comments |
|
| | Review: Syntax-Guided Synthesis (reasonablypolymorphic.com) |
| 1 point by JNRowe on March 21, 2022 | past |
|
| | Automatic Ring Solving (reasonablypolymorphic.com) |
| 1 point by JNRowe on Feb 17, 2022 | past |
|
| | Haskell2020 Is Dead, but All Hope Is Not Lost (2019) (reasonablypolymorphic.com) |
| 84 points by signa11 on Feb 17, 2022 | past | 63 comments |
|
| | Underlining the Bugs (reasonablypolymorphic.com) |
| 1 point by JNRowe on Feb 12, 2022 | past |
|
| | Underlining the Bugs (reasonablypolymorphic.com) |
| 2 points by cosmic_quanta on Feb 1, 2022 | past |
|
| | Review: Adders and Arrows (reasonablypolymorphic.com) |
| 8 points by todsacerdoti on Jan 7, 2022 | past |
|
| | Dragging Haskell Kicking and Screaming into the Century of the Fruitbat (reasonablypolymorphic.com) |
| 15 points by jessaustin on Dec 19, 2021 | past | 11 comments |
|
| | Dragging Haskell Kicking and Screaming into the Century of the Fruitbat (reasonablypolymorphic.com) |
| 12 points by aranchelk on Nov 14, 2021 | past | 9 comments |
|
| | Exploring Case Law (reasonablypolymorphic.com) |
| 2 points by Cieplak on June 16, 2021 | past |
|
| | Exploring Case Law (reasonablypolymorphic.com) |
| 1 point by todsacerdoti on Feb 8, 2021 | past |
|
|
| More |
