How I make a living working on SerenityOS – Andreas Kling – I like computers!https://awesomekling.github.io/How-I-make-a-living-working-on-SerenityOS/
games, VPN services, programming courses, zero-day exploit brokers, cloud platforms, etc. So far I haven’t accepted any of these offers, as I made a rule for myself that I wouldn’
This post describes in detail how I support myself while working on the SerenityOS project.
Using the MM email client in the Modern Worldhttps://kermitproject.org/mm/
Institute ANSI C Programming language Standardized version of the C language ASCII Character set Basic character set of the Internet (ABCs, digits, punctuation) Base64 T
The Nascom Home Pagehttp://www.nascomhomepage.com/#TheNascomRepository/mon/nassys1.txt
his book 'Machine Code Programming for the Nascom 1 & 2'. 2011-12-28 Rebecca Yates contributed the manual for Dungeon Quest and the game Dungeon Quest . 2011-12-25 Rebecca Yates c
Tools I Usehttps://domainofheraclius.info/tools/
to avoid office suites. Programming Languages In terms of lines of code written, my top programming languages are probably: C++, POSIX shell, Python, C. C++ is what I use for work
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.
The Edinburgh Multi Access Systemhttp://www.bobeager.uk/emas/index.html
entirely in the IMP programming language, based on Atlas Autocode. This describes the language, and the workings of its compiler. Edinburgh IMP Language Manual Describes the versi
Greg's Domainhttp://wooledge.org/~greg/index2.html
describe Unix shell programming issues. The pages were, in some cases, adopted from Heiner's wiki (...URL here...), which is not hosted on a continuously connected machine. In par
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
POSIX Shell Tutorialhttps://www.grymoire.com/Unix/Sh.html
of POSIX shell programming. The information describe here should work in all(?) POSIX shells. However, your operating system may cause different results. You're not getting the mo
The Grymoire's tutorial on the POSIX Shell
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.
Emergent Technologies Inc. -- Security Kernel</TITLEhttp://mumble.net/~jar/pubs/secureos/secureos.html
operating systems and programming environments. This report describes Scheme 48, a programming environment whose design is guided by established principles of operating system sec
CADR
Linux commands and fileshttp://webarchive.me/geocities/SiliconValley/2072/linux.htm
system). It's like a programming variable, except those are used in programming. Both DOS and Linux let you set and store them. To see a list of current environment variables and
Find more...