SwitchTube: POC “Adaptable Commitment Interfaces” as Tool for Digital Wellbeing [pdf]

2023-02-27

Zero-knowledge proof composition and recursion: part 1

2023-02-26

Ask HN: How to develop a first-principles understanding of CS

2023-02-26

Building an institutional-grade algorithmic trading platform in the cloud (2021)

2023-02-25

Show HN: Atlantis workflow without a backend

2023-02-24

Show HN: Emacs and Whisper and ChatGPT Proof of Concept

2023-02-24

Show HN: Graph-based AI for longform writing

2023-02-22

More Proof That Money Can Buy Happiness (Or a Life with Less Stress)

2023-02-22

The Lean proof assistant: introduction and challenges

2023-02-22

Need advice on making an idea known

2023-02-22