Software and its Discontents, Part 2: An Explosion of Complexity | Kellan Elliott-McCrea: Bloghttps://laughingmeme.org/2023/01/23/software-and-its-discontents-part-2-complexity.html
is nearly miraculous, computers are so damn fast and cheap these days, the quality of resources, much of it free, is off the charts, and the talent pool has exploded, and shows ev
This is part 2 in my “Software and its Discontents” series. This series is the product of my asking a bunch of folks about the current state of software engineering, the sense
Home Page - Metamathhttps://us.metamath.org/
mathematics and computers, with references to other proof verifiers and automated theorem provers. The Metamath book is available in many forms: Metamath book in PDF format (free)
2019 - Strange Loophttps://thestrangeloop.com/2019/sessions.html
of Texas at Austin How Computers Misunderstand the World Meredith Broussard New York University How to teach programming (and other things)? Felienne Hermans Leiden University Clo
Strange Loop is a conference for software developers covering programming langs, databases, distributed systems, security, machine learning, creativity, and more!
The Nascom Home Pagehttp://nascomhomepage.com/
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
Links 29/4/2020: TDE 10th Anniversary, Sailfish OS 3.3http://techrights.org/o/2020/04/29/tde-10th-anniversary/
– Learning about Computers for Kids – Week 27 This is a weekly blog about the Raspberry Pi 4 (“RPI4”), the latest product in the popular Raspberry Pi range of computers. With so m
Links for the day
SIGPLAN Research Highlights Papershttps://www.sigplan.org/Highlights/Papers/
sending it to the cloud computers, in order to ensure secrets are not leaked. But how can a cloud computer compute on encrypted data? The SMC (secure multi-party computation) comm
A Security Curriculumhttps://learnaifromscratch.github.io/theabsolutestateofsoftware.html
secure against quantum computers Crypto Protocols in-depth plus Tanja YouTube lectures Engineering Crypto Software how to optimize ChaCha20, Poly1305 and ECDH/Curve25519 If you've
Webring Technologyhttps://brisray.com/web/webring-tech.htm
own ring on their own computers. This page takes a look at some of the available webring systems and software and my own suggestions at what an ideal webring should offer. How the
This page discusses webrings and what was used to make them work.
DVD FAQhttps://demystified.info/dvdfaq.html
the disc? [4] DVD and Computers [4.1] Can I play DVD movies on my computer? [4.1.1] Can I play DVD-Audio discs on my computer? [4.2] What are the features and speeds of DVD drives
The official DVD FAQ (Frequently Asked Questions about DVD). The most comprehensive source of DVD technical information in the galaxy. By Jim Taylor.
Welcomehttp://www.randelshofer.ch/index.html
Amiga and Atari ST computers. More Fun... Computer Science Floating Point . Read a replica of Intel's description of how the IEEE 754 floating point format works. Use my applet to
Capability Comparisonhttps://secushare.org/comparison
somebody broke into our computers and snooped our passwords. Lightweight: To be of maximum use the technology implementing such essential jobs should be a part of the operating sy
Grumpy Gamerhttp://grumpygamer.com/rss
everyone was afraid computers would take their jobs. And they were right. Computers did. There are fewer longshoremen because of automated ports, short-haul commercial flights don
Find more...