how booting works on #RISC-V
"Salto": System for Assembly-Language Transformation and Optimization, a 1996 #paper on writing things similar to Valgrind or gprof, but at the #asm level, mostly for #performance analysis
"Shade" was a system that dynamically recompiled segments of machine code to insert instrumentation for #performance analysis with about a 6× slowdown (in 1993)
literate-programming #ebook developing the proof assistant "Proust" in Racket, apparently written for teaching Waterloo's Logic and Computation course, with an overview of propositional and predicate #logic, as well as #Coq and #Agda. #cc by-nc-sa
#asciinema version 2 file #format uses #ndjson for ASCII #screencasting
David Rowe’s "LPCNet" decoder for #Codec-2 can transmit very realistic #speech at 1700 bits per second using #WaveNet
David Rowe’s #Codec-2 was extended in 02018 to provide usable #speech at 450 bits per second
+HCU’s .gdbinit file with 2000 lines of #GDB #debugger script from 02010: “A user-friendly gdb configuration file”
#video of #QiskitBlocks #game where you escape from escape rooms by designing quantum computing circuits #QC
"QiskitBlocks" #game with screenshots
thoughts on system architecture optimized for new #nonvolatile-RAM
#interview by Daniel Temkin about the #Orca #esolang, a two-dimensional ASCII language for #livecoding #music, by #100-Rabbits Devine Lu Linvega and Rekka Bell(um?), who live on a solar-powered sailboat called Pino and created a conworld called the Neauismetica. Talks a lot about #Fractran. “#Lisp is a slippery slope that leads inevitably to #Forth.”. #bootstrapping #cc by
another #interview with Devine Lu Linvega from #100-Rabbits going deep into the #Orca #livecoding #esolang. #bootstrapping #toread
"100 Rabbits" homepage #bootstrapping
another #interview with #100-Rabbits Devine Lu Linvega. #bootstrapping
what #Common-Lisp fashions in 02020 are
Jakob Engblom’s “Review of #Reverse-Debugging” #paper #pdf from 02008
#GDB #debugger #reverse-debugging doesn’t yet support AVX2, but recent glibc lets you turn off AVX2 with an environment variable, so you can GLIBC_TUNABLES=glibc.cpu.hwcaps=-AVX2_Usable,-AVX_Fast_Unaligned_Load gdb ...
A new #ESP32 #microcontroller "ESP32-C3" with #RISC-V RV32IMC has better single-core #performance but less RAM
interesting “Large Character Microvector Set” of #tiles for drawing characters from HP 2640 terminal font option ROMs from around 01980.
discussion of why the #RISC-V #hardware architecture doesn’t have condition code flags, veering off into crypto
the announcement of Chibi #Scheme #smallisbeautiful
the #covid #vaccine we just bought from China was being given to Chinese state employees and students going abroad back in June
#ebook about #Selfie, the #bootstrapping system that emulates a subset of #RISC-V and compiles itself from a subset of #C and has a #SAT #solver for bounded model checking
"Selfie" #bootstrapping #RISC-V
the #Selfie subset of #RISC-V, called "RISC-U", has 14 instructions (including limited multiply and divide) but omits AUIPC and URET/SRET/MRET
#3D reconstruction with #differentiable #optimization using sphere tracing of a #signed-distance-field with the "DIST" #graphics #rendering software
#Video of the #DIST #differentiable #graphics #rendering software #3D scanning a couple of chairs with #optimization
#video of "SDFDiff" #Differentiable #Rendering of #Signed-Distance-Fields for #3D Shape #Optimization (CVPR2020 Oral), using a multiresolution strategy. #graphics
#software of #SDFDiff #differentiable #signed-distance-fields #3D #optimization #graphics #rendering. Proprietary by default tho
“DEODR (for Discontinuity-Edge-Overdraw based Differentiable Renderer) is a #differentiable #3D mesh renderer written in C with Python and Matlab bindings.” for “efficient analysis-by-synthesis computer vision” from 02008! #graphics #optimization #software #rendering
“Mitsuba 2: A Retargetable Forward and Inverse Renderer” is a #differentiable #3D ray tracer with a #GPGPU backend used for, among other things, #rendering #caustics and #optimization for analysis-by-synthesis computer vision
interesting, #rr can replay execution under Valgrind!
#QEMU also supports record and replay for #reverse-debugging! At the whole-system level! On i386, amd64, ARM, and MIPS! But no GDB support! “New VM snapshots may be created in replay mode. They can be used later to recover the desired VM state. All VM states created in replay mode are associated with the moment of time in the replay scenario. After recovering the VM state replay will start from that position.”
claims that #QEMU #reverse-debugging does support #GDB. Somewhat.
#QEMU #reverse-debugging was broken 02015–02017 but should be able to boot Linux now since 02020.
#PyPy got #reverse-debugging in 02016 called "RevPDB"
this guy cloned #rr in Rust in a few months apparently? for #reverse-debugging
interesting, Jakob Engblom found Zelkowitz’s 1973 paper about #reverse-debugging
oh nice, Michael Elizabeth Chastain showed up to tell Engblom about his #reverse-debugging system!
Michael Elizabeth Chastain’s #reverse-debugging system, mec-replay
why an ex-ARM engineer doesn’t like #RISC-V
John Mashey in 02005 commenting on #performance #history and why it was so hard to make a fast #VAX
#video of an ARM engineer who does like #RISC-V in 02019, says it’s state of the art
another person criticizing #RISC-V, David Chisnall, previously head of a RISC-V WG
more discussion of #RISC-V’s imperfections