FStar
An ML-like language aimed at program verification
One Startup’s Cooling Chip May Surge Processor Power
2022-12-07
Warren Toomey (TUHS.org creator) is winner of USENIX lifetime achievement award
2022-12-07
The Tilt in Our Stars: The Shape of the Milky Way's Halo of Stars Is Realized
2022-12-07
Show HN: TromPhone, a Trombone for Your Phone
2022-12-07
Show HN: We built a Slack-based workflow assistant for devs and their teams
2022-12-07
Tell HN: Apple App Store Broken for WatchOS Devs
2022-12-07
Show HN: TromPhone, a Trombone for Your Phone
2022-12-07
FTX US ex-president reportedly seeks $6M funding to launch crypto startup
2022-12-07
Ask HN: How do you get over charging for a product?
2022-12-07
The Nature of Poly-Existentials
2022-12-07
