FStar
An ML-like language aimed at program verification
Chat with ChatGPT on GitHub via issues Start chatting together with other devs
2023-03-03
Image Content Moderation Tools
2023-03-03
Need advice/guidance on direction to go, affordable bootcamps
2023-03-03
Tell HN: I got my first open source PR after 5 months
2023-03-02
Ask HN: How do you get companies to talk to you about their problems?
2023-03-02
Launch HN: Buildt (YC W23) – Conversational semantic code search
2023-03-02
Show HN: Magny – a tool to help build command palettes easily
2023-03-02
How to Use Folgezettel in Your Zettelkasten
2023-03-02
Show HN: Sort Any Awesome List by GitHub Stars
2023-03-02
Hubble Telescope Faces Threat from SpaceX and Other Companies’ Satellites
2023-03-02
