MindGods

31 ms·

361.
Physics Found a Geometric Structure for Math to Play With(quantamagazine.org)
50 points by MindGods 6y ago|24 comments
362.
Dafny: Verification-Aware Programming Language(github.com)
64 points by MindGods 6y ago|26 comments
363.
Things to Know About NASA's Ingenuity Mars Helicopter(nasa.gov)
4 points by MindGods 6y ago|0 comments
364.
Sergey Brin's Revolutionary $19 Airship(spectrum.ieee.org)
2 points by MindGods 6y ago|0 comments
365.
The Things of Everyday Design(matthewstrom.com)
2 points by MindGods 6y ago|0 comments
366.
The future of education or just hype? The rise of Minerva(theguardian.com)
2 points by MindGods 6y ago|0 comments
367.
Introducing the Model Card Toolkit for Easier Model Transparency Reporting(ai.googleblog.com)
2 points by MindGods 6y ago|0 comments
368.
Mystery of origin of Stonehenge megaliths solved(bbc.co.uk)
2 points by MindGods 6y ago|0 comments
369.
Half of Nobel prizes in science go to just five research fields(newscientist.com)
4 points by MindGods 6y ago|2 comments
370.
Work honored by Nobel prizes clusters heavily in a few scientific fields(journals.plos.org)
1 points by MindGods 6y ago|0 comments
371.
Hackers Broke into Real News Sites to Plant Fake Stories(wired.com)
3 points by MindGods 6y ago|1 comments
372.
Why NASA's Mars rover Perseverance will use nuclear power to keep itself warm(space.com)
2 points by MindGods 6y ago|0 comments
373.
Today’s Internet Still Relies on Arpanet-Era Protocol: The Request for Comments(spectrum.ieee.org)
2 points by MindGods 6y ago|1 comments
374.
Tech CEOs' opening statements for Wednesday's tech antitrust hearing(politico.com)
1 points by MindGods 6y ago|0 comments
375.
Critical Importance of Decentralized, Explainable AI for Better Social Networks(blog.singularitynet.io)
2 points by MindGods 6y ago|0 comments
376.
How would I improve RSS? Three ideas(interconnected.org)
2 points by MindGods 6y ago|0 comments
377.
AI that spots similarities between programs could help computers code themselves(technologyreview.com)
2 points by MindGods 6y ago|0 comments
378.
TikTok blasts 'copycat' Facebook as US starts probe(bbc.com)
2 points by MindGods 6y ago|0 comments
379.
Demonstrating Perl with Tic-Tac-Toe(fedoramagazine.org)
2 points by MindGods 6y ago|0 comments
380.
Twitter in turmoil after month of crisis leads to concerns over leadership(theguardian.com)
3 points by MindGods 6y ago|0 comments
381.
AI Systems Use Mad Libs to Teach Themselves Grammar(hai.stanford.edu)
2 points by MindGods 6y ago|0 comments
382.
Man who can read letters–but not numbers–exposes complex roots of consciousness(sciencemag.org)
2 points by MindGods 6y ago|0 comments
383.
Announcing ScaNN: Efficient Vector Similarity Search(ai.googleblog.com)
2 points by MindGods 6y ago|0 comments
384.
Openness and security: a balancing act for the add-ons ecosystem(blog.mozilla.org)
2 points by MindGods 6y ago|1 comments
385.
A look back at memory models in 16-bit MS-DOS(devblogs.microsoft.com)
2 points by MindGods 6y ago|0 comments
386.
Power Grids Should Be as Data Driven as the Internet(spectrum.ieee.org)
2 points by MindGods 6y ago|1 comments
387.
Missed wind patterns are throwing off climate forecasts of rain and storms(sciencemag.org)
3 points by MindGods 6y ago|0 comments
388.
Boeing to cease 747 production as losses hit $2.4bn(bbc.com)
2 points by MindGods 6y ago|0 comments
389.
Pluto’s dark side spills its secrets – including hints of a hidden ocean(nature.com)
2 points by MindGods 6y ago|0 comments
390.
With 5G Rollout Lagging, Research Looks Ahead to 6G(spectrum.ieee.org)
2 points by MindGods 6y ago|0 comments

More ›