Launch HN: Dots (YC S21) – Bot Builder for Discord

2022-11-17

CN: Verifying Systems C Code with Separation-Logic Refinement Types [pdf]

2022-11-17

Pay-by-the-drink US business identity verification providers

2022-11-16

Foi: A different kind of functional programming language

2022-11-16

How do climate scientists justify not counting avoidable natural emissions?

2022-11-16

Ask HN: Why are people trading over FTX or Coinbase?

2022-11-13

Show HN: BirdsForHire.com - Helping twitter ex-employees find a new team.

2022-11-11

Show HN: Custom Keylabels for Your Custom Keyboard Layouts

2022-11-11

Ask HN: How would I send 1 dollar to everyone on Earth?

2022-11-09

A tiny company could help the government bypass browser security

2022-11-08