On Proof and Progress in Mathematics (1994)
2022-07-02
A verified algorithm for finding the intersection point of two lists
2022-07-02
Decentralising E-Commerce
2022-07-02
Show HN: Math logic/reasoning self-education with embedded deductive tool
2022-06-30
Show HN: Hagrid – Social QnA for any webpage
2022-06-30
Show HN: Animated Weather Dashboard
2022-06-29
Ask HN: Where to Read Proofs?
2022-06-28
Ask HN: Devs who passed whiteboarding at FAANG: how do you feel about it?
2022-06-28
Become Recession Proof
2022-06-28
Ask HN: How do you future-proof yourself?
2022-06-26