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

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

I write, therefore I am

http://www.iwriteiam.nl/

Dutch / Nederlands Site map I write, therefore I am With this variation on a famous statement by the philosopher Descartes, I would like to express that the act of writing about w

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

Sverre H. Huseby

https://shh.thathost.com/

  Sverre H. Huseby My Book: Innocent Code Basus: Programming for kids On Security Om sikkerhet Security Advisories CV   Zaurus Freeware Java Freeware Linu

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

Find more...