Constructive vs Predicative Data

https://www.hillelwayne.com/post/constructive/

Skip to Content Blog Projects Talks Consulting About Newsletter Patreon Learn TLA+ New: My new book, Logic for Programmers , is now in public beta! Get it for 20% off here . H
Consider a data type that represents users, which includes “favorite people” and “blocked people”:1data Person: favorites: set of Person blocked: set of Per

Drew's navigation page

http://tilde.club/~crmsnbleyd/

 ██       ██          ██           

Linux Assembly

http://unusedino.de/linuxassembly/

Welcome to the Linux Assembly website! If you are looking for information on assembly programming under UNIX -like operating systems (Linux/BSD/BeOS/etc), this is the right place
Linux Assembly: Linux

TOPS-20 (TWENEX) notes

http://www.ldx.ca/notes/tops-20-notes.html

TOPS-20 (TWENEX) notes See also: TOPS-20 User Wiki . Getting started (mostly a reorganization of panda-dist.tgz/panda-dist/README ) While there are several ways to get a working T

XOR

https://www.chiark.greenend.org.uk/~sgtatham/quasiblog/xor/

XOR [Simon Tatham, 2025-02-14] Introduction XOR in boolean logic What is it? “Exclusive OR” The ‘not equals’ operator Conditional inversion Parity, or sum mod 2 Difference mod 2 W

iCab - The Taxi for the Internet

http://www.icab.de/

iCab - Internet Browser The Internet Taxi for the macOS © 1999-2025 Alexander Clauss Home FAQ Download Order iCab Screenshots History Contact Privacy Policy Deu Eng Deutsch E

n-gate.com. we can't both be right.

http://n-gate.com/

n-gate.com. we can't both be right. Navigation: › about/ › fosdem/ › hackernews/ › privacy policy › software/ › sitemap webshit weekly (2
Does anyone have any questions about NAFTA for my PSYCHIC PIG?

Noel Welsh: Home

https://noelwelsh.com/

Home Blog Books Code Projects Talks About Hi, I'm Noel Welsh . I write software and books , and work on other projects in the software space. Latest Writing Designing Custom UUIDs

Blog - Ian Kinsey

https://www.iankinsey.com/

Blog | Projects | About Cosplaying as Morusque, Stray's Guitar Robot - Part 2: Guitar Software October 31, 2023 To enable the guitar to play music from the game, an SBC needs to r
Thoughts on software

http://www.retroarchive.org/cdrom/garbo_dos/index.html

http://www.retroarchive.org/cdrom/garbo_dos/index.html

Return to Master Disc Index Name File Count Description animation 14 Animation players and example animation files arcers 51 MS-DOS archiving (compression) programs arcutil 80 Uti

The web site of codecaveman

https://codecaveman.neocities.org/

See past the labels.. Understand the principles.. Freedom from labels... See for what it is... AGENCY Welcome I would rather understand the basics really well than memorize all ki

Eclipse Community - Index page

http://board.eclipse.cx/

Eclipse Community Skip to content Quick links Unread posts Unanswered topics Active topics Search Members The team Smartfeed FAQ Login Register Board index Search Advanced search

Find more...