Submissions from danilafe.com

		Persistence of Vision (danilafe.com)
		2 points by ibobev 3 months ago \| past
		Generating Flashcards from PDF Underlines (danilafe.com)
		4 points by ibobev 4 months ago \| past \| 2 comments
		Personal Software with the Help of LLMs (danilafe.com)
		4 points by ibobev 4 months ago \| past
		Spiders (danilafe.com)
		2 points by ibobev 4 months ago \| past
		Microfeatures I Love in Blogs and Personal Websites (danilafe.com)
		3 points by alexharri 6 months ago \| past
		Reasons to Love the Field of Programming Languages (danilafe.com)
		3 points by birdculture 7 months ago \| past
		Reasons to Love the Field of Programming Languages (danilafe.com)
		4 points by todsacerdoti 7 months ago \| past
		Chapel's runtime types as an interesting alternative to dependent types (danilafe.com)
		3 points by fanf2 10 months ago \| past
		My Favorite C++ Pattern: X Macros (2023) (danilafe.com)
		131 points by ibobev on March 25, 2025 \| past \| 76 comments
		How many values does a boolean have? (danilafe.com)
		3 points by fanf2 on Dec 28, 2024 \| past
		Microfeatures I love in blogs and personal websites (danilafe.com)
		983 points by fabianholzer on June 24, 2024 \| past \| 421 comments
		Bergamot: Exploring Programming Language Inference Rules (danilafe.com)
		2 points by todsacerdoti on Feb 18, 2024 \| 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
		More

HN For You