Ask HN: Would you pay to have code verified?

2023-07-25

GPT based tool, how to deal with speed

2023-07-23

Ask HN: How do you format / speed up a SSD?

2023-07-23

Oil and Gas Assessment for Bakken and Three Forks Formations in MT, ND (2021)

2023-07-23

BP: Formal Proofs, the Fine Print and Side Effects [pdf]

2023-07-21

Tell HN: Setting reader view as default will vastly improve your web experience

2023-07-21

Show HN: I trained a 65B LLM on my texts to talk to myself (details inside)

2023-07-21

Ask HN: Best approach to designing a parser / creating your programming language

2023-07-21

Mockaroo: Generate realistic test data in CSV, JSON, SQL, and Excel formats

2023-07-21

Baldur's Gate 3 lead writer on the spiderweb formation of the game's 17k endings

2023-07-20