HN Explorer

joek1301

↗ HN profile [ 79.2 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Solving NYT Pips with SMT (kerrigan.dev)
    1 points 0
  2. When 'When' Went Wonky (kerrigan.dev)
    1 points 0
  3. Rain: Transiently Leaking Data from Public Clouds Using Old Vulnerabilities (openreview.net)
    1 points 0
  4. A website anyone can update by calling in and describing their changes to an LLM (7159997483.com)
    4 points 1
  5. Netflix and Meta's Carbon Credits Snared in Dispute with Maasai Herders (wsj.com)
    3 points 1
  6. Google Images search for “desk ornament” yields Nazi imagery (twitter.com)
    6 points 4
  7. Ask HN: Introductory reading on philosophy of mathematics/formal logic?

    Hey all, I'm an undergraduate studying mathematics and computer science, and I've recently taken an interest in formal logic and the philosophy of mathematics. Previous courses have exposed me to beautiful ideas like…

    3 points 2
  8. Building a Wordle solver in Python using Knuth's Mastermind algorithm (kerrigan.dev)
    4 points 4
  9. Deux Filles (ltmrecordings.com)
    2 points 0