Human folly for 02019-02-01

older newer index

• F180 k450 (mrob.com):

  #Gray-Scott #reaction-diffusion #graphics with tourism notes on the whole phase space

• (youtube.com):

  #throatsinging #music #video by The HU

• Salsa (github.com):

  #incremental recomputation based on Matthew Hammer’s Adapton and Rust’s incremental recompilation stuff #cs

• (twitter.com):

  “I guess now is as good a time as any to explain "Mirth". Mirth is a strongly-typed #concatenative functional programming language. Mirth draws a lot of inspiration from monoidal category theory, as well as the languages Haskell, Idris, Rust, Lisp, #Forth, and its namesake, Joy.” #cs

• Palmer method (en.wikipedia.org):

  #handwriting #calligraphy #font (link to public-domain archive.org book)

• Rd (karlsims.com):

  #Gray-Scott #reaction-diffusion #introduction

• Spencerian script (en.wikipedia.org):

  #handwriting #calligraphy #font

• Venmo (programmableweb.com):

  #Venmo #API overview

• Overview (developers.braintreepayments.com):

  #Venmo #API docs

• V3 (developers.braintreepayments.com):

  #Venmo #JS #API docs

• (labnol.org):

  #fecebutt chat #API tutorial including the https://m.me/nameoridnumber linking scheme

• How I ended up writing my own kernel (dmitryfrank.com):

  The author of the TNeo #real-time kernel explains why he got into #kernels.

• Evolution x86 context switch Linux (maizure.org):

  How different #Linux #kernels did context switch on i386 and amd64.

• How to be successful (blog.samaltman.com):

  Sam Altman’s thoughts on how to “create something important”: compound yourself, have almost too much self-belief, learn to think independently, get good at “sales”, make it easy to take risks, focus, work hard, be bold, be willful, be hard to compete with, build a network, you get rich by owning things, be internally driven.

• How Dat works (datprotocol.github.io):

  How #Dat works. #decentralization

• Embed Facebook Messenger website (boostlikes.com):

  Embedding #Fecebutt Messenger on your web page. Links to two #WordPress plugins for it. #API

• Epoch (aturon.github.io):

  #Lock-free concurrency and optimistic synchronization without #garbage-collection in #Rust. #cs

• Wick rotation (en.wikipedia.org):

  One of the two ways amplitude in #quantum-physics becomes #probability. #QC

• Wigner quasiprobability distribution (en.wikipedia.org):

  The other way amplitude in #quantum-physics becomes #probability. #QC

• (arxiv.org):

  #PDF #paper of adding linear types to Haskell. #cs

• Venmo (articles.braintreepayments.com):

  #Venmo #API docs

• (twitter.com):

  Hillel Wayne says #formal-methods aren’t always easier with functional programming, but gives imperative examples that are statically free of aliasing because they don’t use functions.

• Delivering power to the ground (engineeringspecificlogic.wordpress.com):

  How vehicles can push themselves along the ground: screws, wheels, tracks, legs.

• (hindawi.com):

  A #paper on concurrent #lock-free #garbage-collection

• Rosemaryqanda (apinchof.com):

  #Gardening rosemary.

• Culinary%20Herbs%20Problems indoors (missouribotanicalgarden.org):

  #PDF showing #gardening problems on herbs.

• Chord (pamelazave.com):

  Pamela Zave found a bug in the Chord #DHT protocol using #formal-methods and published a fix. #decentralization

• JavaScript vs Rust linked list (codesections.com):

  #Rust as illustrated by the difficulties in building a linked list with a tail pointer, using unsafe.

• Are functional programs easier to (semantic-domain.blogspot.com):

  Neel Krishnaswami (#neelk) explains the difficulties of applying #formal-methods to imperative code. #cs