Human folly for 02024-12-22

older newer index

• Issue42109 (bugs.python.org):

  Paul Ganssle and Zac Hatfield-Dodds want to use #Hypothesis to test the core of #Python, saying #PyPy already does this, while Guido and Raymond Hettinger are skeptical. “Minithesis is readable mostly by virtue of not handling the hard edge cases.” #testing #PBT

• Reduction via generation preview (drmaciver.github.io):

  #CC by preprint of #PDF #paper by #DRMacIver on how #Hypothesis shrinking works #testing #PBT

• (github.com):

  #testing #Python with #Hypothesis is proposed (and now accepted) #PBT

• (github.com):

  more about #testing #Python with #Hypothesis #PBT

• Lipics (drops.dagstuhl.de):

  #CC by final #paper by #DRMacIver on #Hypothesis shrinking. #toread #testing #PBT

• Fast check (github.com):

  "fast-check" is the popular property-based #testing library for #JS (displacing JSVerify) and for #TypeScript too. It supports shrinking but seems not to use Hypothesis’s insights. Maybe it’s better, who knows.

• Books (books.google.com.ar):

  “Telegraph Talk and Talkers”, an article by L. C. Hall about #Morse code and telegraphers from volume 18 (Vol. XVIII), No. 3, of the “McClure’s” magazine, January 01902, pp. 227–231, badly digitized by Google, describing the subculture around the #telegraph, which recognizably resembles 20th-century internet culture.

• Nll (languagelog.ldc.upenn.edu):

  Mark Liberman’s commentary from 02024 on L. C. Hall’s #telegraph #Morse article in McClure’s.

• Through the earth mine communications (en.wikipedia.org):

  300–3000Hz ELF for through-the-earth communication in mines and caves, and sometimes higher frequencies used by "speleophones" like the Molefone (87kHz), the HeyPhone (open design, 87kHz SSB), Nicola (87kHz SSB), Cave-Link (30W at 20–140kHz), and Pimprenelle, which use grounded electrodes of 25–100 meters length; and Sybet's “BatNode” approach using a series of relay stations within the cave instead of doing TTE.

• (youtube.com):

  #news #video about #Milei feuding more publicly with #Villarruel, but the actual quote is very dog-whistly. Touts a new US$400 million Stellantis investment. #Argentina #politics

• ~Mascheck (in-ulm.de):

  Sven Mascheck’s pages about mostly #Unix #history

• Ash (in-ulm.de):

  the #history of the Almquist #Bourne-shell #ash from which we get dash and the BusyBox shell. #Unix

• Bourne (in-ulm.de):

  the #history of the #Unix #Bourne-shell

• (youtube.com):

  #video in #Italian on #bootstrapping a metal-melting oven with a methane burner made from gas pipe and wire and teflon tape. Demonstrates a hand-driven aluminum hole saw cutting a large circular hole through insulating refractory.