Y Hacker News new | ask | show | jobs

user: icc97 created: 2012-02-20 karma: 2856 [ my public key: https://keybase.io/ianchanning; my proof: https://keybase.io/ianchanning/sigs/qn5KPNuX62zmYpkJSMRO737f_meqZ9l8Jjm4Y1aPYRY ] submissions: 0 points | 0 comments 0 points | 0 comments MCP Sux, Use CLIs 2 points | 0 comments On the subject of trust between team mates 1 points | 0 comments Memories of Kurt Gödel (2012) 2 points | 0 comments Richard Feynman – BBC Archives 2 points | 0 comments 0 points | 0 comments Why Functional Programming? 1 points | 0 comments Dyspraxia: My Life with the Misunderstood Condition (2021) 2 points | 0 comments AI and the Tao 1 points | 0 comments Advanced brain imaging study hints at how DMT alters perception of reality 4 points | 0 comments Confused about ReScript? ReScript,Reason,ReasonML,BuckleScript Explained (2020) 2 points | 0 comments Undo (“u”) stopped working as intend – Issue #8157 – VSCodeVim/Vim 2 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments A plethora of podcasts to delight statisticians 1 points | 0 comments Scientific Aspects of Juggling by Claude Shannon [pdf] 3 points | 0 comments Jesus for Atheists 2 points | 0 comments Google is building an AI (2004) 1 points | 0 comments Accelerated sensor fusion algorithm for POSE estimation of drones (2017) 2 points | 0 comments Apple.com's Visual Hierarchy 1 points | 0 comments John McCarthy's FAQ about Nuclear Energy (2006) 1 points | 0 comments Formality, a language combining formal proofs and optimal reductions 3 points | 0 comments 0 points | 0 comments Formally Verified Software in the Real World (2018) 186 points | 17 comments