Human folly for 02024-08-25

older newer index

• Aardappel language (strlen.com):

  #Wouter van Oortmerssen’s language "Aardappel", a concurrent tuple-space #tree-rewriting system with data examples as variable names

• Aarded (github.com):

  #Wouter van Oortmerssen’s #tree-rewriting language #Aardappel

• Thesis (strlen.com):

  #PDF of #Wouter van Oortmerssen’s dissertation on the #Aardappel concurrent tuple-space #tree-rewriting programming language

• MarkovJunior (github.com):

  “#MarkovJunior is a probabilistic programming language where programs are combinations of rewrite rules and inference is performed via constraint propagation.” #tree-rewriting and 2-D and 3-D grid rewriting, for example for game level design. By Maxim #Gumin.

• Arith (git.phial.org):

  Arithmetic in #tree-rewriting for #Modal.

• Paradise (git.sr.ht):

  a #text-adventure in the #Modal #tree-rewriting language

• Modal (wiki.xxiivv.com):

  #Tutorial for the "Modal" #tree-rewriting language

• SECD (wiki.xxiivv.com):

  An #SECD machine to play with, including #compilers for #Lisp, etc.

• Decadv (rabbits.srht.site):

  #100-Rabbits “December of Adventure” hack-a-day

• GRAIL (wiki.xxiivv.com):

  #100-Rabbits super-lightweight handwriting recognizer for #Uxn, based on RAND #GRAIL

• Against all odds an asteroid mining company appears to be making headway (arstechnica.com):

  #Asteroid-mining in #space by #AstroForge #toread

• Async hazard mmap (huonw.github.io):

  #performance of #mmap is bad when it blocks #async #concurrency

• Item (news.ycombinator.com):

  #Telegram CEO Pavel #Durov just got arrested in #France for not imposing enough #censorship. #politics #security

• Vital necessity of very old books (millersbookreview.com):

  old books provide an outside perspective on modernity

• (github.com):

  Poikilos’s #parsing problem with #BASIC and #LALR parser generators

• Egan learning to be me (philosophy.williams.edu):

  #PDF of Greg #Egan’s science #fiction story about neural emulation and #neural-networks having #qualia

• RL h1400 (datamath.org):

  in 01980 the Panasonic "HHC" (handheld computer) designed by Friends-Amis had 4K of RAM and supported #BASIC and #Forth with a 26-character one-line LCD display and a shitty QWERTY keyboard, MSRP US$500 (equivalent to US$1800 today) #history

• 1968 Forth (github.com):

  original #Forth for IBM 1130 from the Mohasco carpet company. OPERATION SWAP 0 LS XCH FF LS 0 SS XCH FF SS RETURN OPERATION + 0 LS FF MS 0 ADD FS 0 SS RETURN #retrocomputing #history

• Navcgi (web.archive.org):

  #Forth webring as of 02016

• (sdmx.oecd.org):

  the OECD REST API for fetching economic indicator data as CSV

• CSE (cse.google.com):

  #OpenCores has a custom search engine page (“CSE”) on Google for searching for #hardware #gateware designs

• (opencores.org):

  #PDF from 02019 by James Brakefield listing mostly open-source #microcontrollers #gateware on #OpenCores, including a bunch of #6502 designs, an RCA 1802 or two, some Motorola 6801 clones, a bunch of #8051 clones, several #8080 designs (including one by C.H. Ting!), several #68000 designs, several #68HC11 designs, several ARMs (which are not all proprietary), some #AVR designs, a lot of #Forth chips, a PDP-1, a bunch of MIPS designs, an MMIX, various #OpenRISC 1000 designs, a PDP-10, a bunch of PDP-8s, a lot of PIC16s, a lot of #RISC-V designs, Cray-1 and Cray-2 clones, several Z80s, the #Reduceron, etc. There’s a table specifying how many LUTs each one achieves, how many KIPS per LUT (!), what they’re written in, how big their address spaces are, year started, year of last revision, etc.

• CPUs caddr (github.com):

  #Lisp machine #gateware for the MIT CADR in modern #Verilog. “Boots and runs.” By #lisper (Brad Parker)

• @Amszmidt (mastodon.social):

  Alfred M. Szmidt on #Mastodon, the #Lisp machine hacker

• AIM (dspace.mit.edu):

  #PDF #paper AIM-514 from 01979 by #GLS, on #hardware designed to run #Scheme #Lisp

• AIM (dspace.mit.edu):

  #PDF of the AIM-559 #paper from 01980 on the "SCHEME-79" #Scheme chip #hardware by #GLS. Badly scanned

• (redbookresearch.com):

  “Redbook Research, known as Johnson Redbook Service*, has been the recognized leading publisher of tracking statistics and independent analysis on the U.S. Retail Market [sic] since 1964.

  *Johnson Redbook Service® was founded by Edward F. Johnson in 1964.” In particular the Redbook Index.

• Maude manualch1 (maude.lcc.uma.es):

  introduction to the #Maude prover, which uses #tree-rewriting. #formal-methods #toread

• All the pop songs (keytomusicnorth.com):

  the G-D-Em-C chord progression occurs in many pop songs

• !Index (ibiblio.org):

  ESR’s "vh" "volks-hypertext" #hypertext browser for the Jargon File is here

• LS LR (ibiblio.org):

  this is an index of the whole #Sunsite software archive

• Mmlplayer (matarillo.github.io):

  #MML #music #synthesizer in JS, for testing tunes in MML format (the GW-BASIC PLAY command)

• (abc.rectanglered.com):

  #ABC-notation #music #synthesizer in JS, including rendering to a score

• (abcnotation.com):

  #ABC-notation #music, with 720,000 tunes, tutorials, etc.

• What made the cdc6600 fast (cpldcpu.wordpress.com):

  Fairchild’s gold-doped 2N709 transistor was designed specifically to enable the #CDC 6600 to achieve its 10MHz clock speed and therefore good #performance despite using RTL, by reducing saturation charge. The PMBT2369 or MMBT2369 is a current replacement that works slightly better. A six-stage ring counter on a PCB runs at 17.7MHz, which is a propagation delay of under 5ns, reducible to 3.5ns with a higher gate current of 10mA. #hardware #retrocomputing #electronics

• (archive.computerhistory.org):

  Jean Hoerni’s patent notebook for the 2N709 transistor. #history #hardware #electronics

• Pavel Durov and the BlackBerry ratchet (oblomovka.com):

  Danny O’Brien on #Durov getting arrested. #France #politics #security