joseraul

Joined 12 years ago

Karma

362

Submissions

66

Member since

Aug 1

View on Hacker News

Recent submissions

AI approach outperformed human experts in identifying cervical precancer cancer.gov

2 joseraul 7 years ago 0 comments

Comment · 8 years ago

All 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

Cloud startup Apprenda shuts down businessinsider.com

2 joseraul 8 years ago 0 comments

Apprenda shut down businessinsider.fr

2 joseraul 8 years ago 0 comments

Comment · 8 years ago

One author of Xoroshiro has written a detailed (and harsh) analysis of PCG.

http://pcg.di.unimi.it/pcg.php

Comment · 8 years ago

Rumors say he writes code in zcat to go faster.

Scientists make first attempt to permanently change a person’s DNA independent.co.uk

3 joseraul 9 years ago 0 comments

Creating an Artificial Intelligence for NDA Evaluation papers.ssrn.com

1 joseraul 9 years ago 0 comments

Smart sex toys firm coughs up $3.75m in privacy lawsuit theregister.co.uk

1 joseraul 9 years ago 0 comments

Anterofit: Wrap REST APIs with Rust Traits github.com

3 joseraul 9 years ago 0 comments

Comment · 9 years ago

They may not do user studies like this, but for sure they adapt to user feedback.

https://thefeedbackloop.xyz/stroustrups-rule-and-layering-ov...

New Rust hash table leads Benchmarks Game benchmarksgame.alioth.debian.org

198 joseraul 9 years ago 146 comments

Comment · 10 years ago

Peter Norvig explains why.

http://norvig.com/chomsky.html