joek1301

Recent Submissions

1. 1. ▲ Solving NYT Pips with SMT (kerrigan.dev) 1 point · 3 months ago · 0 comments
2. 2. ▲ When 'When' Went Wonky (kerrigan.dev) 1 point · 4 months ago · 0 comments
3. 3. ▲ Rain: Transiently Leaking Data from Public Clouds Using Old Vulnerabilities (openreview.net) 1 point · 4 months ago · 0 comments
4. 4. ▲ A website anyone can update by calling in and describing their changes to an LLM (7159997483.com) 4 points · 6 months ago · 1 comment
5. 5. ▲ Netflix and Meta's Carbon Credits Snared in Dispute with Maasai Herders (wsj.com) 3 points · 7 months ago · 1 comment
6. 6. ▲ Google Images search for “desk ornament” yields Nazi imagery (twitter.com) 6 points · 3 years ago · 2 comments
7. 7. ▲ Ask HN: Introductory reading on philosophy of mathematics/formal logic? 3 points · 3 years ago · 2 comments
8. 8. ▲ Building a Wordle solver in Python using Knuth's Mastermind algorithm (kerrigan.dev) 4 points · 3 years ago · 4 comments