Idris: A Language for Type-Driven Development
(idris-lang.org)
August 2020 Archive
2971.
2972.
Freelance Legal Help
(freelanceforlaw.com)
2973.
Low-Code and the Road to Software Enlightenment: Part 2
(journeyapps.com)
2974.
These are all of the Color E INK e-Readers from 2020
(goodereader.com)
2977.
Has Elon Musk's Tesla already won?
(asia.nikkei.com)
2978.
2979.
A Lesson in Acceptance
(oxfordamerican.org)
2981.
Trump's favorite tech company could win TikTok
(axios.com)
2983.
2984.
Paul Buchheit: A Possible Third Solution to End the Pandemic
(paulbuchheit.blogspot.com)
2985.
I Sold My Entire Investment Portfolio One Hour Ago
(entrepreneurshandbook.co)
2986.
Uber and Lyft granted an emergency stay
(twitter.com)
2987.
Vicar – Multi-dimensional image processing software
(github.com)
2988.
2990.
2992.
How Moving to Work Remotely Could Affect Your Taxes
(nytimes.com)
2993.
Why does Google wants to be your bank?
(cnc.substack.com)
2994.
2995.
Show HN: I got a list of 2000 Venture Capitalist Firms
(blog.scraper.ai)
2996.
Tesla and FBI prevented $1M ransomware hack
(electrek.co)
2997.
2998.
Japan plans new coal powerplants
(instituteforenergyresearch.org)
3000.
TikTok and the Great Firewall of America
(coindesk.com)