HN
Paper
All
Show
Ask
Jobs
Top
Today
Last 7 days
Last months
This year
Statistics
All
Show
Ask
Jobs
Top stories
Today
Last 7 days
Last months
This year
Statistics
Stories by
MindGods
Dafny: Verification-Aware Programming Language
64 points
MindGods
2020-07-30T12:08:09Z
github.com
Things to Know About NASA's Ingenuity Mars Helicopter
4 points
MindGods
2020-07-30T10:20:04Z
www.nasa.gov
Sergey Brin's Revolutionary $19 Airship
2 points
MindGods
2020-07-30T07:27:09Z
spectrum.ieee.org
The Things of Everyday Design
2 points
MindGods
2020-07-30T07:25:56Z
matthewstrom.com
The future of education or just hype? The rise of Minerva
2 points
MindGods
2020-07-30T06:36:49Z
www.theguardian.com
Introducing the Model Card Toolkit for Easier Model Transparency Reporting
2 points
MindGods
2020-07-30T06:30:47Z
ai.googleblog.com
Mystery of origin of Stonehenge megaliths solved
2 points
MindGods
2020-07-29T20:50:41Z
www.bbc.co.uk
Half of Nobel prizes in science go to just five research fields
4 points
MindGods
2020-07-29T20:49:46Z
www.newscientist.com
Work honored by Nobel prizes clusters heavily in a few scientific fields
1 points
MindGods
2020-07-29T20:15:24Z
journals.plos.org
Hackers Broke into Real News Sites to Plant Fake Stories
3 points
MindGods
2020-07-29T19:47:42Z
www.wired.com
Why NASA's Mars rover Perseverance will use nuclear power to keep itself warm
2 points
MindGods
2020-07-29T19:42:58Z
www.space.com
Today’s Internet Still Relies on Arpanet-Era Protocol: The Request for Comments
2 points
MindGods
2020-07-29T19:35:19Z
spectrum.ieee.org
Tech CEOs' opening statements for Wednesday's tech antitrust hearing
1 points
MindGods
2020-07-29T19:25:39Z
www.politico.com
Critical Importance of Decentralized, Explainable AI for Better Social Networks
2 points
MindGods
2020-07-29T19:22:49Z
blog.singularitynet.io
How would I improve RSS? Three ideas
2 points
MindGods
2020-07-29T19:06:23Z
interconnected.org
AI that spots similarities between programs could help computers code themselves
2 points
MindGods
2020-07-29T19:03:07Z
www.technologyreview.com
TikTok blasts 'copycat' Facebook as US starts probe
2 points
MindGods
2020-07-29T18:12:15Z
www.bbc.com
Demonstrating Perl with Tic-Tac-Toe
2 points
MindGods
2020-07-29T18:10:22Z
fedoramagazine.org
Twitter in turmoil after month of crisis leads to concerns over leadership
3 points
MindGods
2020-07-29T17:58:49Z
www.theguardian.com
AI Systems Use Mad Libs to Teach Themselves Grammar
2 points
MindGods
2020-07-29T16:57:15Z
hai.stanford.edu
12
13
14
15
16
17
18
19
20
21