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
Windows Internet Kermit Service - User Guidehttps://www.kermitproject.org/wiksduser.html
K95 includes a whole programming language, complete with built-in and user-defined variables, arrays, and functions, decision-making, loops, and all the rest. And: K95 lets you tr
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 Armbian User-operated Internet Fund 2021 Versatile OS for ARM-based single board computers ARMify NGI0
Asterisk™: The Definitive Guidehttp://www.asteriskdocs.org/en/3rd_Edition/asterisk-book-html/asterisk-book.html
be implemented in any programming language. Chapter 22, Clustering Discusses a number of approaches for clustering multiple Asterisk servers together once the demands of a deploym
https://www.ietf.org/rfc/rfc3490.txthttps://www.ietf.org/rfc/rfc3490.txt
libraries through a programming interface (API). Because these resolver libraries today expect only domain names in ASCII, applications MUST prepare labels that are passed to the
NLnet; All projectshttps://nlnet.nl/project/index.html
2024 Purely functional programming language designed to "type" binary files Armbian User-operated Internet Fund 2021 Versatile OS for ARM-based single board computers ARMify NGI0
Unix/Linux Commands, Syntax, And Noteshttps://zerocontradictions.net/programming/linux-commands-notes
: parse file-name Shell programming comes in two flavors: shell scripts and shell functions. Shell scripts, once defined, can be executed just like any other executable as long as
This webpage features a summary of commands and information from the Unix Programming Environment, and other commands and information compiled from other sources.
Orgy of the Will: A Philosophy of the Futurehttp://orgyofthewill.net/
Ganking 1619. Ultimate programming 1618. Ode to Ice Queens 1617. Excelling at exams 1616. Eternal thoughts 1615. Why I am poor 1614. The most interesting place and time 1613. For
XML Linking Language (XLink) Version 1.1https://www.w3.org/TR/xlink/
and reference values in programming languages, is outside the scope of this specification. For languages, such as [CSS] , that wish to identify hypertext links in a document, we s
Soviet Calculators Historyhttps://xnumber.com/xnumber/russian_calcs.htm
on engineering programming with the programmable calculator started to appear. At the left, a very popular book of those years devoted to games and other useful programs for the B
Find more...