FStar
An ML-like language aimed at program verification
A new version of uLisp supports RISC-V boards, starts with the Sipeed Maixduino
2020-03-20
Zapier Giving 3-Months Free on Starter Plans for Small Businesses
2020-03-20
An entrepreneur’s guide to startup resources during the Covid-19 outbreak
2020-03-20
AI gift personalization and gift automation startup
2020-03-20
Show HN: Docker Proxy Basic Auth Image
2020-03-20
Show HN: Create Job Postings for Developers
2020-03-20
Things I Learned Pursuing a Job in a Silicon Valley Startup
2020-03-20
Things to get you started with the Elixir's interactive shell (IEx)
2020-03-20
Some perspectives on startup financing in a downturn
2020-03-20
Ask HN: How to build Open Source technology awareness?
2020-03-20
