wiby  
Settings



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.

S.U.P.E.R. - The Largest 200LX Software Archive

http://mizj.com/

KB) added 12/20/1998 (Programming) Version 1 by Norman Newman Courtesy of The HP Palmtop Paper This file contains an old but interesting artificial intelligence system that you ca
The Palmtop Network's SUPER Site is the largest collection of Hewlett-Packard 200LX palmtop computer software on the Internet.

OS X as a UNIX workstation (for Astronomers)

http://www.netpurgatory.com/osx-unix.html

practice in FORTRAN programming is to have source files end with .F and contain C preprocessor directives. After preprocessing, the new files end in .f and are then processed by t

The Nascom Home Page

http://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 Use

https://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 Verification

http://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 System

http://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

NLnet; All projects

https://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

POSIX Shell Tutorial

https://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

The Answer Guy Issue 24

https://www.linuxdoc.org/LDP/LG/issue24/lg_answer24.html

file corruption. Many programming practices that I most loathe and detest have to do with a lack of robustness and simple error messages with regard to corrupted input. Is it real

1401Restoration-CHM

https://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

https://www.humprog.org/~stephen/

https://www.humprog.org/~stephen/

has mostly focused on programming languages and the systems that support them—including language runtimes and operating systems. Micro-blog and calendar December 2025. A new


Find more...