- Alexander’s Choice
- Reading & Stall
- Have Read
- Want to Read
What is computing? What are computers for?
Xanadu Basics | Ted Nelson (2018)
Revisit Project Xanadu
STALL [Book] Mindstorms: Children, Computers, and Powerful Ideas | Seymour Papert (1980)
Computing and learning math.
The Mother of All Demos | Douglas Engelbart (1968)
Augmenting Human Intellect: A Conceptual Framework | Douglas Engelbart (1962)
A research report about a conceptual framework that can help us understand how to make use of computers to augment our capabilities.
- As We May Think | Vannevar Bush (1945)
- Notational intelligence | Linus (2022)
Seeing Spaces | Bret Victor (2014)
A new kind of "maker space" that makes seeing and understanding a project's behavior in a scientific way easier. (such as visualizing data from sensors of a robot)
Personal Dynamic Media | Alan Kay, Adele Goldberg (1977)
What would happen in a world in which everyone had a Dynabook? If such a machine were designed in a way that any owner could mold and channel its power to his own needs, then a new kind of medium would have been created: a metamedium, whose content would be a wide range of already-existing and not-yet-invented media.
How to think better? How to learn better? How to make better decision?
- Incremental note-taking | Linus Lee (2021)
- Build tools around workflows, not workflows around tools | Linus Lee (2020)
- How to find focus | Linus Lee (2020)
- How can we develop transformative tools for thought? | Andy Matuschak, Michael Nielsen (2019)
Zettelkasten — How One German Scholar Was So Freakishly Productive | David B. Clear (2019)
- STALL [Book] 研究生完全求生手冊：方法、秘訣、潛規則 | 彭明輝 (2017)
How to Make a Complete Map of Every Thought You Think | Lion Kimbro (2003)
The proposed method works with pen and paper, no computer is needed.
David Allen’s “Getting Things Done” system is actually pretty cool. If you are interested in contributing to a study of notebook systems, this is a must read. (p.5)
The notebook system I describe has built in strategy management. You will always know what your options and priorities are in notebook management. (p.6)
I actually believe that we should all communicating with what Robert Horn calls “Visual Verbal Language”. (p.6)
- Designing a better thinking-writing medium | Linus Lee (2021)
Augmenting Long-term Memory | Michael Nielsen (2018)
Using Anki to build long-term memory.
For creative work and for problem-solving there is something special about having an internalized understanding. It enables speed in associative thought, an ability to rapidly try out many combinations of ideas, and to intuit patterns, in ways not possible if you need to keep laboriously looking up information.
- DONE 深度職場力：拋開熱情迷思，專心把自己變強！(So Good They Can’t Ignore You：Why Skills Trump Passion in the Quest for Work You Love) | Cal Newport (2018)
- Ten Lessons I Wish I Had Learned Before I Started Teaching Differential Equations | Gian-Carlo Rota (1997)
- An Augmented Mind: Designing a Knowledge Base with Notion | Kasey Klimes
What kind of culture do you believe that a world where technology is ubiquitous should have?
- Towards a research community for better thinking tools | Linus Lee (2021)
- The future of community: a future for communities | Linus Lee (2020)
- What would the next Y Combinator look like? | Linus Lee (2020)
- Local-first software: You own your data, in spite of the cloud | Ink & Switch (2019)
- Malleable Systems Collective
- The Cathedral and the Bazaar, 教堂與市集（中文翻譯）
- Linus Torvalds - The mind behind Linux (TED talk in 2016)
STALL [Book] 十宅論: 解讀日本住宅與日本文化的深度關聯 (第2版)（10宅論: 10種類の日本人が住む10種類の住宅）| 隈研吾 (2016)
How to interact with people?
Networking for Nerds
People are going to remember at most three things about you. Make sure one of them is your ask- the most impactful thing they can do to help you.
A Cold Outreach Strategy That Actually Works
How to Work Together | Kevin Hale
Accomplished [X] as measured by [Y] by doing [Z]
Including interview tips.
A treasury of design-related opinions.
Muse: Designing a studio for ideas | Ink & Switch (2019)
Prior Art: Capstone: A tablet for thinking | Ink & Switch (2018)
- DONE [Book] The Laws of Simplicity | John Maeda (2005)
- STALL [Book] 設計中的設計 | 原研哉 (2003)
- DONE [Book] Maeda @ Media | John Maeda (2001)
- The Anti-Mac Interface | Jakob Nielsen (1996)
- Unix Philosophy
- inFORM: A Dynamic Shape Display that can render 3D content physically
A lecture in 1997 that describes Doug Engelbart's concepts
A hybrid graphics editor and programming environment for creating interactive diagrams.
Emerging or useful technologies.
- Pushpin: Towards Production-Quality Peer-to-Peer Collaboration | Ink & Switch (2020)
- Yjs: Shared data types for building collaborative software
- STALL Designing Data-Intensive Applications: The Big Ideas Behind Reliable, Scalable, and Maintainable Systems | Martin Kleppmann (2017)
- 「你所不知道的 C 語言」系列講座
- 「Linux 核心設計」系列講座
- 操作系统 — 北京清華大學
- 作業系統概論 — 中正大學 羅習五老師
- 作業系統設計與實作 Operating System Design and Implementation (OSDI) — 交通大學 曹孝櫟老師
- Operating System Engineering — MIT 6.828 | Youtube
Beautiful website with informative illustrations.
- CS:APP 學習指引緒論
- 從 Revolution OS 看作業系統生態變化
- UNIX 作業系統 fork/exec 系統呼叫的前世今生
- 以 sendfile 和 splice 系統呼叫達到 Zero-Copy
Angrave's crowd-sourced System Programming wiki-book
A bare-metal hypervisor
An open-source OS kernel with an end-to-end proof of implementation correctness and security enforcement.
If you would like to learn how to build a system on seL4, you might want to follow the lectures and especially the seL4-based project of UNSW's Advanced Operating Systems course.
- Computer Organization — 交通大學 李毅郎老師
- Computer Architecture — 成功大學 黃敬群老師
- Introduction to Computer Systems — CMU 15-213, 2015 Fall
- 2019 Fall videos, which are newer than those on the official website.
From CS61C: We will study a few of the basic concepts behind processor design, leaving many of the performance enhancements for CS152.
- CHIPS (Common Hardware for Interfaces, Processors and Systems) Alliance
- VSRTL (Visual Simulation of Register Transfer Logic)
A graphical processor simulator and assembly editor for the RISC-V ISA.
X Window System, Wayland
Simple, fast, safe, compiled language for developing maintainable software.
- As fast as C.
- V compiler itself is written in V.
Zig is a general-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
- Zig competes with C.
- Zig compiler itself is currently written in C++, but rewriting in Zig is in progress.
- andrewrk/clashos A multiplayer arcade game for bare metal Raspberry Pi 3 B+. Written in Zig!
- Online Chisel Bootcamp
- Chisel Tutorials
- FPGA Hell
- Icarus Verilog
- Verilog, Formal Verification and Verilator Beginner's Tutorial
- Minimizing FPGA Resource Utilization
- Purpose and Internal Functionality of FPGA Look-Up Tables
FPGA, RISC-V, HDL, Chisel
Think of it as the GCC of FPGAs.
An introduction of modern popular topics in Computer Science.
Can we formalize out thoughts mathematically?
- MIT Technology Review
- Conversations with Tyler
- Folklore: Anecdotes about the development of Apple's original Macintosh, and the people who made it
Reading & Stall
STALL M. Mitchell Waldrop, The Dream Machine: J.C.R. Licklider and the Revolution That Made Computing Personal, 2002
最近着迷于计算机历史，连读了几本相关的书 The Innovators, The Information, Possiplex 然后是 The Dream Machine。看完 The Dream Machine之后，发现脑海中的知识越来越紧密的联系了起来，像是一个一个原本分散的神经元互相打通，这种感觉很神奇。
A good book (pretty much the only good book) to read about the research community that Parc was a part of is “The Dream Machine” by Mitchell Waldrop. There you will find out about the ARPA (before the “D”) IPTO (Information Processing Techniques Office) set up in 1962 by the visionary JCR Licklider, who created a research community of 15 or 16 “projects”, mostly at universities, but also a few at places like RAND Corp, Lincoln Labs, Mitre, BBN, SDC, etc.
- STALL Ted Nelson, Computer Lib/Dream Machines, 1974
- STALL Rand Fishkin, Lost and Founder: A Painfully Honest Field Guide to the Startup World, 2018
STALL Ray Kurzweil, The Singularity Is Near: When Humans Transcend Biology, 2005
STALL Edward R. Tufte, The Visual Display of Quantitative Information, 2001
Graphical excellence is that which gives to the viewer the greatest number of ideas in the shortest time with the least ink in the smallest space.
- STALL Nassim Nicholas Taleb, The Black Swan: The Impact of the Highly Improbable, 2007
STALL Martin Fowler, Refactoring: Improving the Design of Existing Code (2nd edition), 2018
DONE Linus Torvalds, David Diamond, Just for Fun: The Story of an Accidental Revolutionary, 2001
李纳斯在2001年出过一本自传，叫做《Just for Fun》，是他和大卫·戴蒙合著的，当年我有幸读到这本书，了解了很多李纳斯的生平轶事，那时我就琢磨，这个天才已经达到人生的巅峰了吧，结果这位兄台并未停止前进的步伐，转手就在2005年搞出了分布式版本控制系统 Git，目前几乎全世界的程序员都在用 Git管理他们的代码，著名网站 Github 就是基于 Git 构建的。无论是 Linux 还是 Git，得一即可得天下，结果这哥们以一己之力发起了俩项目，而且都是主力开发人员。最终的结果是，成全了程序员，陶冶了用户，造福了一方百姓。正如李纳斯自己所言：「My name is Linus, and I am your God.」
DONE Peter Thiel, Blake Masters, Zero to One: Notes on Startups, or How to Build the Future, 2014
- DONE Robert C. Martin, The Clean Coder: A Code of Conduct for Professional Programmers, 2011
- DONE Eric Freeman, Elisabeth Robson, Head First Design Patterns: A Brain-friendly Guide, 2004
DONE David Allen, Getting Things Done, 2015
David Allen’s “Getting Things Done” system is actually pretty cool. If you are interested in contributing to a study of notebook systems, this is a must read.
- DONE 梅棹忠夫, 知識誕生的奧秘, 1969
Want to Read
Ben Horowitz, The Hard Thing About Hard Things: Building a Business When There Are No Easy Answers, 2014
About building a business.
Scott Belsky, The Messy Middle: Finding Your Way Through the Hardest and Most Crucial Part of Any Bold Venture, 2018
About project management.
Ray Dalio, Principles: Life and Work, 2017
There's a very interesting book called Principles by hedge fund manager Ray Dalio. By creating a truth-seeking environment that puts the focus on curiosity rather than being right, Ray turned his hedge fund Bridgewater into the most successful hedge-fund of all time. from Advice to my younger self
- Steven Johnson, Where Good Ideas Come From: The Natural History of Innovation, 2010
- Eric Ries, The Lean Startup: How Today's Entrepreneurs Use Continuous Innovation to Create Radically Successful Businesses, 2011
- Jeffrey S. Young, Steve Jobs: The Journey Is the Reward, 1987
- Andy Oram & Greg Wilson, Beautiful Code: Leading Programmers Explain How They Think, 2007
Yuval Noah Harari, Sapiens: A Brief History of Humankind, 2015
I resisted reading this popular history of mankind, because it came out when I had just finished “Guns, Germs, and Steel” and “Cows, Pigs, Wars, and Witches”, on the same subject. But wow - this book is at its best when the author is sharing his personal perspective about binding myths, humanism, and other ways that “truths” are not true. And you get an interesting history of the world along with it. Strange mix of history and philosophy.
- Michael A. Hiltzik, Dealers of Lightning: Xerox PARC and the Dawn of the Computer Age, 1999
- Michio Kaku, The Future of the Mind: The Scientific Quest to Understand, Enhance, and Empower the Mind, 2014
- Andrew S. Grove, Only the Paranoid Survive: How to Exploit the Crisis Points That Challenge Every Company, 1988
- Paul Graham, Hackers & Painters: Big Ideas from the Computer Age, 2004
- Ilya Prigogine, Order Out of Chaos: Man's New Dialogue with Nature, 1984
- Joshua Kerievsky, Refactoring to Patterns, 2004
- 夏目漱石, 三四郎, 1909
- 楠木ともり「sketchbook」 A lonely but peaceful night.
- 上白石萌音「夜明けをくちずさめたら」 Warm and transparent.
- Mafumafu「Life hates us now.」 Express negative feelings in a direct way. [info]
Last updated @2022/01/09