user: joek1301

75 karma | created 5 years ago

www: https://kerrigan.dev

recent submissions

(no title)

2 months ago|discuss

(no title)

2 months ago|discuss

(no title)

3 months ago|discuss

(no title)

5 months ago|discuss

(no title)

5 months ago|discuss

(no title)

5 months ago|discuss

(no title)

6 months ago|discuss

Solving NYT Pips with SMT (kerrigan.dev)

1 pts|6 months ago|discuss

When 'When' Went Wonky (kerrigan.dev)

1 pts|6 months ago|discuss

Rain: Transiently Leaking Data from Public Clouds Using Old Vulnerabilities (openreview.net)

1 pts|6 months ago|discuss

(no title)

8 months ago|discuss

A website anyone can update by calling in and describing their changes to an LLM (7159997483.com)

4 pts|8 months ago|1 comment

(no title)

9 months ago|discuss

Netflix and Meta's Carbon Credits Snared in Dispute with Maasai Herders (wsj.com)

3 pts|9 months ago|1 comment

(no title)

2 years ago|discuss

(no title)

2 years ago|discuss

(no title)

2 years ago|discuss

(no title)

3 years ago|discuss

Google Images search for “desk ornament” yields Nazi imagery (twitter.com)

6 pts|3 years ago|2 comments

(no title)

3 years ago|discuss