| | Microfeatures I love in blogs and personal websites (danilafe.com) |
|
983 points by fabianholzer 3 months ago | past | 421 comments
|
|
| | Bergamot: Exploring Programming Language Inference Rules (danilafe.com) |
|
2 points by todsacerdoti 7 months ago | past
|
|
| | The “Is Something” Pattern in Agda (danilafe.com) |
|
2 points by todsacerdoti on Sept 3, 2023 | past
|
|
| | Proving My Compiler Code Incorrect with Alloy (danilafe.com) |
|
63 points by todsacerdoti on June 6, 2023 | past | 2 comments
|
|
| | Generalizing Folds in Haskell (danilafe.com) |
|
2 points by harporoeder on April 25, 2022 | past
|
|
| | Generalizing Folds in Haskell (danilafe.com) |
|
2 points by todsacerdoti on April 24, 2022 | past
|
|
| | Compiling a Functional Language Using C++ (danilafe.com) |
|
4 points by luisha on Dec 15, 2021 | past
|
|
| | Formalizing Dawn in Coq (danilafe.com) |
|
2 points by todsacerdoti on Nov 21, 2021 | past | 1 comment
|
|
| | Problems with math rendering on the web (2020) (danilafe.com) |
|
135 points by uuuuuuuuuuuu on June 27, 2021 | past | 85 comments
|
|
| | How Many Values Does a Boolean Have? (danilafe.com) |
|
3 points by goranmoomin on Aug 22, 2020 | past | 1 comment
|
|
| | Time Traveling in Haskell: How It Works and How to Use It (danilafe.com) |
|
4 points by todsacerdoti on Aug 2, 2020 | past
|
|
| | Compiling a Functional Language Using C++, Part 12 – Let/in and Lambdas (danilafe.com) |
|
2 points by todsacerdoti on June 21, 2020 | past
|
|
| | Building a Crystal Project with Nix (danilafe.com) |
|
1 point by goranmoomin on April 27, 2020 | past
|
|
| | Compiling a Functional Language Using C++ – Polymorphic Data Types (danilafe.com) |
|
1 point by goranmoomin on April 15, 2020 | past
|
|
| | Compiling a Functional Language Using C++, Part 10 – Polymorphism (danilafe.com) |
|
88 points by phonebucket on March 27, 2020 | past | 2 comments
|
|
| | Math Rendering Is Wrong (danilafe.com) |
|
1 point by goranmoomin on March 25, 2020 | past
|
|
| | Compiling a Functional Language Using C++, Part 9 – Garbage Collection (danilafe.com) |
|
103 points by goranmoomin on Feb 11, 2020 | past | 23 comments
|
|
| | Compiling a Functional Language Using C++: LLVM (danilafe.com) |
|
1 point by azhenley on Dec 12, 2019 | past
|
|
| | Compiling a Functional Language Using C++: Type Checking (danilafe.com) |
|
2 points by azhenley on Nov 12, 2019 | past
|
|
| | Compiling a Functional Language Using C++ (danilafe.com) |
|
1 point by azhenley on Nov 8, 2019 | past
|
|
| | Compiling a Functional Language Using C++ (danilafe.com) |
|
1 point by azhenley on Nov 7, 2019 | past
|
|
