Augmenting Agile with Formal Methods

2023-06-21

Ask HN: What to do when your Instagram account gets suspended?

2023-06-21

Ask HN: Oscilloscope for Modern PCB Busses?

2023-06-21

Textbooks is all you need: new LLM 51% HumanEval. Better one >10x more params

2023-06-21

GPT-4 pretends to be blind person to beat CAPTCHA test, hires human to solve it

2023-06-21

Florence Nightingale, datajournalist: information has always been beautiful

2023-06-21

High-Fidelity Testing on a Shared Staging Environment

2023-06-21

Stripe is holding over $200k of mine with no explanation

2023-06-21

Tell HN: AI legal contract review is already screwing up

2023-06-21

Show HN: gpt-engineer – platform for devs to tinker with AI programming tools

2023-06-21