joseraul

5 ms·

1.
AI approach outperformed human experts in identifying cervical precancer(cancer.gov)
2 points by joseraul 8y ago|0 comments
2.
by joseraul 8y 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
3.
Cloud startup Apprenda shuts down(businessinsider.com)
2 points by joseraul 8y ago|0 comments
4.
Apprenda shut down(businessinsider.fr)
2 points by joseraul 8y ago|0 comments
5.
by joseraul 8y ago
One author of Xoroshiro has written a detailed (and harsh) analysis of PCG. http://pcg.di.unimi.it/pcg.php
6.
by joseraul 8y ago
Rumors say he writes code in zcat to go faster.
7.
Scientists make first attempt to permanently change a person’s DNA(independent.co.uk)
3 points by joseraul 9y ago|0 comments
8.
Creating an Artificial Intelligence for NDA Evaluation(papers.ssrn.com)
1 points by joseraul 9y ago|0 comments
9.
Smart sex toys firm coughs up $3.75m in privacy lawsuit(theregister.co.uk)
1 points by joseraul 10y ago|0 comments
10.
Anterofit: Wrap REST APIs with Rust Traits(github.com)
3 points by joseraul 10y ago|0 comments
11.
by joseraul 10y 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...
12.
New Rust hash table leads Benchmarks Game(benchmarksgame.alioth.debian.org)
198 points by joseraul 10y ago|146 comments
13.
by joseraul 10y ago
Peter Norvig explains why. http://norvig.com/chomsky.html
14.
Microsoft AI against cancer(theverge.com)
2 points by joseraul 10y ago|0 comments
15.
by joseraul 10y ago
Gabriel Synnaeve was already working on this long before joining FB. http://emotion.inrialpes.fr/people/synnaeve/
16.
Ironclad C++ [pdf] (2013)(acg.cis.upenn.edu)
2 points by joseraul 10y ago|0 comments
17.
Setting the AI record straight (for now)(techcrunch.com)
2 points by joseraul 10y ago|0 comments
18.
by joseraul 10y ago
Don't forget the "up to". Your app may be in another section of the statistics.
19.
The state of game development in Rust(arewegameyet.com)
4 points by joseraul 10y ago|0 comments
20.
by joseraul 10y ago
OCaml is GCed and can infer more type annotations than Rust, so its code feels closer to Python. Rust is best for complex systems where tight control of resources is required.
21.
by joseraul 10y ago
Such specialized filters can improve compression a lot. For instance, the e8e9 transform converts relative jumps to absolute jumps in x86 EXEs, increasing compression because lots of jumps actually point to the same address. http:/&#x
22.
by joseraul 10y ago
CPUs have gotten so complex that mastering their language (and behavior) is a skill on its own. Most people can get on with compiled/interpreted languages.
23.
by joseraul 10y ago
> what's 8MB when your server's got 64GB Note that 8Mb is the size of the L3 cache on some modern Intel chips. You want fast lookups in the window area, where you constantly do random-access reads.
24.
by joseraul 10y ago
Indeed ANS is difficult: it is the biggest innovation in compression in the last 20 years. Its author has some nice but dense slides about it. https://dl.dropboxusercontent.com/u/12405967/ANSsem.pdf Not sure exact
25.
by joseraul 10y ago
The theoretical discussion is interesting, especially the circular library that gives some intuition of the square root law. But in practice, you usually know the order of magnitude of your data, so access is rather O(1), for some constant
26.
by joseraul 10y ago
In his excellent book [1], Andy Hunt explains what expertise is with a multi-level model [2], where a novice needs rules that describe what to do (to get started) while an expert chooses patterns according to his goal. So, "best practi
27.
by joseraul 10y ago
Bash equivalent is just: echo $'hello\nworld' This uses ANSI C quoting https://www.gnu.org/software/bash/manual/html_node/ANSI_002d... .
28.
How can you echo a newline in batch files?(stackoverflow.com)
1 points by joseraul 10y ago|2 comments
29.
by joseraul 10y ago
TL;DR To please the gaming market, CPUs develop large SIMD operations. ChaCha uses SIMD so it gets faster. AES needs array lookups (for its S-Box) and gets stuck.
30.
by joseraul 10y ago
it's really fast to push the 16*64 bit registers to the stack Since the CPU has 180 registers (with only 16 names), why don't we need to push all 180 to store context?

More ›