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

Ask HN: Twitter Competitors?

2022-11-16

Airbnb is cracking down on party bookings and identity verification

2022-11-16

Elon Musk Delays Introduction of Twitter’s Blue Verification to Nov. 29

2022-11-16

Verified Students get 90 Hours of GitHub Codespaces access per month

2022-11-15

I've been 'Jesus Christ' on Twitter – and thanks to Elon Musk, I'm now verified

2022-11-15

Trolls took advantage of Twitter’s new verification policy to impersonate brands

2022-11-15

Elon Musk ignored Twitter’s internal warnings about his paid verification scheme

2022-11-15

Ask HN: How can I grow my $1000/month business?

2022-11-14