Eve
Programming designed for humans
Verifpal Dramatically Speeds Up Formal Modeling for Pandemic-Tracing Protocol
2020-04-05
More Multiply-Accumulate Operations Everywhere
2020-04-04
Ask HN: Which Startups open-source their tech stack?
2020-04-04
Sharing YINN milestone for first time
2020-04-04
FSF Events
2020-04-04
Ask HN: Are hospitals using Zoom for online appointments violating HIPAA?
2020-04-04
Open Ventilator Remote Monitoring Project – Call for Contributors
2020-04-04
Companies Hiring for Data Science, Design, Sales, Marketing and More
2020-04-04
Learn to code like a chef, not a diner
2020-04-04
JSON Generator – Tool for generating random data
2020-04-04
