Hard to Explain, Easy to Verify

2023-01-31

Dun and Bradstreet (Apple's verification service) admits to selling all PII

2023-01-31

Ask HN: When AI can write all code, what is the role of programming languages?

2023-01-31

Ask HN: Future of web search wrt AI

2023-01-31

Show HN: Patterns AI Assistant for web Surfing (Chrome extension)

2023-01-28

Ask HN: Help with Etsy Account

2023-01-28

Florida teachers could face felony for books in classroom not approved by state

2023-01-28

How Stedi uses automated reasoning for access control policy verification

2023-01-27

New Dumb Attack Against Gigi Sohn Tries to Shame Her for Being on the EFF Board

2023-01-27

Tell HN: GitHub now blocks aliased email addresses

2023-01-27