Human folly for 02025-12-26

older newer index

• On the impossibility of composing finalizers and FFI (wingolog.org):

  Andy Wingo thinks composing finalizers with #FFI is impossible because the #garbage-collection might decide that the object whose guts an FFI function is returning a reference to has become unreferenced.

• On impossibility composing finalizers (lobste.rs):

  comments on Wingo’s #FFI #garbage-collection post

• Neko (github.com):

  "n.eko" is a browser using WebRTC to stream a desktop inside of a #Docker container

• Text (jenson.org):

  text #editors on #multitouch #cellphones have terrible #UX problems with finger occlusion, constant user error, undiscoverable UI, etc. Based on his research on "Eloquent". “Android and iOS share a common problem: they copied desktop text editing conventions, but without a menu bar or mouse. This forced them to overload the tap gesture with a wide range of actions: placing the cursor, moving it, selecting text, and invoking a pop-up menu. This results in an overly complicated and ambiguous mess-o-taps, leading to a variety of user errors.” #toread

• 00 efc further Normalization (forum.thethirdmanifesto.com):

  #PDF scan of Ted Codd’s 01971 #paper, “Further Normalization of the Data Base Relational Model” #databases #relational-model

• Mathematical theory of computation McCarthy (cs.cornell.edu):

  #PDF of McCarthy’s “Basis for a Mathematical Theory of Computation” #paper from 01961 or 01963. #toread

• Playlist (youtube.com):

  #video playlist #toread about algorithmic game theory including mechanism design from Roughgarden’s #lecture series at Stanford

• Verse calculus core calculus for (lobste.rs):

  Discussion of #SPJ’s "Verse" functional logic programming language core calculus (and Olin Shivers’s, et al.) #toread

• Verse conf (simon.peytonjones.org):

  #Verse #paper #PDF #toread: “Functional logic languages have a rich literature, but it is tricky to give them a satisfying semantics. In this paper we describe the Verse calculus, VC, a new core calculus for functional logical programming. Our main contribution is to equip VC with a small-step rewrite semantics, so that we can reason about a VC program in the same way as one does with lambda calculus; that is, by applying successive rewrites to it.”

• (arxiv.org):

  #paper #toread on "Rel", which aspires to “fully describe end to end application semantics” in relational terms. How does this relate to #Kanren?

• (dl.acm.org):

  Sean McDirmid’s #paper on #UX of #multitouch programming, "YinYang" for “coding at the speed of touch”. From 02011!

• (youtube.com):

  #video #humor of Neil Diamond’s chair’s side of the story