Grove
좀 더 많은 IRC 호스트 서비스
India orders coronavirus tracing app for all workers
2020-05-02
Airlines and oil giants are on the brink. No government should offer a lifeline
2020-05-01
“Every proof assistant” – Andrej Bauer
2020-05-01
NYT exposé on Trump's Wuhan lab conspiracy proves Beijing's point
2020-05-01
The White House Is Trying to Shut Down NASA’s Last Mars Rover
2020-05-01
WA State data visualizations for Covid-19 indicators [pdf]
2020-04-30
“Every proof assistant” online lecture
2020-04-30
Governor Set to Close All Beaches and State Parks in California
2020-04-30
The Many New Indicators of an Epic Job Collapse
2020-04-30
Bargain like Warren Buffett in bailout deals, investor advises US officials
2020-04-30
