Top all-time · #11872
weaselhat
Personal blog · weaselhat.comprogrammingscience
weaselhat is a personal blog at weaselhat.com about programming and science. Since 2017, 6 different Hacker News readers have linked it 7 times, most often “Answer set programming (ASP): the powerhouse technology you’ve never heard of”. The last post was in 2023, but the archive is still widely read.
Most-linked posts?
- Answer set programming (ASP): the powerhouse technology you’ve never heard of2 people · 2 mentions · first linked 2022-11-07
What Hacker News says?
This is a recent paper I thought was really intriguing using Answer Set Programming for a synthesis problem with some very promising sounding results compared to an SMT based approach. http://www.weaselhat.com/2022/11/07/asp/
Comment linking /2022/11/07/asp/
on “Potassco: The Answer Set Solving Collection”Submitted Formulog: ML + Datalog + SMT as a story · 129 points
HN discussionSubmitted Processing Semi-Structured Data in the Unix Shell as a story · 40 points
HN discussionSubmitted Answer set programming (ASP): the powerhouse technology you’ve never heard of as a story · 2 points
HN discussionSubmitted When is program synthesis worthwhile? as a story · 2 points
HN discussionSubmitted What to Define When You’re Defining Gradual Type Systems as a story · 1 points
HN discussionSubmitted Computer science at a small liberal arts college as a story · 1 points
HN discussion
