Accidentally Turing-Completehttp://beza1e1.tuxen.de/articles/accidentally_turing_complete.html
Turing complete set of programming abstractions. (CPU Cache) The paper The Gates of Time: Improving Cache Attacks with Transient Execution is about security on the surface, but ma
A list of things that were not supposed to be Turing-complete, but are.
The Early Years of Academic Computinghttps://www.cs.cornell.edu/wya/AcademicComputing/text/dtss.html
they created the Basic programming language and the Dartmouth Time Sharing System (DTSS). Kemeny later became President of Dartmouth and Kurtz was the first director of the Kiewit
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
Todos los enlaces @ cidoku.nethttp://cidoku.net/links/all
Steen likes weird programming languages, VR games, and reading manga. His blog features lots of programming-related articles. suboptimalism Incomplete perfection and complete impe
Big Ball of Mudhttps://www.laputan.org/mud/mud.html
the PeterPrinciple of Programming by authors on the Wiki-Wiki web [Cunninghan 1999a]. Complexity increases rapidly until the it reaches a level of complexity just beyond that with
While much attention has been focused on high-level software architectural patterns,what is, in effect, the de-facto standard software architecture is seldom discussed. Thispaper e
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.
http://www.call-with-current-continuation.org/microfleng/microfleng.htmlhttp://www.call-with-current-continuation.org/microfleng/microfleng.html
level concurrent logic programming language descended from Prolog. A cross-compiler for UNIX-compatible systems is provided to translate programs written in FLENG into executable
GNU's Who - GNU Project - Free Software Foundation (FSF)http://www.gnu.msn.by/people/people.html
of GNU Sather programming language. Also a contributor of some other Open Source projects. Henrik Abelsson tries to do his part in bringing Free Software to the world by being a m
Finite State Machines in Forth - Noblehttp://galileo.phys.virginia.edu/classes/551.jvn.fall01/fsm.html
Introduction Certain programming problems are difficult to solve procedurally even using structured code, but simple to solve using abstract finite state machines (FSMs) [1]. For
Stories I Will Not Writehttps://www.lord-enki.net/stories.html
and prevent the latent programming from being triggered – and to do this, he must uncover his true form, and allow his firey wings to sprout again. A deconstruction of the c
NLnet; All projectshttps://nlnet.nl/project/index.html
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
Find more...