Top all-time · #15462
FP -> Compilers -> Logic -> Blog
Personal blog · luctielen.com/postsprogrammingsystems
FP -> Compilers -> Logic -> Blog is a personal blog at luctielen.com about programming and systems. Since 2021, 5 different Hacker News readers have linked it 5 times, most often “Static analysis using Haskell and Datalog”. The last post was in 2023, but the archive is still widely read.
Too few sampled comments (2) to say how often HN recommends it.?
Why HN links it
HN commenters link this Haskell blog for posts on calling Zig from Haskell and on Haskell-based composable data validation. The comments do not directly judge the writing itself.
Summarised by Claude from a sample of 2 HN comments that link here. Each comment is marked recommending, critical or neutral (citing without judging); how this works.
FP -> Compilers -> Logic -> Blog
Most-linked posts?
- Static analysis using Haskell and Datalog2 people · 2 mentions · first linked 2021-07-27
What Hacker News says?
I've been experimenting with a similar project. We encode the language in a data-structure which allows us to serialize/parse the rules. Paired with an interpreter that takes an environment context along with its input the rule language can be written and maintained by analysts and domain experts. The usual caching strategies work as well. We can keep rules cached in-memory. Caching the contextual environment compri…
Comment linking /posts/static_analysis_using_haskell_and_datalog/
on “Composable Data Validation with Haskell”Submitted Static analysis using Haskell and Datalog as a story · 3 points
HN discussionCalling Zig from Haskell is a nice variant, and adds something over C. https://luctielen.com/posts/calling_zig_from_haskell/
Comment linking /posts/calling_zig_from_haskell/
on “The friendship between Haskell and C”Submitted How to Lower an IR? as a story · 2 points
HN discussionSubmitted Combining Folds Using Semigroups as a story · 2 points
HN discussion