FStar
An ML-like language aimed at program verification
Pentagon contracting Starlink to provide satellite communications for Ukraine
2023-06-04
Ask HN: Is the Bay Area/Silicon Valley still the best place to start a startup?
2023-06-04
Show HN: GPT4 on hacks to turn GitHub into a social network
2023-06-04
Show HN: ChatGPT Prompt Injection Demo To Teach Users About Prompt Injection
2023-06-04
The UI of Hacker News Is Perfect
2023-06-03
Ask HN: Advice for older dude looking to find startup
2023-06-03
Show HN: An accessible, beautiful Raspberry Pi Pico pinout
2023-06-03
Show HN: Chat with your PDF (my first AI side project)
2023-06-03
Nvidia Started in a Denny’s. Now It’s Worth $1T
2023-06-03
Ask HN: Best “Reference” WebRTC Implementation?
2023-06-03
