corpus.blog
41554 blogs · 4,417,066 posts Claim your blog
Record · corpus.blog/posts/01a0879c-4c6f-7097-b324-2db44c8bf92a

From QED to Neovim

loosed | Design and Technology Blog by Daniel Tompkins · published undated

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at l-o-o-s-e-d.net Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
Links from this post
59
Words captured
2,427

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://stackoverflow.com/questions/4715374/what-is-the-meaning-of-nix
stackoverflow.com
https://survey.stackoverflow.co/2024/technology
survey.stackoverflow.co
https://neovim.io
neovim.io
https://youtu.be/yUCuzkKGHos?si=qrnT0LlRC_F-Eo6v
youtu.be
https://github.com/neovim/neovim/commit/72cf89bce8e4230dbc161dc5606f48ef9884ba70
github.com
Vim - VI Improved Read at the source ↗
vim.org
https://linuxcommand.org/lc3_man_pages/vim1.html
linuxcommand.org
https://github.com/neovim/neovim/blob/master/INSTALL.md
github.com
https://en.wikipedia.org/wiki/Language_Server_Protocol
en.wikipedia.org
https://tree-sitter.github.io/tree-sitter/
tree-sitter.github.io
https://github.com/folke/lazy.nvim
github.com
https://www.lua.org/about.html
lua.org
https://en.wikipedia.org/wiki/Punched_card
en.wikipedia.org
https://cs.uwaterloo.ca/~shallit/Courses/134/history.html
cs.uwaterloo.ca
https://web.archive.org/web/20250102124747/https://www.eecs.qmul.ac.uk/~gc/history/
web.archive.org
https://en.wikipedia.org/wiki/L._Peter_Deutsch
en.wikipedia.org
https://en.wikipedia.org/wiki/Butler_Lampson
en.wikipedia.org
https://en.wikipedia.org/wiki/Dana_Angluin
en.wikipedia.org
https://en.wikipedia.org/wiki/Computational_learning_theory
en.wikipedia.org
https://bitsavers.trailing-edge.com/pdf/sds/9xx/940/ucbProjectGenie/mcjones/R-15_QED.pdf
bitsavers.trailing-edge.com
https://en.wikipedia.org/wiki/SDS_940
en.wikipedia.org
https://en.wikipedia.org/wiki/Teleprinter
en.wikipedia.org
https://youtu.be/X904FYolBs0?si=RzkyHV7jAT7KiOUi
youtu.be
https://www.usenix.org/system/files/login/issues/login_winter17_issue.pdf
usenix.org
https://web.archive.org/web/20221005150738/http://www.bitsavers.org/pdf/honeywell/multics/CG40-01_qedx_Feb83.pdf
web.archive.org
https://web.archive.org/web/20240805050457/https://people.csail.mit.edu/saltzer/CTSS/CTSS-Documents/CTSS_50th_anniversary_web_03.pdf
web.archive.org
https://github.com/arnoldrobbins/qed-archive
github.com
https://begriffs.com/pdf/qed-editor.pdf
begriffs.com
https://en.wikipedia.org/wiki/Ken_Thompson
en.wikipedia.org
https://en.wikipedia.org/wiki/Bell_Labs
en.wikipedia.org
https://en.wikipedia.org/wiki/Regular_expression
en.wikipedia.org
https://en.wikipedia.org/wiki/Compatible_Time-Sharing_System
en.wikipedia.org
https://en.wikipedia.org/wiki/Assembly_language
en.wikipedia.org
https://en.wikipedia.org/wiki/C_(programming_language
en.wikipedia.org
https://www.gnu.org/software/ed/
gnu.org
https://www.gnu.org/software/ed/manual/ed_manual.html
gnu.org
https://en.wikipedia.org/wiki/George_Coulouris_(computer_scientist
en.wikipedia.org
https://web.archive.org/web/20250102133831/http://www.eecs.qmul.ac.uk/~gc/history/emsource/
web.archive.org
https://web.archive.org/web/20250102131214/http://www.eecs.qmul.ac.uk/~gc/history/QMC_Unix_manual.html
web.archive.org
https://en.wikipedia.org/wiki/Bill_Joy
en.wikipedia.org
https://charles.haleys.org/
charles.haleys.org
https://www.ibm.com/docs/en/zos/3.1.0?topic=descriptions-ex-use-ex-text-editor
ibm.com
https://en.wikipedia.org/wiki/Vi_(text_editor
en.wikipedia.org
https://en.wikipedia.org/wiki/Ex_(text_editor
en.wikipedia.org
https://en.wikipedia.org/wiki/Stevie_(text_editor
en.wikipedia.org
https://en.wikipedia.org/wiki/Bram_Moolenaar
en.wikipedia.org
https://github.com/Cube9999/vi
github.com
https://cs.stanford.edu/people/miles/vi.html
cs.stanford.edu
https://en.wikipedia.org/wiki/Amiga
en.wikipedia.org
https://web.archive.org/web/20240531174313/http://www.bitsavers.org/www.computer.museum.uq.edu.au/pdf/DP-104%20ADM-3A%20Operators%20Manual.pdf
web.archive.org
https://en.wikipedia.org/wiki/GNU_Emacs
en.wikipedia.org
https://thenewstack.io/vim-after-bram-a-core-maintainer-on-how-theyve-kept-it-going/
thenewstack.io
https://hn.algolia.com/?dateRange=all&page=0&prefix=false&query=&sort=byPopularity&type=all
hn.algolia.com
https://en.wikipedia.org/wiki/GNU_nano
en.wikipedia.org
https://en.wikipedia.org/wiki/Pico_(text_editor
en.wikipedia.org
https://en.wikipedia.org/wiki/Sam_(text_editor
en.wikipedia.org
https://en.wikipedia.org/wiki/TECO_(text_editor
en.wikipedia.org
https://kakoune.org/
kakoune.org
Linklog | Helix Read at the source ↗
helix-editor.com