wiby  
Settings



100R — weathering software winter

http://100r.co/site/weathering_software_winter.html

software, you need slow computers, and we've tried to espouse this as much as we could. We spend our time sailing around, and doing experiments with resilience, that covers comput

SGI Technical Advice and Information...

http://www.sgidepot.co.uk/sgi.html

Onyx Graphics Supercomputers Onyx RealityEngine2: Host Integrated Computer Image Generator Onyx Real-Time Image Generation Onyx RealityEngine2 Triple Keyboard Option Reality Stati

synthcode blog

http://synthcode.com/blog/

computers</a to consistently represent and manipulate <a href="http://en.wikipedia.org/wiki/Character_(computing)" title="Character (computing)" text<

Fedora, secure boot, and an insecure future [LWN.net]

https://lwn.net/Articles/500231/

race for control of our computers? Fedora, secure boot, and an insecure future Posted Jun 6, 2012 9:21 UTC (Wed) by steveriley (guest, #83540) [ Link ] (2 responses) This is rathe
The UEFI secure boot mechanism has been the source of a great deal of concern in the free softw [...]

Welcome to Matthieu Benoit electrical engineering home page

http://matthieu.benoit.free.fr/

microprocessors microcomputers memories interfaces Competitive Cross ref. Data sheets Selection cross/data_sheets/ Devices resources by part number pn   Parts and Electronic

Spin - Formal Verification

http://spinroot.com/spin/old.html

should know about computers and communications (published October 2011). Brian Kernighan's latest book, with a general introduction to the digital world, based on his course at Pr
Spin is a general tool for verifying the correctness of distributed software (software design) in a rigorous and mostly automated fashion.

Chris Koehnke's Webpage

http://chriskoehnke.com/

2002, tinkering with computers since I don't know when. Enjoyer of music , beer, and humor jokes . I used to be cool and did things like solve Rubik's Cubes and be in a rock band

The Writings of Leslie Lamport

https://lamport.azurewebsites.net/pubs/pubs.html

On Programming Parallel Computers Parallel Execution on Array and Vector Computers Multiple Byte Processing with Full-Word Instructions The Synchronization of Independent Processe

NLnet; All projects

https://nlnet.nl/project/

ARM-based single board computers ARMify NGI0 Entrust 2023 2025 Auto-Identification of MCU Models to Simplify ARM Bare-Metal Reverse Engineering ARPA2 2017 Working towards a decent

40th Anniversary Kermit protocol

https://kermitproject.org/fortieth.html

possible variety of computers and operating systems including our own DEC-20 mainframes , our IBM mainframes , and the " Superbrain " CP/M microcomputer we were about to place in

security-snake-oil

http://linuxmafia.com/faq/Essays/security-snake-oil.html

millions of infected computers connecting to them, and counting the increasing number of Mac machines. Can you say "this was a religious debate?" Well, I can, which is why the res

The Nascom Home Page

http://www.nascomhomepage.com/#TheNascomRepository/pdf/Keys/mon/nassys1.txt

on and I bought more computers but didn't stop using my CP/M Nascom 2/Gemini hybrid system until I bought my first PC (around 1994). However thanks to CP/M emulators and vnascom I


Find more...