Baldur: Whole-Proof Generation and Repair with Large Language Models

2023-03-12

Outlandish Recursive Query Examples

2023-03-11

Ask HN: Why is Google not doing anything about ChatGPT?

2023-03-11

Why authors might want to pay to go on a podcast

2023-03-11

Ask HN: Which stack is as boring (good boring) and cheap in 2023 as PHP?

2023-03-11

Emergent Abilities of Large Language Models

2023-03-11

Large language models are having their Stable Diffusion moment

2023-03-11

Ask HN: Is there any current “web of trust” social media?

2023-03-11

LLaMA drama as Meta's mega language model leaks

2023-03-11

Ask HN: What's the fastest and simplest way to prototype a web app in 2023?

2023-03-11