inputs

Some things to read

Books

Goodreads “Want to Read” shelf.

Other books:

• Irene Cunningham - The trees that were nature’s gift

Magazines, Journals

• Anarcho-transhuman #4: Outer Space & Cosmic Ambitions

• Increment #8: Internationalization

Articles, Blog Posts

• Brave Old World: Immigration, inequality and intergenerational mobility in the US
  • Original paper: American geography of opportunity reveals European origins

• Seeing Like a Communist

• History of the Capital AI & Market Failures in the Attention Economy

• How the US has hidden its empire

• Ancient technology gets an update in sustainable cooling solution

• Semiotic Ghosts: Science Fiction and Historicism
  • Peio Aguirre
• Heineken claims its business helps Africa. Is that too good to be true?
  • The Dutch beer giant likes to blow its own trumpet about the economic and social benefits it brings to Africa – but revelations of sexual harassment and low pay show a different picture.
  • Olivier van Beemen (The Guardian)

• Aboriginal houses

• How Chinese novelists are reimagining science fiction

• Myths of Malinche

• A Journey Into the Animal Mind: What science can tell us about how other creatures experience the world

• EVM Evolution Roadmap: Towards a More Aggressive Ethereum Execution Engine

• Advanced Solidity code deployment techniques

• Using Machine Text Generation Techniques to Write Cool Stories

• Marngrook, Tom Wills and the Continuing Denial of Indigenous History

• A letter to Steven Pinker (and Bill Gates, for that matter) about global poverty

• Build a Clojure web app using Duct

• The Retreat from the Word

• Speeding Up IPFS Through Swarm Connections

• Code hidden in Stone Age art may be the root of human writing

• Life is not easily bounded

• Eco-efficient cements: Potential economically viable solutions for a low-CO2 cement-based materials industry

• On Efficient Ethereum Storage

• Athens is one of the last cities in Europe that can still be old, weird, and chaotic
  • Musician and cartoonist Montero explains why he decided to relocate from his native Melbourne to Athens and describes how art can thrive in a context of crisis

• How Do You Value a Human Being?

• A practitioner’s guide to reading programming languages papers

• Preserving Microbial Diversity: Microbiota from humans of all cultures are needed to ensure the health of future generations

• How to Become a Freelance Web Developer and Land Your First Client

• Integrated Music Streaming Service With the Lightning Network

• Why I Am Not A Statist

• Hope Is Not Enough To Redeem Statism

• Introducing the Force-Move Games Framework for State Channels

• The History of Playing Cards: The Evolution of the Modern Deck

• Why libp2p?

• From zero to nowhere: smart contract programming in Huff (1/2)

• Web3 Design Decision Making Framework
  • Initial results of the research for the Web3 Design System that teach how to make sense of Web3 user problems and how to solve them

• The Ethereum Virtual Machine — How does it work?

• Adventures with Dumb Contracts

• JelloPaper: Human Readable Semantics of EVM in K

• We may finally know what causes Alzheimer’s – and how to stop it

• We need to own our data as a human right—and be compensated for it

• It’s Time to Try Fossil-Fuel Executives for Crimes Against Humanity
  • https://www.reddit.com/r/Futurology/comments/anpw0d/its_time_to_try_fossilfuel_executives_for_crimes/

Papers, Theses

• Curating Simulated Storyworlds
  • James Ryan’s PhD thesis
  • “He’s talking about procedurally generated narrative, and advocating for the idea that, instead of trying to bend simulations into narratively interesting paths, we should simulate lots of characters and then (possibly automatically) curate and present the stories that turn out to be interesting.”

• Hybridity and Transformation: The Art of Lin Onus

• Compositionality and String Diagrams for Game Theory

• Stable isotopes reveal patterns of diet and mobility in the last Neandertals and first modern humans in Europe

• Code Optimisation Techniques for Lazy Functional Languages
  • Urban Boquist
  • Describes GRIN (Graph Reduction Intermediate Notation)
• Non-linear Pattern Matching with Backtracking for Non-free Data Types
  • Satoshi Egi, Yuichi Nishiwaki

• Aboriginal occupation on Rottnest Island, Western Australia, provisionally dated by Aspartic Acid Racemisation assay of land snails to greater than 50 ka

• The Presentation of Self on a Decentralised Web

• Analyzing software requirements errors in safety-critical embedded systems — Lutz, IEEE Requirements Engineering, 1993

• Bolt: anonymous payment channels for decentralized currencies — Green and Miers et al., CCS’17

• Meltdown — Lipp et al., 2018

• Spectre attacks: exploiting speculative execution — Kocher et al., 2018

• Some thoughts on security after ten years of qmail 1.0 — Bernstein, 2007

• The paradigms of programming — Floyd, CACM 1979

• As we may think — Vannevar Bush, The Atlantic, 1945

• Zeus: Analyzing safety of smart contracts — Kalra et al., NDSS’18

• Settling payments fast and private: efficient decentralized routing for path-based transactions — Roos et al., NDSS’18

• Designing secure Ethereum smart contracts: a finite state machine based approach — Mavridou & Laszka, FC’18

• Towards a design philosophy for interoperable blockchain systems — Hardjono et al., arXiv 2018

• Debugging data flows in reactive programs — Banken et al., ICSE’18

• Bringing the web up to speed with WebAssembly — Haas et al., PLDI 2017

• Step by step towards creating a safe smart contract: lessons and insights from a cryptocurrency lab — Delmolino et al., 2015.

• A concurrent perspective on smart contracts — Sergey & Hobor, Workshop on Trusted Smart Contracts, 2017

• Programming paradigms for dummies: what every programmer should know — Peter Van Roy, 2009

• Towards a Theory of Conceptual Design for Software — Daniel Jackson

• Aboriginal names of bird species in south-west Western Australia, with suggestions for their adoption into common usage — Ian Abbott, 2009

• MadMax: Surviving Out-of-Gas Conditions in Ethereum Smart Contracts — Neville Grech, Michael kong, Anton Jurisevic, Lexi Brent, Bernhard Scholz, Yannis Smaragdakis (2018)

• A Nanopass Framework for Compiler Education — Dipanwita Sarkar, Oscar Waddell, R. Kent Dybvig (2004)

• Decolonization is not a metaphor — Eve Tuck, K. Wayne Yang (2012)

• Settler colonialism and the elimination of the native — Patrick Wolfe (2006)

• Snowflake to Avalanche: A Novel Metastable Consensus Protocol Family for Cryptocurrencies — Team Rocket (2018)

• Compositional Game Theory — Neil Ghani, Jules Hedges, Viktor Winschel, Philipp Zahn (2018)

• Algebra and the lambda calculus — Aubrey Jaffer

• A Tutorial Introduction to the Lambda Calculus — Raul Rojas (2015)

• Urbit: A Solid-State Interpreter — Curtis Yarvin, Philip Monk, Anton Dyudin, Raymond Pasco (2016)

• Effects of the Artificial Sweetener Neotame on the Gut Microbiome and Fecal Metabolites in Mice — Liang Chi, Xiaoming Bian, Bei Gao, Pengcheng Tu, Yunjia Lai, Hongyu Ru, Kun Lu (2018)

• Ideal Hash Trees — Phil Bagwell

• Fast And Space Efficient Trie Searches — Phil Bagwell

• The environmental costs and benefits of high-yield farming — Andrew Balmford et al. (2018)

• Idealism and the Mind-Body Problem — David J. Chalmers

• Notional Machines and Introductory Programming Education — Juha Sorva (2013)

• Addressing the Fundamental Tension of PCGMLwith Discriminative Learning — Isaac Karth, Adam M. Smith (2018)

• Typed Clojure in Theory and Practice (Thesis Proposal) — Ambrose Bonnaire-Sergeant (2018)

• The Core and Most Useful Molecules in Organic Chemistry — Kyle J. M. Bishop, Rafal Klajn, and Bartosz A. Grzybowsk (2006)

• Equal Rights for Functional Objects or, The More Things Change, The More They Are the Same — Henry G. Baker (1990)

• Predicate Dispatching: A Unified Theory of Dispatch — Michael Ernst, Craig Kaplan, Craig Chambers

• An Axiomatic Basis for Computer Programming — C. A. R. Hoare

• Fundamental Concepts in Programming Languages — CHRISTOPHER STRACHEY

• Liberal Radicalism: Formal Rules for a Society Neutral among Communities — Vitalik Buterin, Zoë Hitzig, E. Glen Weyl (2018)

• Collapsing Towers of Interpreters — NADA AMIN, TIARK ROMPF (2018)

• Interaction Combinators — Yves Lafont (1997)

• What Do We Value in Procedural Content Generation? — Gillian Smith (2017)

• Toward Decolonizing Gender: Female Vision in the Upper Paleolithic — Catherine Hodge McCoid, LeRoy D. McDermott (1996)

• Xorshift RNGs — George Marsaglia

• LISP I: Programmer’s Manual — J. McCarthy, P. Fox et al. (1960)

• Extempore: The design, implementation and application of a cyber-physical programming language — Andrew Sorensen (2018)

• Genetically Modified Organisms (GMOs) as Invasive Species — John Paull (2018)

• Chaff Bugs: Deterring Attackers by Making Software Buggier — Zhenghao Hu, Yu Hu, Brendan Dolan-Gavitt (2018)

• RSA Key Extraction via Low-Bandwidth Acoustic Cryptanalysis — Daniel Genkin, Adi Shamir, Eran Tromer (2013)

• Gradual Liquid Type Inference — NIKI VAZOU, ÉRIC TANTER, DAVID VAN HORN (2018)

• Making money in Mesoamerica: Currency production and procurement in the Classic Maya financial system — Joanne P. Baron (2018)

• Beyond Markets and states: Polycentric Governance of Complex Economic Systems — Elinor Ostrom (2009)

• Pisa: Arbitration Outsourcing for State Channels - Patrick McCorry et al.

• Adventures in Level Design: Generating Missions and Spaces for Action Adventure Games — Joris Dormans

• Counterfactual: Generalized State Channels — Jeff Coleman, Liam Horne, Li XuanjiL (2018)

• Wave Function Collapse is Constraint Solving in the Wild — Isaac Karth, Adam M. Smith (2017)

• RRB-Trees: Efficient Immutable Vectors — Phil Bagwell, Tiark Romp

• Optimizing Hash-Array Mapped Tries for Fast and Lean Immutable JVM Collections — Michael J. Steindorfer, Jurgen J. Vinju (2015)

• Composing Contracts: An Adventure in Financial Engineering — Simon Peyton Jones, Jean-Marc Eber, Julian Seward (2000)

• Coqatoo: Generating Natural Language Versions of Coq Proofs — Andrew Bedford (2017)

• Visualizing Computer Memory Architectures — Bowen Alpern, Larry Carter, TedSelker (1990)

• Universal Basic Income and the Welfare State — Richard McGahey (2016)