Blog · corpus.blog/blogs/danilafe.com
Daniel's Blog
danilafe.com · Personal developer blogs · English
- Posts on record
- 84
- First published
- 27 June 2016
- Last published
- 15 September 2026
- Feed
- danilafe.com/index.xml
- Language
- English
- Category
- Personal developer blogs
Is this your blog?
Claim it to see who cites you, get citation alerts, send webmentions for the people you link to, and download your archive as markdown.
12blogs citing
12 links from citing blogs
Most cited pages
Page
Blogs
Microfeatures I Love in Blogs and Personal Websites
/blog/blog_microfeatures/
7blogs
Compiling a Functional Language Using C++, Part 0 - Intro
/blog/00_compiler_intro/
1blogs
How Many Values Does a Boolean Have?
/blog/boolean_values/
1blogs
Personal Software with the Help of LLMs
/blog/llm_personal_software/
1blogs
Math Rendering is Wrong
/blog/math_rendering_is_wrong/
1blogs
JavaScript-Free Sidenotes in Hugo
/blog/sidenotes/
1blogs
Blogs citing this one
Links and posts differ when one blog links here several times from a single post: that is counted once as a citing blog either way.
Similar blogs
Blog
Linked in common
unwoundstack.com
Unwound Stack
5sites
5sites
7sites
abhinavsarkar.net
Abhinav Sarkar
7sites
5sites
5sites
6sites
blog.zharii.com
Hello from Dmytro Zharii | Dmytro Zharii
6sites
Blogs that link to the same sites as danilafe.com. Sites only a few blogs link to count for more than ones everybody links to.
Recent posts
15 Sept 2026
19 Apr 2026
22 Mar 2026
Implementing and Verifying "Static Program Analysis" in Agda, Part 9: Verifying the Forward Analysisoriginal ↗
26 Dec 2024
1 Dec 2024
Implementing and Verifying "Static Program Analysis" in Agda, Part 7: Connecting Semantics and Control Flow Graphsoriginal ↗
29 Nov 2024
27 Nov 2024
Implementing and Verifying "Static Program Analysis" in Agda, Part 5: Our Programming Languageoriginal ↗
4 Nov 2024
Implementing and Verifying "Static Program Analysis" in Agda, Part 4: The Fixed-Point Algorithmoriginal ↗
4 Nov 2024
Implementing and Verifying "Static Program Analysis" in Agda, Part 3: Lattices of Finite Heightoriginal ↗
9 Aug 2024
8 Aug 2024
All 84 posts, by year
A source page reaches every post it holds, not only the newest fifteen.