Category theory and type theoryhttp://www.paultaylor.eu/ASD/foufct/cattype.html
2 Category theory and type theory We now sketch the technical background to our general method of developing foundations for mathematics. 2.1. Gerhard Gen
vuxeimhttp://vuxe.im/
vuxeim Manhattan - github // contact // gallery // terminal // hex // light
Hi, I'm vuxeim - a programming enthusiast. Browse my projects, see my skills, and get in touch.
A Student's Guide to Startupshttps://paulgraham.com/mit.html
Want to start a startup? Get funded by Y Combinator . October 2006 (This essay is derived from a talk at MIT.) Till recently graduating seniors had two choices: get a job or go to
All postshttp://unsafeperform.io/blog/tags/all/
Blog tags Blog tags advogato agda android avr brainfuck c64 chip-8 clash correctness electronics elte movies fpga gadget haskell homelab idris iphone isc games java ja
Index Librorum Liberorumhttps://www.fourmilab.ch/nav/topics/map.html
Index Librorum Liberorum Fourmilab Site Map by John Walker Items which span more than one category are listed in all. Questions and Answers New and Improved Search A
KripC | Pageshttps://kripc2160.github.io/
KripC I like making stuff Hi I am KripC and I like making things. Things I do range from programming, 3D animations, music compositions, and more. Animations based on Valorant I a
Blog: The Death of Scientismhttp://indigocurnick.xyz/blog/2024-03-05/the-death-of-scientism
The Death of Scientism 🏠 Home 📜 Blog 🧰 Toolbox Github LinkedIn 📧 Email me! Author: Indigo Curnick Date: 2024-03-05 #science #philosophy Zoé Ziani was wor
What has peer review done to us?
Ken Shirriff's bloghttp://www.righto.com/
Ken Shirriff's blog Computer history, restoring vintage computers, IC reverse engineering, and whatever Powering up a module from the IBM 604: an electronic calculator from 1948 1
A Gentle Introduction to Modula-2https://freepages.modula2.org/gintro/A%20Gentle%20Introduction%20to%20Modula-2.htm
A Gentle Introduction to Modula-2 (Last updated: 23 November 1999. Please send comments to: mcheng@csr.uvic.ca .) Contents Background Introduction Basic Compilation Units Use Mult
Annotated Debugger Implementation Bibliographyhttps://aarzilli.github.io/debugger-bibliography/
Annotated Debugger Implementation Bibliography This is a hierarchical annotated bibliography of resources related to the development and functioning of debuggers, with a particula
A Scheme Primerhttps://files.spritely.institute/papers/scheme-primer.html
A Scheme Primer Table of Contents 1. Introduction 2. Setting up 3. Hello Scheme! 4. Basic types, a few small functions 5. Variables and procedures 6. Conditionals and predicates 7
Thomas van der Berghttps://www.thomasvanderberg.nl/
Thomas van der Berg Blog About Archive Links Projects Posts Dec 24, 2025 Christmas Kitty Merry Christmas and happy new year! Thanks Hao Tian (田好) for making this Christmas Kitty:
Thomas van der Berg is a certified security professional (CRTP, 2025; PNPT, 2024; OSCP, 2018; CEH, 2016) from Leeuwarden, the Netherlands.
Find more...