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.
NLnet; All projectshttps://nlnet.nl/project/
2024 Purely functional programming language designed to "type" binary files Arkin NGI0 Commons Fund 2026 Optical Tweezers Microscope Armbian User-operated Internet Fund 2021 Versa
Bit permutationshttp://programming.sirrida.de/bit_perm.html
stuff on http://programming.sirrida.de (setup on 2011-06-01), Intel introduced (published 2011-06-11, proposed for 2013, released about 2013-06) two new instructions for x86 proce
An essay about bit permutations in software
CRN / Unixhttp://crn.hopto.org/unix.html
(LDAP) DTP-250 Perl Programming IN-351 Using LDAP as a naming service ES-222 Solaris Volume Management ES-311 Veritas Volume Manager ES-345-S10 Sun Cluster Administration (I love
Linux and Unix scripts, history, and fun. Come in and enjoy the prompt, again.
Miller Microcomputer Services - Index Pagehttp://www.millermicro.com/
History Computer Programming Languages Computer Tidbits Techie Comics/Humor Otherwise links from Dick and Jill Miller: Bicycle and Pedestrian Environment Environment Resources Fai
Business and pleasure by Dick and Jill Miller of Miller Microcomputer Services.
Loper OS » "Cryostat" Genesis.http://www.loper-os.org/?p=3791
family. The decay of programming therefore seems to have happened in (at least) two stages: first, the sacrificing of homoiconism and macros, and second, the death of the "managed
Kermit Software Source Code Archivehttps://www.kermitproject.org/archive.html
systems in different programming languages. This page provides, for the first time, convenient Web (HTTP) access to all the programs in the Kermit software archive . Each program
assembly todayhttp://wilsonminesco.com/AssyDefense/
to calculator keystroke programming Links Assembly Language: Still Relevant Today (No, it won't ever be dead.) First, no, I don't do every thing in assembly. I use oth
Ye Olde Blogroll - Because blogs are the soul of the webhttps://blogroll.org/
bike. He writes about programming things and occasionally about his life and other things. Spudooli I contribute to the internet with my photos, my philosotainment and some projec
Unix philosophy description by The Linux Information Project (LINFO)https://www.linfo.org/unix_philosophy.html
in any of numerous programming languages, some of the most popular of which are C , C++, Java, Perl, PHP, Python and Tcl/Tk. This sharp contrast is only natural, as the Microsoft
Command Line Interface Guidelineshttps://clig.dev/
talking about ways of programming computers that offer the power of the CLI and that transcend writing software in text files. There is a belief among Kay’s disciples that we need
An open-source guide to help you write better command-line programs, taking traditional UNIX principles and updating them for the modern day.
Felix and Forthhttp://felix.plesoianu.ro/languages/forth/
on the seminal text Programming a Problem-oriented Language , by Charles Moore himself — the inventor of Forth. Always seek to learn about a programming language from its in
Understanding a mysterious, underrated language interpreter by interpreter.
Find more...