Unix and shell programming stuffhttps://porkmail.org/era/unix/
Unix and shell programming stuff Here's a kitchen-sink collection of Unix-related stuff, including an Emacs section and some Procmail links. I've tried to only collect links of re
The small web is beautifulhttps://benhoyt.com/writings/the-small-web-is-beautiful/
there’s an entire programming subculture called the demoscene that cares about this. They have competitions for the smallest 4KB demos: who can pack the most graphical punch into
A vision for the "small web", small software, and small architectures.
The UCS-X Family of UCS Extensions (Draft Proposal)http://ucsx.org/
and UCS-∞ in the C programming language (to supplement the existing Perl implementation for UCS-X, and C implementation for UCS-G) implement “filtering” utilities, for removing (o
SIGPLAN Research Highlights Papershttps://www.sigplan.org/Highlights/Papers/
describing and teaching programming languages, focusing on one of the “hottest” languages to date: Rust. The work contains multiple aspects, such as analysing common misconception
The Hello World Collectionhttp://helloworldcollection.de/
when learning a new programming language. Having first been mentioned in Brian Kernighan's tutorial to the B programming language , it became widely known through Kernighan &
The largest collection of Hello World programs on the Internet.
Sammlung Interessanter Webseitenhttps://wwwcip.informatik.uni-erlangen.de/~oj14ozun/links.html
for Learning and Programming From Nand to Tetris The Missing Semester of Your CS Education Teach Yourself Computer Science Programming from the Ground Up Parsing: a timeline Syste
Mataroa Collectionhttps://collection.mataroa.blog/
https://petros.blog/ Programming, walking, cooking Jan’s Blog https://janboddez.tech/ Wordpress annualbeta https://annualbeta.com/ Frontend TTTThis http://tttthis.com/ Economics,
Introduction: Why Lisp?https://gigamonkeys.com/book/introduction-why-lisp.html
greatest pleasure in programming comes from getting a lot done with code that simply and clearly expresses your intention, then programming in Common Lisp is likely to be about th
Greg A. Woodshttp://www.weird.com/~woods/
FreeWare Software and Programming Projects pages. Note that you can find my home-directory dot files (user login, session setup, and configuration files) here: http://www.planix.c
Spin - Formal Verificationhttp://spinroot.com/spin/old.html
and Distributed Programming (the 2nd Edition , which is based on Spin), Ben-Ari, Addison-Wesley, 2006. Model Checking with Spin (in Japanese), by Shin Nakajima, Publ. Kindai Kagud
Spin is a general tool for verifying the correctness of distributed software (software design) in a rigorous and mostly automated fashion.
Find more...