SIGSOFT - ACM Special Interest Group on Software Engineeringhttp://www.sigsoft.org/dissertations.html
Engagement in Online Programming Communities . North Carolina State University (Jul 30, 2019, advisor: Christopher Parnin). Abstract . Sebastian Baltes . Software Developers' Work
Association for Computing Machinery's Special Interest Group on Software Engineering, with awards, events, resources and contacts
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
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.
Fandom on IRChttps://fans-on-irc.neocities.org/
may need to have the go programming runtime installed. see the golang website for instructions . after xcaddy runs, there will be a caddy binary in your current working directory.
CLI Club: Command-line Interface Tools & Alternativeshttps://cli.club/
a dialect of the Lisp programming language with extensions to support text editing. Nano: A simple editor, inspired by Pico GNU nano is a text editor for Unix-like computing syste
A collection of the best CLI
Accessible Rich Internet Applications (WAI-ARIA) 1.0https://www.w3.org/TR/2014/REC-wai-aria-20140320/complete
the spelling of "programming" to "programing", correcting the spelling of "assistive", and updating some references to latest versions. This document has been reviewed by W3C Memb
Solene'%https://dataswamp.org/~solene/index-full.html
them properly using any programming language able to deserialize JSON data, this is far more robust than piping lines to AWK / grep, although it can work "most of the time" (until
1401Restoration-CHMhttps://ibm-1401.info/
Comments Nov 2012 Programming Class Proposal(s) Programming the IBM 1401 a 6.0 megabyte .pdf file BillWorthington-1401Tour--VisibleStorageSegment.pdf updated Dec 28, 2007 Power On
Computer latency: 1977-2017http://danluu.com/input-lag/
pushes the problem of “programming” the keyboard from hardware into software, which reduces the cost of making the keyboard. The more expensive chip increases the manufacturing co
What's New! January 1994http://home.mcom.com/home/whatsnew/whats_new_0194.html
with all design, programming, contributions and artwork created by people from around the world, is now in the Web. Talk.Bizarre is on the Web, allowing all frequent posters, net.
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...