Top all-time · #24918
Cornelius Aschermann
Personal blog · hexgolems.comprogrammingsecurity
Cornelius Aschermann writes Hexgolems, a personal blog at hexgolems.com about programming and security. Since 2020, 3 different Hacker News readers have linked it 4 times, most often “Getting Started with DDlog”. The last post was in 2020, but the archive is still widely read.
Too few sampled comments (1) to say how often HN recommends it.?
Why HN links it
Linked by one commenter as related reading on Differential Datalog (DDlog), in a thread about PostgreSQL aggregation and hyperfunctions. The linked post is a getting-started guide to DDlog.
Summarised by Claude from a sample of 1 HN comments that link here. Each comment is marked recommending, critical or neutral (citing without judging); how this works.
Cornelius Aschermann's Personal Projects
Most-linked posts?
- Getting Started with DDlog3 people · 3 mentions · first linked 2020-10-12
What Hacker News says?
This seems similar to differential datalog (DDlog) https://hexgolems.com/2020/10/getting-started-with-ddlog/ https://github.com/vmware/differential-datalog
Comment linking /2020/10/getting-started-with-ddlog/
on “How PostgreSQL aggregation works and how it inspired our hyperfunctions’ design”Submitted Getting Started with DDlog as a story · 1 points
HN discussionSubmitted Getting started with Differentiable Datalog (DDlog) & Rust for program analysis as a story · 1 points
HN discussionSubmitted Incorrectness Logic by Example as a story · 1 points
HN discussion