| | Extrinsic termination proofs for well-founded recursion in Lean (joachim-breitner.de) |
|
1 point by JNRowe 51 days ago | past
|
|
| | Do Surprises Get Larger? (joachim-breitner.de) |
|
2 points by JNRowe 10 months ago | past
|
|
| | Convenient Sandboxed Development Environment (joachim-breitner.de) |
|
1 point by JNRowe on March 12, 2024 | past
|
|
| | GHC Steering Committee Retrospective (joachim-breitner.de) |
|
75 points by JNRowe on Jan 25, 2024 | past | 4 comments
|
|
| | ICFP Pearl preprint on rec-def (joachim-breitner.de) |
|
1 point by g0xA52A2A on June 23, 2023 | past
|
|
| | More Thoughts on a Bootstrappable GHC (Haskell) (joachim-breitner.de) |
|
4 points by pabs3 on April 26, 2023 | past
|
|
| | git-multisect – list those commits that affect the output of a command (joachim-breitner.de) |
|
2 points by pabs3 on Feb 27, 2023 | past
|
|
| | Pro-Charity Consulting (joachim-breitner.de) |
|
1 point by pabs3 on Jan 10, 2023 | past
|
|
| | Pro-Charity Consulting (joachim-breitner.de) |
|
1 point by todsacerdoti on Jan 8, 2023 | past
|
|
| | rec-def: Minesweeper case study (joachim-breitner.de) |
|
2 points by JNRowe on Oct 11, 2022 | past
|
|
| | Rec-def: Program analysis case study (joachim-breitner.de) |
|
2 points by ghuntley on Sept 14, 2022 | past
|
|
| | Pure recursively defined sets without looping in Haskell (joachim-breitner.de) |
|
34 points by romes on Sept 8, 2022 | past | 8 comments
|
|
| | More Recursive Definitions (joachim-breitner.de) |
|
4 points by g0xA52A2A on Sept 4, 2022 | past
|
|
| | Thoughts on Bootstrapping GHC (2018) (joachim-breitner.de) |
|
60 points by Tomte on March 19, 2022 | past | 11 comments
|
|
| | Leaving Dfinity (joachim-breitner.de) |
|
1 point by allenleein on Aug 1, 2021 | past
|
|
| | Thoughts on Bootstrapping GHC (2018) (joachim-breitner.de) |
|
1 point by Tomte on July 13, 2021 | past
|
|
| | Don’t Think, Just Defunctionalize (joachim-breitner.de) |
|
1 point by todsacerdoti on Jan 21, 2021 | past
|
|
| | Don't Think, Just Defunctionalize (joachim-breitner.de) |
|
2 points by fanf2 on Dec 23, 2020 | past
|
|
| | Don’t Think, Just Defunctionalize (joachim-breitner.de) |
|
118 points by g0xA52A2A on Dec 22, 2020 | past | 45 comments
|
|
| | Thoughts on Bootstrapping GHC (2018) (joachim-breitner.de) |
|
1 point by Tomte on June 2, 2020 | past
|
|
| | Thoughts on Bootstrapping GHC (2018) (joachim-breitner.de) |
|
1 point by Tomte on Dec 1, 2019 | past
|
|
| | Winter is coming even more quickly (joachim-breitner.de) |
|
2 points by nuriaion on Nov 28, 2019 | past
|
|
| | Thoughts on Bootstrapping GHC (2018) (joachim-breitner.de) |
|
1 point by Tomte on April 27, 2019 | past
|
|
| | Teaching to read Haskell (joachim-breitner.de) |
|
2 points by allenleein on Jan 14, 2019 | past
|
|
| | Thoughts on bootstrapping GHC (joachim-breitner.de) |
|
3 points by Tomte on Dec 19, 2018 | past
|
|
| | Thoughts on bootstrapping GHC (joachim-breitner.de) |
|
1 point by anarcat on Dec 13, 2018 | past
|
|
| | Sliding Right into Information Theory (joachim-breitner.de) |
|
83 points by sctb on Dec 10, 2018 | past | 8 comments
|
|
| | Verifying local definitions in Coq (joachim-breitner.de) |
|
1 point by sctb on April 23, 2018 | past
|
|
| | The magic “Just do it” type class (joachim-breitner.de) |
|
3 points by szemet on Feb 3, 2018 | past
|
|
| | Finding bugs in Haskell code by proving it (joachim-breitner.de) |
|
205 points by based2 on Dec 10, 2017 | past | 44 comments
|
|
|
|
More |
