#history of Islamic #law in #Pakistan and how the role of the 'ulama has changed over time
#paper on #geothermal heat flux in #Antarctica; worldwide continental heat flux is 67 mW/m². Some of Antarctica is over 2500 Ga in age and about half is over 0.5 Ga, suggesting 51 to 69 mW/m², but some measurements suggest areas over 100 mW/m². #cc by
#paper on #geothermal heat flux in #Antarctica
#divulgation of #geothermal EGS from 02018. “A 2006 report led by [Jeff] Tester found that, in the US alone, the technology could unlock 130,000 times as much energy as the country uses each year.” Mentions the Basel and Pohang quakes, and supercritical EGS.
now #yosys can synthesize a #KiCad netlist for SSI logic #hardware with #SKiDL, and #GHDL enables it to take #VHDL input instead of just #Verilog.
"SKiDL" is a Python EDSL for generating a #KiCad netlist for automatic layout. #hardware
"Dtach" is an alternative to screen; Aristotle explains how to use it to keep #Mosh alive when he isn’t using it
#Greenland’s ice sheet is melting and uncovering “a museum of pre-human geology”, with perhaps ample deposits of metals.
Filip Szkandera built a 500kHz 32-bit #RISC-V CPU called the #Pineapple-One; first he simulated it in #Logisim-Evolution, then laid it out as 230 or so chips on 8 100mm×100mm PCBs, mostly 74HCT chips. #hardware
"Pineapple One" #RISC-V #hardware. Mentions that the reason for using 100mm×100mm PCBs is that they’re cheaper at #JLCPCB.
"Logisim Evolution" is a continuation of Carl Burch’s #Logisim educational logic circuit simulator. #hardware
the Korean #imperial-family pretender (and monarchist) who named #rasengan his successor. #Libera
the Minnesota Board of Engineering Licensure is censuring "Strong Towns" founder Charles Marohn for criticizing engineering. #human-rights
#covid immunity from mild cases is long-lasting, so maybe #variolation would have been a good idea
John Stuart #Mill’s #moral #philosophy and #utilitarianism #ethics
the #ekranoplan Корабль-макет went up to 500 km/h (650 km/h once) at 5-10 meters above the Caspian Sea
Yudkowsky outlines how to imagine a #utopia people would want to live in
“It's probably time to stop recommending #Clean-Code” because the author doesn’t like the code. #Uncle-Bob
#Wikimedia migrated to #Libera
#India #censorship of #WhatsApp for #copyright
Frank #Gehry’s #cardboard #furniture collection "Easy Edges", the ones with the massively laminated wavy chairs and stuff
Why #RISC-V doesn’t yet support #KVM; looks like #Linux will change some RISC-V policies
Hillel Wayne outlines #esolang history, including #BF but also INTERCAL, FALSE, Befunge, Shakespeare, Piet, BodyFuck, Chef, Orca, GolfScript, and Hexagony
#janneke describing #bootstrappable progress last month
discussion of #energy starting from a 01953 book on #nuclear #energy
discussion of #language design for paper
#VPRI is dead, hackernewsers want to do something similar
racist Grauniad article about #solar #energy #pricing, with discussion veering off into the history of #Wuxi
#ffmpeg cheat sheet, including temporal trimming, concatenation, delaying, rotating, etc., but not spatial trimming. #cli
"Efabless" is an #MPW shuttle program for open-source #hardware, free because it’s sponsored by Google
#Alibaba #Xuantie by Pingtouge Semiconductor (“brother pingtou” or “honey badger”) #hardware #RISC-V
more on #Xuantie; "T-Head" is the open-source #hardware group at #Alibaba. #RISC-V
how xdg-open and the like decide how to open files on modern Unix desktops
"Micro-PROLOG" was a #Prolog for the ZX Spectrum and similar #Z80 machines including #CPM. Proprietary, disassembly available.
#Norvig’s spell-corrector (spell corrector) in Python. #smallisbeautiful
multistream #Wikipedia #dataset downloads allow you to use only a small subset of the data
public-access #TOPS-20 #retrocomputing system. With 14000 user accounts!
Lem’s “Philip K. #Dick: A Visionary Among the Charlatans” #litcrit
smallsat launchers, rockets with under about one tonne payload. #space
porting GNU software to #ITS. #retrocomputing
the #ITS #TECO command set #editor #retrocomputing
#liberal #philosophy of #poitics
the #topology-optimization group at DTU
Roger Penrose’s 01988 review of Freeman Dyson’s book “Infinite in All Directions”, which evidently includes Astrochicken and Dyson trees, as well as scavenger turtles, mining worms, Martian potatoes, comet creepers, and space butterflies, based on lectures he gave in 01985
Cox’s theorem is the one that derives #Bayesian probability from logic, given “divisibility and comparability”, “common sense”, and “consistency”, as presented by Edwin Thompson Jaynes in “Probability Theory: The Logic of Science”.