Gentzen's Consistency Proof

2023-06-28

Sleeper agent: a proof-of-concept llama 7B finetune with a codephrase backdoor

2023-06-28

NASA Writes Space-Proof Code

2023-06-28

No direct proof Covid-19 stemmed from Wuhan lab leak, US intelligence says

2023-06-26

Ask HN: What are you farovite essay-papers?

2023-06-26

Show HN: ChatHN – Chat with Hacker News using natural language

2023-06-25

Ask HN: Self-directed learning path for machine learning in 2023?

2023-06-25

Did studying proof based math topics e.g. analysis make you a better programmer?

2023-06-24

Wearable device that records your voice for legal defense

2023-06-24

No direct proof Covid-19 stemmed from Wuhan lab leak, US intelligence says

2023-06-24