The original 2009 #djb paper on #NaCl #security. Permanent ID 1ae6a0ecef3073622426b3ee56260d34. Includes pure-#Python implementations of #Curve25519 and #Salsa20 by Matthew Dempsky, as well as #Sagemath code. Doesn’t mention crypto_sign, so maybe it didn’t exist at first, which would explain why I thought it didn’t exist.
The #UX problems with the first version of #Firefox Sync #security.
Apparently Microsoft has an “academic search” search engine too now, like Citeseer. This is the page for the IPTPS conference on #decentralization software, which apparently ended in 2011.
apparently #bash ignores the #Unix signal SIGTERM because in older shells without job control you could kill all your background processes with kill 0. This saved us today when we accidentally ran killall bash on our server.
How Matt Might got tenure. #academia
#video on how “oldschool” #hardware #graphics worked, like the Commodore 64 and the Nintendo NES. Doesn’t really cover character-generator displays.
discussion of Terry #Tao’s paper about universal #computability with the #Navier-Stokes equation, #finite-time-blowup.
Terry #Tao’s "finite time blowup" #paper about universal #computability with the #Navier-Stokes equation. Using quadratic logic gates and turbulence.
#probabilistic-programming to perform inverse rendering of faces, using a probabilistic #Julia extension called Picture written specifically for the purpose by Tejas Kulkarni (et al.) “provides a general framework that aims to solve nearly all tasks in computer vision”. #Kulkarni-2015 2015-04-13.
#paper on “Picture”, a #probabilistic-programming language for #computer-vision. "Kulkarni 2015". Mentions a “Hamiltonian Monte Carlo” inverse-rendering method that “exploits the gradients of automatically differentiable renderers”, using #automatic-differentiation, I suppose. Doesn't exploit conditional independence. #toread
Overview of all existing #probabilistic-programming systems.
#Probabilistic-Programming and #Bayesian methods for Hackers in pure #Python. #ebook
Cute, build a framebuffer into an arbitrary #Qt app and access the app over #VNC instead of using #X11 or GDI or whatever.