#SSE (and #AVX, #MMX) #asm #SIMD instructions for interleaving the low-order bytes, words, doublewords, or quadwords of two registers. Perfect-shuffle instructions, but not for bits.
#Coq is now #Rocq. #formal-methods
“"Flocq" (Floats for Coq) is a formalization of #floating-point arithmetic for the #Coq proof assistant. It provides a comprehensive library of theorems on a multi-radix multi-precision arithmetic. It also supports efficient numerical computations inside Coq.” #formal-methods
#PDF #paper “#ACL2 Support for #Floating-point Computations” #formal-methods
“Making my 1970’s-style renderer multi-threaded” by Filip Hraček. #3D #graphics #concurrency
#paper on “Experimental analysis of an institutional solar PV-powered steam cooker with sand-based thermal energy storage” at a high school in Ghana. #energy-storage #sand-battery #energy #solar
Hannibal the Barkid, son of Hamilcar Barca. “Barca” 𐤁𐤓𐤒 is “Barak”.
Oh my, "komatiite" doesn’t melt until 1600°? Or is that just its eruption temperature? And with a viscosity close to water!
Using a #VPN to escape the #UK #censorship of #Imgur’s geoblocking in response to #Ofcom
“our most intimate interactions with others are now governed by the expectation of surveillance and punishment from an online public. One can never be sure that this public or someone who could potentially expose us to it isn’t there, always secretly filming, posting, taking notes, ready to pounce the second one does something cringe or problematic (as defined by whom?). (...) #MeToo was smeared by liberals and conservatives alike (united, as they always are, in misogyny) as being inherently punitive in nature,” #toread
MJD’s emacsclient was looking in $TMPDIR for the #Emacs server socket, but somehow Emacs was losing $TMPDIR and putting it in the wrong place.
JoeXBayer gets an HTTP server running on his hobby OS RetrOS-32. #osdev
#Interview with Susam Pal #toread.
41' #video #toread on laser #welding #manufacturing with the xTool, which looks very impressive indeed