Proof of ((p ∨ q) → r) ↔ (p → r) ∧ (q → r) with Lean (2019) [video]

2023-05-07

Chat with and Compare Open Large Language Models

2023-05-06

Tell HN: My suggestions to improve Microsoft Edge

2023-05-06

Ask HN: Best tech stack/process for soloprenuer to build and ship quickly?

2023-05-06

Ask HN: How do I sell equity from my private company in the secondary markets?

2023-05-06

Ask HN: Who else low-key wants Google Bard to get better than GPT-4?

2023-05-06

Ask HN: My sister asked me to help her move into IT. Help

2023-05-06

Ask HN: Did anyone ever create GitLaw?

2023-05-06

Ask HN: Is there demand for the data produced by all EO satellite companies?

2023-05-06

Politics and the English Language by George Orwell

2023-05-06