- Alexander’s Choice
- Computing
- Thinking
- Culture
- Human
- Design
- Engineering
- Others
- Books
- Reading & Stall
- Have Read
- Want to Read
- Misc
Alexander’s Choice
Computing
What is computing? What are computers for?
- The web browser as a tool of thought | Linus Lee (2021)
- End-user Programming | Ink & Switch (2019)
Xanadu Basics | Ted Nelson (2018)
Revisit Project Xanadu
- Inventing on Principle | Bret Victor (2012)
- Literary Machines 93.1 | Theodor Holm Nelson (1993)
STALL [Book] Mindstorms: Children, Computers, and Powerful Ideas | Seymour Papert (1980)
Computing and learning math.
The Mother of All Demos | Douglas Engelbart (1968)
Presenting NLS.
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)
More
- 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.
Thinking
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)
More
- 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
Tools for Thought
Logseq, Trilium Notes, Roam Research, Athens Research
Note-taking systems that have some characteristics described in this book.
Alph.io | Adam Moore
A project to explore techniques and develop tools for a xanalogical Web.
Culture
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)
Human
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
Discussion: https://news.ycombinator.com/item?id=22747908
How to Work Together | Kevin Hale
Job Searching
My Personal Formula for a Winning Resume
Accomplished [X] as measured by [Y] by doing [Z]
Google Taiwan 軟體工程校園徵才二部曲 - Life as a Software Engineer
Including interview tips.
Design
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
Human-Computer Interaction
MIT Media Lab - Tangible Media Group
- inFORM: A Dynamic Shape Display that can render 3D content physically
Augmenting Human Intellect
A lecture in 1997 that describes Doug Engelbart's concepts
Apparatus
A hybrid graphics editor and programming environment for creating interactive diagrams.
Engineering
Emerging or useful technologies.
- Pushpin: Towards Production-Quality Peer-to-Peer Collaboration | Ink & Switch (2020)
- Yjs: Shared data types for building collaborative software
- React技术揭秘
- STALL Designing Data-Intensive Applications: The Big Ideas Behind Reliable, Scalable, and Maintainable Systems | Martin Kleppmann (2017)
Operating System
- 「你所不知道的 C 語言」系列講座
- 「Linux 核心設計」系列講座
- 操作系统 — 北京清華大學
- 作業系統概論 — 中正大學 羅習五老師
- 作業系統設計與實作 Operating System Design and Implementation (OSDI) — 交通大學 曹孝櫟老師
- Operating System Engineering — MIT 6.828 | Youtube
Operating System Principles — CSE 30341 University of Notre Dame
Beautiful website with informative illustrations.
作業系統概念和文藝復興
淺談 Microkernel 設計和真實世界中的應用
- Genode
Genode is a novel OS architecture that is able to master complexity by applying a strict organizational structure to all software components including device drivers, system services, and applications.
- Live sculpting a Genode-based operating system
- CS:APP 學習指引緒論
- 從 Revolution OS 看作業系統生態變化
- UNIX 作業系統 fork/exec 系統呼叫的前世今生
- 進階電腦系統理論與實作
- 形式化驗證
- 以 sendfile 和 splice 系統呼叫達到 Zero-Copy
angrave/SystemProgramming
Angrave's crowd-sourced System Programming wiki-book
Operating Systems: Three Easy Pieces
The book is centered around three conceptual pieces that are fundamental to operating systems: virtualization, concurrency, and persistence.
Free online form of the book, in chapter-by-chapter form.
- File System Implementation Very simple file system.
- 荐书:Operating Systems: Three Easy Pieces 知乎網友導讀。
Xen Project
A bare-metal hypervisor
The seL4 Microkernel
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 Architecture
- Computer Organization — 交通大學 李毅郎老師
- Computer Architecture — 成功大學 黃敬群老師
- Introduction to Computer Systems — CMU 15-213, 2015 Fall
Computation Structures — MIT 6.004
- 2019 Fall videos, which are newer than those on the official website.
Great Ideas in Computer Architecture (Machine Structures) — UC Berkeley CS61C
- CS61C Fa19 10/7/19 — Combinational Logic Block The professor is interesting.
Computer Architecture and Engineering — UC Berkeley CS152
From CS61C: We will study a few of the basic concepts behind processor design, leaving many of the performance enhancements for CS152.
xoreaxeaxeax/movfuscator
Compile C program with only mov
instruction to show mov
is turing complete.
mov
is turing complete The paper about this idea.
- CHIPS (Common Hardware for Interfaces, Processors and Systems) Alliance
- VSRTL (Visual Simulation of Register Transfer Logic)
mortbopet/Ripes
A graphical processor simulator and assembly editor for the RISC-V ISA.
ucb-bar/fpga-zynq
Support for Rocket Chip (RISC-V) on Zynq FPGAs. Rocket Chip Generator.
More
Embedded Systems
X Window System, Wayland
Xplain
About X itself : Architecture, X11 protocol, X client & server. Also some basic concepts of 2D computer graphics.
How X Window Managers Work, And How To Write One
About implementation of window manager, compositor.
Programming
Svelte
A relative new web framework with great potential. The philosophy is "Do more with less, cleaner code."
V
Simple, fast, safe, compiled language for developing maintainable software.
- As fast as C.
- V compiler itself is written in V.
Zig
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!
FPGA
- 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
leishangwen的专栏
FPGA, RISC-V, HDL, Chisel
Chisel实验笔记(一)~ (四)
SymbiFlow
Think of it as the GCC of FPGAs.
Map of Computer Science
An introduction of modern popular topics in Computer Science.
Others
Quality Indexes
高品質資源推薦計畫
推薦高品質資源後方可存取。
Derek Sivers' Book Notes
The notes and "How strongly I recommend it" scores help me decide what to read.
Finn Macken's Research Notes
Mostly books.
Forward-looking Mathematics
Category Theory - Wikipedia
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
Books
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
Have Read
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
Misc
Last updated @2022/01/09