FStar
An ML-like language aimed at program verification
Using dynamic DAGs in Hamilton to count GitHub stars
2023-08-15
Ask HN: Why are Google Chrome extensions not compatible with Firefox?
2023-08-15
Does the “Learn Vim the Hard Way” website still exist?
2023-08-15
Quick AI Rundown
2023-08-15
Show HN: Avatar – Talk to people modeled on their tweets
2023-08-15
Show HN: A CLI tool to have LLMs edit and add code to an existing code base
2023-08-15
Startup Annual Planning Playbook from Pilot
2023-08-15
Cantata: Factorio Meets Turn-Based Starcraft with a Sprinkle of Civilization
2023-08-15
Foxconn to spend billions bulking its Indian operations – just for starters
2023-08-15
Show HN: 10x-React-Engineer, Generate Entire React Codebases with Llama 2
2023-08-15
