AWK As A Major Systems Programming Language — Revisitedhttp://skeeve.com/awk-sys-prog.html
AWK As A Major Systems Programming Language . In it, he described his experiences using the original version of awk to write two significant “systems” programs—a
AWK As A Major Systems Programming Language — Revisited
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
Mataroa Collectionhttps://collection.mataroa.blog/
Programming, automation, algorithms, macOS, and more. Candost's Space https://candost.blog/ Software Measure of Doubt https://jessegalef.com/ Rationality, science, and philos
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.
I write, therefore I amhttp://www.iwriteiam.nl/
and a functional programming language. There are several other such proof assistants, but currently, Lean is the most popular. FLT is also the final theorem to be formalize in Fre
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
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
Ye Olde Blogroll - Because blogs are the soul of the webhttps://blogroll.org/
and eco-activist. Programming, art, F/L/OSS, and other random stuff. all night diner Personal blog of Wil Clouser. Mostly tech related. Stefano Verna Hey! I'm Stefano Verna, the F
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...