Settings

Theme

joek1301

Karma
74
Created
4 years ago

About

www: https://kerrigan.dev

Recent Submissions

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

Keyboard Shortcuts

j
Next item
k
Previous item
o / Enter
Open selected item
?
Show this help
Esc
Close modal / clear selection