Pure
A set of small, responsive CSS modules that you can use in every web project
Introduction to Cubical Type Theory
2022-11-30
Category Theory Library for Agda
2022-11-30
Ask HN: Is VSCode Open Source? What's with the License?
2022-11-30
Dissecting Tech Manifestos
2022-11-30
Lettuce modelling for growth control in precision agriculture
2022-11-30
ChatGPT Free Research Preview
2022-11-30
Show HN: Your Year in Text (open-source Spotify-Wrapped for iMessage)
2022-11-30
Bitcoin's Last Stand
2022-11-30
Behind the Pretty Frames: Death Stranding
2022-11-30
PyTorch-adapt re-purposes existing ML models to work in new domains
2022-11-30
