Y Hacker News new | ask | show | jobs

user: joek1301 created: 2021-01-03 karma: 75 www: https://kerrigan.dev submissions: 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments Solving NYT Pips with SMT 1 points | 0 comments When 'When' Went Wonky 1 points | 0 comments Rain: Transiently Leaking Data from Public Clouds Using Old Vulnerabilities 1 points | 0 comments 0 points | 0 comments A website anyone can update by calling in and describing their changes to an LLM 4 points | 1 comments 0 points | 0 comments Netflix and Meta's Carbon Credits Snared in Dispute with Maasai Herders 3 points | 1 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments Google Images search for “desk ornament” yields Nazi imagery 6 points | 2 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments Ask HN: Introductory reading on philosophy of mathematics/formal logic? 3 points | 2 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments