| | Small Project Build Systems (2021) (neilmitchell.blogspot.com) |
|
35 points by akkartik on April 1, 2023 | past | 16 comments
|
|
| | Working on build systems full-time at Meta (neilmitchell.blogspot.com) |
|
5 points by sebg on May 5, 2022 | past
|
|
| | Reflecting on the Shake Build System (neilmitchell.blogspot.com) |
|
74 points by g0xA52A2A on Nov 6, 2021 | past | 19 comments
|
|
| | Project Build Systems (neilmitchell.blogspot.com) |
|
2 points by todsacerdoti on Sept 24, 2021 | past
|
|
| | Reflecting on the Shake Build System (neilmitchell.blogspot.com) |
|
1 point by JNRowe on Sept 22, 2021 | past
|
|
| | Reflecting on the Shake Build System (neilmitchell.blogspot.com) |
|
7 points by runeks on Sept 18, 2021 | past
|
|
| | Reflecting on the Shake Build System (neilmitchell.blogspot.com) |
|
1 point by g0xA52A2A on Sept 14, 2021 | past
|
|
| | The paper: Build Systems a la Carte (neilmitchell.blogspot.com) |
|
4 points by luu on April 7, 2021 | past
|
|
| | Turing Incomplete Languages (neilmitchell.blogspot.com) |
|
90 points by todsacerdoti on Nov 9, 2020 | past | 56 comments
|
|
| | Automatic UI's for Command Lines with Cmdargs (neilmitchell.blogspot.com) |
|
2 points by psibi on July 5, 2020 | past
|
|
| | One Haskell IDE to rule them all (neilmitchell.blogspot.com) |
|
6 points by psibi on Jan 27, 2020 | past
|
|
| | Fixing an XSS Vulnerability in the Haskell Search Engine Hoogle (neilmitchell.blogspot.com) |
|
1 point by fanf2 on May 20, 2019 | past
|
|
| | GHC: from bug to merge (neilmitchell.blogspot.com) |
|
1 point by fanf2 on Dec 12, 2018 | past
|
|
| | Inside the Paper: Build Systems a La Carte (neilmitchell.blogspot.com) |
|
59 points by fanf2 on July 9, 2018 | past | 2 comments
|
|
| | Proof in Idris that exponential and linear time fib functions are equivalent (neilmitchell.blogspot.com) |
|
1 point by insulanian on May 22, 2017 | past
|
|
| | Proving stuff with Idris (neilmitchell.blogspot.com) |
|
2 points by sndean on May 8, 2017 | past
|
|
| | The Four Flaws of Haskell (neilmitchell.blogspot.com) |
|
108 points by kccqzy on Aug 15, 2016 | past | 75 comments
|
|
| | Selling Haskell in the Pub (neilmitchell.blogspot.com) |
|
5 points by stefans on Feb 20, 2016 | past | 3 comments
|
|
| | Analyzing Three Space Leaks in Haskell (neilmitchell.blogspot.com) |
|
59 points by okasaki on Sept 23, 2015 | past | 36 comments
|
|
| | Testing is never enough (neilmitchell.blogspot.com) |
|
2 points by ingve on Aug 16, 2015 | past
|
|
| | Thoughts on Conduits (neilmitchell.blogspot.com) |
|
13 points by vq on July 20, 2015 | past | 1 comment
|
|
| | Refactoring with Equational Reasoning (neilmitchell.blogspot.com) |
|
8 points by dmit on Feb 6, 2015 | past
|
|
| | Continuations and Exceptions (neilmitchell.blogspot.com) |
|
24 points by chicken_lady on Aug 20, 2014 | past | 1 comment
|
|
| | Optimisation with Continuations (neilmitchell.blogspot.com) |
|
39 points by the_eradicator on Aug 15, 2014 | past
|
|
| | Converting Make to Shake (neilmitchell.blogspot.com) |
|
1 point by kermitten on July 29, 2014 | past
|
|
| | Optimisation with Continuations (neilmitchell.blogspot.com) |
|
2 points by the_eradicator on June 30, 2014 | past
|
|
| | Chasing a Memory Leak in a Haskell app (neilmitchell.blogspot.com) |
|
1 point by snupples on Jan 4, 2014 | past
|
|
| | Building LLVM using Shake (neilmitchell.blogspot.com) |
|
8 points by kryptiskt on June 23, 2013 | past
|
|
| | Does Haskell need macros? (neilmitchell.blogspot.com) |
|
2 points by Cieplak on June 16, 2012 | past
|
|
| | Haskell: Three Flavors of MVar (neilmitchell.blogspot.com) |
|
2 points by gtani on June 4, 2012 | past
|
|
|
|
More |
