tiensonqin

<?xml version='1.0'?>
   <font>
       <info aa='1' size='50' smooth='1' stretchH='100' bold='0' padding='0,0,0,0' spacing='0,0' charset='' italic='0' unicode='0' face='HelveticaRegular'/>
       <common scaleW='384' packed='0' pages='1' lineHeight='50' scaleH='320' base='39'/>
       <pages>
            <page id='0' file='HelveticaRegular.png'/>
       </pages>
        <chars count='95'>
            <char xadvance='14' x='46' chnl='0' yoffset='39' y='42' xoffset='0' id='32' page='0' height='0' width='0'/>
            <char xadvance='14' x='226' chnl='0' yoffset='3' y='200' xoffset='6' id='33' page='0' height='38' width='8'/>

tiensonqin

;; Because in formal logic, ∀x.P(x) = ¬∃x.¬P(x)
(d/q '[:find ?id
       :in $ [?interest ...]
       :where
       [?a :account/id ?id]
       (not-join [?a ?interest]
         [?a :account/interest ?i]
         (not [(= ?i ?interest)]))])

;; It is harder to understand when you bind interest as above if you

tiensonqin

theory
  Consensus_Demo
imports
  Network
begin

datatype 'val msg
  = Propose 'val
  | Accept 'val

tiensonqin

Connect to Google Home

tiensonqin

Using OTP's observer (appmon replacement) remotely

$ ssh remote-host "epmd -names"
epmd: up and running on port 4369 with data:
name some_node at port 58769

Note the running on port for epmd itself and the port of the node you're interested in debugging. Reconnect to the remote host with these ports forwarded:

$ ssh -L 4369:localhost:4369 -L 58769:localhost:58769 remote-host

tiensonqin

sysctl -w fs.file-max=12000500
sysctl -w fs.nr_open=20000500
ulimit -n 4000000
sysctl -w net.ipv4.tcp_mem='10000000 10000000 10000000'
sysctl -w net.ipv4.tcp_rmem='1024 4096 16384'
sysctl -w net.ipv4.tcp_wmem='1024 4096 16384'
sysctl -w net.core.rmem_max=16384
sysctl -w net.core.wmem_max=16384
wget http://packages.erlang-solutions.com/erlang-solutions_1.0_all.deb
sudo dpkg -i erlang-solutions_1.0_all.deb

tiensonqin

(ns figma.specs
  (:require [clojure.spec.alpha :as s]))

(def color-chan
  (s/and number? #(<= 0 % 1)))

(def alpha-chan
  (s/and number? #(<= 0 % 1)))

;;=============================================

tiensonqin

(ns figma.specs
  (:require [clojure.spec.alpha :as s]))

(def color-chan
  (s/and number? #(<= 0 % 1)))

(def alpha-chan
  (s/and number? #(<= 0 % 1)))

;;=============================================

tiensonqin

Contents

• Why care about Rust?
• The Toolchain
• Creating a New Project
• Modules
• Crates
• Types
• References
• Mutability

tiensonqin

This is a plain-text version of Bret Victor’s reading list. It was requested by hf on Hacker News.

---

Highly recommended things!

This is my five-star list. These are my favorite things in all the world.

A few of these works have had an extraordinary effect on my life or way of thinking. They get a sixth star. ★