Why are induction proofs so challenging for students? (2015)

2023-06-08

Ask HN: Suggesting better employee-supporting AI Chatbot to a mid sized corpo

2023-06-07

Using version history for ChatGPT-proof assignments

2023-06-07

Project Leap: Quantum-proofing the financial system

2023-06-06

Idiot Proof Git

2023-06-04

Is a hidden account in macOS considered a feature?

2023-06-04

How NASA writes space-proof code

2023-06-04

Ask HN: How can I find math community for my daughter?

2023-06-03

Show HN: Secure ChatGPT – a safer way to interact with generative AI

2023-06-01

Show HN: Automate journaling with an AI that asks questions

2023-06-01