What's New! December 1993http://home.mcom.com/home/whatsnew/whats_new_1293.html
methods to software engineering problems. Current projects include algorithm synthesis , software testing , reactive systems design and verification , data type refinement , visua
Kernel Planethttps://planet.kernel.org/
on the Software Engineering Radio Podcast Software Engineering Radio is a podcast for people in IT/development with over 700 episodes across many topics over 20 years. They haven'
SIGPLAN Research Highlights Papershttps://www.sigplan.org/Highlights/Papers/
idea, works out the engineering and correctness details thoroughly, and presents the result with clarity and good taste. Implementation and Synthesis of Math Library Functions Aut
A Mind Is Bornhttp://www.linusakesson.net/scene/a-mind-is-born/index.php
took my breath away. An engineering achievement of a depth that is hard to fathom. Anonymous Wed 26-Apr-2017 03:46 Why do you use lax instead of lda in: lax script+1,y ldx script,
2blowhards.com: The Mencius Visionhttp://www.2blowhards.com/archives/2007/04/_trial_version.html#004052
problem, but as an engineering problem. Any solution that solves the problem is acceptable. Any solution that does not solve the problem is not acceptable. For example, there is a
2blowhards.com - a weblog
DX LISTENING DIGEST AUGUST 2003 ARCHIVEhttp://www.w4uvh.net/dxldtd3h.html
he works in broadcast engineering. Paul Graham A veteran of numerous offshore and free radio projects, Paul has worked in Irish radio, as well as deejaying on the Ross Revenge, du
The Writings of Leslie Lamporthttps://lamport.azurewebsites.net/pubs/pubs.html
National Academy of Engineering (1991) PODC Influential Paper Award (2000) (for paper [27] ) Honorary Doctorate, University of Rennes (2003) Honorary Doctorate, Christian Albrecht
NLnet; All projectshttps://nlnet.nl/project/
ARM Bare-Metal Reverse Engineering ARPA2 2017 Working towards a decentralised global internet that offers security and privacy by design. ARPA2 LDAP Middleware NGI0 PET 2019 2022
http://VFTonline.org/VFTprayer/heaven/000list.txthttp://VFTonline.org/VFTprayer/heaven/000list.txt
Economics Agricultural Engineering Agricultural Equipment Agricultural Machine Design Agricultural Machine Safety Agricultural Pesticide & Herbicide Drift Agriculture AGRICULTURE
Big Ball of Mudhttps://www.laputan.org/mud/mud.html
in more mature engineering and manufacturing disciplines. Today's designers are confronted with a broad onslaught of changing requirements. It arises in part from the rapid growth
While much attention has been focused on high-level software architectural patterns,what is, in effect, the de-facto standard software architecture is seldom discussed. Thispaper e
Miller Microcomputer Services - Index Pagehttp://www.millermicro.com/
on Cryptographic Engineering - and how the RSA pseudo-random number generator was compromised by NSA in 2006 (Matthew Green, 2013), How the FBI will lose its iPhone fight with App
Business and pleasure by Dick and Jill Miller of Miller Microcomputer Services.
Loper OS » Of Lisp Macros and Washing Machineshttp://www.loper-os.org/?p=401
Modern Chumpatronic Engineering. No Formats, no Format Wars. Non-Apple’s Mistake Of Lisp Macros and Washing Machines Practical Blockchain Telegraphy. Sage SmartProbe FAQ Seven Law
Find more...