AI approach outperformed human experts in identifying cervical precancercancer.gov2 points·by joseraul·8 ปีที่แล้ว·0 comments
Scientists make first attempt to permanently change a person’s DNAindependent.co.uk3 points·by joseraul·9 ปีที่แล้ว·0 comments
Creating an Artificial Intelligence for NDA Evaluationpapers.ssrn.com1 points·by joseraul·9 ปีที่แล้ว·0 comments
Facebook Users Push to Proceed with Civil Rights Suitmediapost.com1 points·by joseraul·9 ปีที่แล้ว·0 comments
Google Keep Has Been Down for Several Hoursisitdownrightnow.com1 points·by joseraul·9 ปีที่แล้ว·0 comments
Smart sex toys firm coughs up $3.75m in privacy lawsuittheregister.co.uk1 points·by joseraul·9 ปีที่แล้ว·0 comments
New Rust hash table leads Benchmarks Gamebenchmarksgame.alioth.debian.org198 points·by joseraul·9 ปีที่แล้ว·146 comments
joseraul·8 ปีที่แล้ว·discussAll this may become much easier when we manage to merge proof assistants with automatic provers.Here is how you can prove the first theorem in Dafny. https://rise4fun.com/Dafny/GxplK
joseraul·8 ปีที่แล้ว·discussOne author of Xoroshiro has written a detailed (and harsh) analysis of PCG.http://pcg.di.unimi.it/pcg.php
joseraul·9 ปีที่แล้ว·discussThey may not do user studies like this, but for sure they adapt to user feedback.https://thefeedbackloop.xyz/stroustrups-rule-and-layering-ov...
Here is how you can prove the first theorem in Dafny. https://rise4fun.com/Dafny/GxplK