Alex Gaynorhttps://alexgaynor.net/
I'm Alex. I'm a software resilience engineer. I care about building systems that work. I've worked for the government, in the private sector, and on open source. I'
Hi, I'm Alex. I'm a software resilience engineer. I care about building systems that work. I've worked for the government, in the private sector, and on open source. I&
Archaeology of the Mysterieshttp://www.astralis.it/archaeol.htm
with an astronomic software allowing to reconstruct a simulation of skies in the varied ages. Once found the sky that agrees with the planned by the ancient alignment of construct
Title of document --> <!ELEMENT LINK - O EMPTY> <!ATTLIST LINK %attrs; HREF CDATA #REQUIRED %linkExtraAthttps://www.ietf.org/rfc/rfc2070.txt
authors and authoring software writers should be aware that conflicts can arise if the DIR attribute is used on inline elements (including BDO) concurrently with the use of the co
The Writings of Leslie Lamporthttps://lamport.azurewebsites.net/pubs/pubs.html
Reliable Hardware and Software Password Authentication with Insecure Communication TIMESETS--A New Method for Temporal Reasoning About Programs Byzantine Generals and Transaction
Publications by Authorhttp://graphics.stanford.edu/papers/author.html
on User Interface Software and Technology, 2000 Fluid Interaction with High-resolution Wall-size Displays Francois Guimbretiere , Maureen Stone , and Terry Winograd Proc. ACM Symp
Englishhttp://yun.complife.info/english.htm
other stuff MouseFix - software solution for hardware mouse problems (wrong clicks and scrolling) HTMLgen v.2.5 - if you have many files and want to generate an html list of them,
T E X T F I L E Shttp://textfiles.com/conspiracy/
ins-rich.txt 22166 Software To Die For: Inslaw Lawyer Elliot Richardson Talks About Murder and the CIA, by James Ridgeway inslaw.thd 74066 Federal Corruption, by Harry V. Martin (
The Universityhttps://joaodear.xyz/blog/university/
The University Home Blog Software Games Music Contact CV Around August I returned to university after about a year of being a semi-dropout. Here are some thoughts I’ve had s
Around August I returned to university after about a year of being asemi-dropout. Here are some thoughts I’ve had since being back.IncentivesWhenever people asked me what I w
CRN / Unixhttp://crn.hopto.org/unix.html
Fun 👾 Unix Links 🔗 Unix Software 🔗 Quick References 📖 💡 Tip: 📰 Tech News 📝 Personal Note: I am a born again, old school hacker . Not like what you see portrayed in the movies, bre
Linux and Unix scripts, history, and fun. Come in and enjoy the prompt, again.
Hillel Waynehttps://www.hillelwayne.com/
Posted on 2024, May 01 Software Friction Posted on 2024, Apr 10 Don't let Alloy facts make your specs a fiction Posted on 2024, Apr 01 How old is the name 'Daniel'? Po
SIGPLANhttps://www.sigplan.org/
Programming Languages Software Award (presented in 2025) Lean Theorem Prover Robin Milner Young Researcher Award (presented in 2025) Isil Dillig John C. Reynolds Doctoral Disserta
Stuff Michael Meeks is doinghttps://apple-tree.life/~michael/blog/2019/
writing more efficient software might help here. Crunching some numbers with a 50/50 desktop/laptop mix and a 65% increase from CPU use gives ~10^-5 kg of CO2 per CPU second you'r
Find more...