wiby  
Settings



A Student's Guide to Startups

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

Dawn for SUBLEQ

http://users.atw.hu/gerigeri/DawnOS/

Overview Download History Notes Compiler Dawn - operating system for SUBLEQ architecture Dawn operating system is a high-level, multitasking, SMP capable general purpose GUI opera

All posts

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

Category theory and type theory

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

The Machine Fired Me

https://idiallo.com/blog/when-a-machine-fired-me

Main Menu ⚲ Home Blog Book Byte-Size JavaScript Video Photography About The Machine Fired Me No human could do a thing about it! By Ibrahim Diallo Published Jun 17 2018 ~ 14
When computers handle big life altering decisions in a company, there needs to be an override for humans to take over. Otherwise, well, they fire employees.

KripC | Pages

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

The Mystic Plague Catholicism sets a Spiritualist Agenda -By Richard Bennett

https://www.jesus-is-savior.com/False%20Religions/New%20Age/new_age-catholic.htm

The Mystic Plague Catholicism sets a Spiritualist Agenda By Richard Bennett   The Roman Catholic Church is persistent in her quest to draw all to herself. One of her major ve

UTS #39: Unicode Security Mechanisms

http://www.unicode.org/reports/tr39/#Restriction_Level_Detection

Technical Reports   Unicode® Technical Standard #39 Unicode Security Mechanisms Version 17.0.0 Editors Mark Davis ( markdavis@google.com ), Michel Suignard ( michel@suignard.

Net.Legends.FAQ (Noticeable Phenomena Of UseNet) Part 1/4

https://www.linux.it/~md/usenet/legends1.html

Net.Legends.FAQ (Noticeable Phenomena Of UseNet) Part 1/4 Archive-name: net-legends-faq/part1 Posting-Frequency: every 73 days Last-modified: 9/13/94 This... is the Net.Legends FA

Ken Shirriff's blog

http://www.righto.com/

Ken Shirriff's blog Computer history, restoring vintage computers, IC reverse engineering, and whatever The rise and fall of IBM's 4 Pi aerospace computers: an illustrated history

User Groups | The FreeBSD Project

https://www.freebsd.org/usergroups/

Donate to FreeBSD Home About Introduction Features Privacy Policy Projects Ports Get FreeBSD Release Information Release Engineering Documentation FAQ Handbook Porter's Handbook D
FreeBSD is an operating system used to power modern servers, desktops, and embedded platforms.

A Scheme Primer

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


Find more...