FStar
An ML-like language aimed at program verification
SpaceX Starlink Group 6-9 Launch
2023-08-13
RTOS on a RISC-V SBC: Star64 JH7110 and Apache NuttX
2023-08-13
GemRB: Portable open-source implementation of BioWare's Infinity Engine
2023-08-13
Is it feasible to be a contract/freelance product manager?
2023-08-12
The ESRB wants to start using facial scanning technology to check people's ages
2023-08-12
Ask HN: VC-backed founders who then built “lifestyle” startups – how'd it go?
2023-08-12
My $0->$100M->$0 in 5 years story
2023-08-12
Show HN: Hypersprawl – a metaverse with 4 spatial dimensions
2023-08-12
Java JEP draft: AOT at JVM startup
2023-08-12
Startups Are Dying, and Venture Investors Aren’t Saving Them
2023-08-12
