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