Why Is Google Translate Spitting Out Sinister Religious Prophecies?motherboard.vice.com·2 pts·gfredtech·0
Ways of expressing 'bottom' in Haskell without resorting to unsafe operationsokmij.org·1 pts·gfredtech·0
Examples of algorithms and proofs that seem correct, but aren'tcstheory.stackexchange.com·2 pts·gfredtech·1
From C/C++ to native development: Rust and Fortran plugins in CLionblog.jetbrains.com·1 pts·gfredtech·0
Sulong – A high-performance LLVM bitcode interpreter built on the GraalVMgithub.com·62 pts·gfredtech·17
On false proofs of P=NP, or how not to use induction(2013)farkasdilemma.wordpress.com·2 pts·gfredtech·0
A major vulnerability has frozen hundreds of millions of dollars of Ethereumtechcrunch.com·151 pts·gfredtech·16
Trump campaign adviser pleaded guilty to lying about Russian contactswashingtonpost.com·5 pts·gfredtech·0