joek1301's submissions

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