Stuff I Like

In May 2024, POBox.com’s URL redirection for life is ending, so my web pages are moving to http://flash-sheridan.name.

Disclaimer: This is stuff that I genuinely like, but I'm not claiming to be objective. Some of it is written by friends, and I may even be able to get kickbacks from Amazon. (Thanks to Glen Raphael for the idea.)

My résumé.

My Postings

Compiler Testing

1. Wikipedia: Compiler Testing
2. Stackoverflow.com: Compiler Testing
3. Flash Sheridan's Commits - apple/swift - GitHub (r9634-r24586)

   Static Analysis

4. Stackoverflow.com: Introduction to Static Analysis
5. Code Integrity Blog: Handling an Embarrassment of Riches

   Software Quality

6. The Era of “Update Automatically” is Over

Mobile Computing

7. PalmOS to iPhoneOS migration notes
8. EveryTrail GPX Macintosh Migration Notes

Computers

Software Quality

• Why testers? - Joel on Software
  • Top Five (Wrong) Reasons You Don’t Have Testers
• Testing Computer Software: Hung Q. Nguyen, Cem Kaner, Jack Falk Amazon.com
• Wired: History's Worst Software Bugs
• When bits bite: Why companies struggle with recalcitrant IT (The Economist)
• The Power and Paradox of Bad Software, Paul Ford in Wired
• Macaulay's Law of Software Upgrades: “To think nothing of symmetry and much of convenience; never to remove an anomaly merely because it is an anomaly; never to innovate except when some grievance is felt; never to innovate except so far as to get rid of the grievance.”
• JUnit [XML] Format - Enterprise Tester
• Jenkins Warnings Plugin
• Text from Xcode on code signing
• “Fantastic Bugs and How to Squash Them; or, the Crimes of Solidity” by Evan Sultanik

Compiler Testing

1. Compilers: Principles, Techniques, and Tools (Dragon Book)
2. Bibliography for automatic test data generation for compilers
3. Pre-defined Compiler Macros Listing (predef.sourceforge.net)
4. Script to Determine Pre-defined Compiler Macros
5. Homepage of Daniel S. Wilkerson: Delta, a failure-inducing minimizer
6. GCC Patch for ICE_EXIT_CODE
7. delta.tigris.org (Test Case Minimization)
8. Compiler Explorer

Static Analysis

1. COMS W4117 Compilers and Interpreters: Software Verification Tools
2. LinkedIn Static Code Analysis group
3. User:Nickj/List of tools for static code analysis - Wikipedia (Uncensored; the main list has been vandalized in the name of cleanup.)
4. Code Integrity Solutions: Professional services consultants for Coverity Static Analysis tools
5. Xcode Warnings: Can You Turn Them Up to Eleven?

Open Source Bugs (Please Vote)

• Mac Firefox Bug 434210 - Option (alt) dragging text within text fields deletes the selection / http://tinyurl.com/MacFirefoxBug (Fixed years later.)

Newton®

1. Love Notes to Newton by Noah Leon | Vimeo On Demand. Disclaimer: I’m in it, at 1:03, 37:06, 52:15, 53:45, and 1:11:50.

PalmOS®

1. The Poplet Kit
2. IMDb for Palm PQA
3. Palm Programming : The Developer's Guide, second edition, by Neil Rhodes & Julie McKeehan
4. Palm OS® Programming For Dummies® by Liz O'Hara & John Schettino
5. PalmHack V, alias The PalmSource Developer Challenge: http://www.palmsource.com/devconf.html#open.
6. Stand Alone, Inc. - Quickipedia
7. Pordible: Macintosh Palm Doc converter
8. LinkeSOFT DIMEX Desktop Add-In for Palm Calendar Import/Export
9. ResetEmu | 79bmedia GmbH
10. Filez file manager
11. TealScan
12. HandyPalmStuff: NVBackup by Alexander Pruss
13. SkinUI by Dmitry Grinberg
14. AndrewSoft FlightStatus for Treo

Other

1. OnMyCommand, magnificent Services plugin for MacOS
2. You know you are from the Bay Area when...
3. CiteSeer (also known as ResearchIndex)
4. Affrus: Mac OSX Perl Debugger
5. Non-Standard Logics for Automated Reasoning (I wrote the introduction; I don't necessarily recommend the rest.)
6. AcidSearch
7. Zyxel X-550 Xtrememimo 802.11G WiFi Router
8. TClockEx - Windows Taskbar Clock Enhancer
9. Steve Jobs 1944 video
10. Silicon Valley History Tour

Humanities

Logic

1. Bibliography: Set Theory with a Universal Set
2. T.E. Forster on Church's Set Theory with a Universal Set (But note that I was a great-grand-student of Church, via Gandy and Turing, not a student.)
3. T.E. Forster, “Mathematical entities arising from equivalence relations, and their implementation in Quine's NF,” to appear in Philosophia Mathematica.
4. “A Variant of Church’s Set Theory with a Universal Set in which the Singleton Function is a Set” (abridged), in Logique et Analyse, Vol 59, No 233 (2016) pp. 81–131, doi:10.2143/LEA.233.0.3149532. The full version is available at the Centre National de Recherches de Logique.
5. “Fixing Frege’s Set Theory,” slides from a talk on Church’s and my set theories with a universal set, delivered remotely at the University of Oxford Mathematical Institute, October 2013, and at the Stanford Mathematics Department, April 2014.

Science Fiction

Isaac Asimov 100th Birthday Meetup

1. http://tiny.cc/asimov100/
2. Discussion: http://bit.ly/Asimov100
3. Poster: http://flash-sheridan.name/asimov100.png, portrait by Rowena Morrill (Gnu license)

Other SF

4. Me introducing Andy Weir to Larry Niven at Contact 2016. Photo by Dan Blanks, used by permission.
5. Internet Speculative Fiction Database (ISFDB), now displaying your votes in internal or external chronological order
6. New York Area Science Fiction Links - Fancyclopedia 3
7. HELIOsphere on Facebook (now in New Jersey)
8. Philcon (now also in New Jersey)
9. Videos from the Fourth Annual City Tech Science Fiction Symposium, An Astounding 90 Years of Analog Science Fiction and Fact | Science Fiction at City Tech
10. ✓ Petition: Netflix, please buy the rights to The Expanse, Change.org
    • Feedback | Syfy
    • Alcon Entertainment: feedback
11. Jim Baen’s Galaxy Magazine v36n09 (1975 10, 25th anniversary issue, p. 158 my letter, after Fred Pohl's): Internet Archive
12. Baen Books
13. Improper exclusions from Hugo Awards by Chinese Worldcon

Theatre

1. The Oregon Shakespeare Festival (Ashland)
   (Ashland Theater Review)
2. Shakespeare Santa Cruz
3. The BBC TV Shakespeare Collection (Region 2 DVD)
4. The Oxford Shakespeare: Original Spelling Edition
5. Branagh’s Hamlet (uncut)

Cinema

1. Stanford Theatre
2. Stanford Theatre (unofficial fanpage)
3. Stanford Theatre, Palo Alto Weekly listings

Music

Classical

1. WKAR mp3
2. KWAX mp3
   • 128K MP3
3. KUSC 128K
4. WCPE
5. Otto's Baroque
6. RadioCrazy Classical 128K
7. InfiniteClassical 128K
8. Poemletter Classical 128K
9. RadioIOClassical 128K
10. Radio Budapest 320K
11. classicalwebcast.com list
12. RTBF 3, Brussels 128K
13. Concertzender (64K Windows Media Player)
14. Klara Brussels (64K Windows Media Player)
15. Baroque+ 56K

1. Glen Raphael's Dot Com Meltdown Blues
2. Glen Raphael's Phase Transition
3. The Yale Undergraduate Jazz Orchestra
4. KCEA Menlo-Atherton Swing
5. Swiss RadioCrazy Swing
6. WKAR Jazz
7. KQED
8. Magnatune Classical

Poetry

1. Beowulf, edited by Frederick Klaeber
2. Beowulf Project - Old English Text
3. Beowulf (full text, www.georgetown.edu)
4. Beowulf and the Appositive Style, Fred Robinson
5. The Tomb of Beowulf and Other Essays on Old English, by Fred C. Robinson
6. Labyrinth Library: Old English
7. Norton Anthology of English Literature readings of early English poetry
8. The Anglo-Saxon Poetic Records converted by me to ePub format, with the permission of the transcriber, Dr. Gregory Hidley of UCSD.
   • But see now instead http://poppy.nsms.ox.ac.uk/woruldhord/contributions/132 or https://itunes.apple.com/en/book/anglo-saxon-poetic-records/id478722744.
9. http://russianpoetry.net/
10. The Poor Man of Nippur — World's first film in Babylonian
11. Walter the Whistler Bear by Kathleen Sheridan Russell, The Friesen Press

Prose

1. Save Kepler's
2. Along the Way by Paul B. Phillips, Archway Publishing Autobiographical anecdotes by my uncle. iBooks, Kindle.
3. PocketLingo College - The American Heritage College Dictionary
4. manybooks.net: Free eBooks for your PDA
5. Town Compass Concise Encyclopædia Britannica
6. Britannica Concise Encyclopedia expansion card (Didn't work, and crashed.)
7. Feedbooks Kindleguide.mobi
8. http://mnybks.net/ (Many Books mobile)

News & Politics

1. Ukraine Crisis: Red Cross
2. Donate to Charlie Hebdo (Google Translation into English)
3. Petition: Reinstate the petition process for the Yale Alumni Fellow election. Canceled Candidates:
• Zoraya Hightower, ENV ’16.
• Gail Lavielle, GRD ’81
• Andrew Lipka, ’78
• Ashe Wins Standing to Restore Yale Vote
4. Princetonians for Free Speech
5. Quiet Zone Palo Alto presentation
6. Quiet Zone Palo Alto petition
7. Downtown Palo Alto residents seek relief from train noise: Palo Alto Weekly
8. Slate: Today's Papers: http://www.slate.com/Code/TodaysPapers/TodaysPapers.asp or http://tinyurl.com/SlatePapers
9. Petition opposing the Russian invasion of Georgia
10. Initiative to reform California redistricting
11. Edgar Mayo Jr., American Rule-Of-Law Party, for Governor of California
12. C-Span Radio (Real Audio)
13. http://www.verifiedvoting.org/
14. Forbes Russia Editor Paul Klebnikov Murdered In Moscow
15. Buy Danish, Support Freedom of the Press
    • Lego
    • Danish Brands
16. Map of European History Since AD 1000
17. Orchid Male Cancer video

Food

1. http://chowhound.com
2. Capresso Ultima Semi-Automatic Espresso Machine

Geek Toys

1. XM Radio
2. TiVo
3. Westinghouse LVM-37w1 37" LCD 1080p HDTV
4. Oppo OPDV971H Up-Converting DVD Player
   • N.b.: Always use Wide/SQZ mode
5. Panasonic SA-XR55S Full-Digital Receiver
6. Sennheiser HD-555 Headphones
7. Plantronics DSP-400 USB Headset
8. Garmin eTrex Vista GPS
   • Geocode.com locator
   • http://joe.mehaffey.com/ GPS reviews
   • Working with Garmin GPS Receivers - Dale DePriest

Other

1. Dr. Jeffrey S. Mannheimer PT, Ph.D, CODN, CCTT, Physical Therapist

Not Yet Categorized

1. :Eric S. Raymond on Microsoft security: Think of it as evolution in action...
2. Blair: We will not falter
3. 10 Downing Street - Speech to the Welsh Assembly: We will not falter
4. The Daily Telegraph - Opinion, By Sir Rudolph Giuliani
5. Packard says he's displeased with the direction of HP (11/06/2001 SJ Mercury)
6. Authors' biographies (http://www.kirjasto.sci.fi/calendar.htm)
7. http://www.palmoswerks.com/
8. Palo Alto Freenet
9. NASA Astronomy Picture of the Day
10. Recent Earthquakes - Map 122-37
11. Sand Hill Challenge Race Date 2002 (allegedly cancelled)
12. Google Earchsay (Pig Latin)
13. Tivo
14. Metacritic.com
15. Small Sites (http://209.221.153.18/smallsites/)
16. PalmOS.com: Developer Bug Reports
17. Ukrayinska Pravda (in English)
18. Palm, Inc. - Resetting Your Palm handheld
19. October, 1999, draft of the C99 rationale (thx Fred Tydeman)
20. ftp://ftp.dmk.com/DMK/sc22wg14/rationale C89 & C9X rationale http://pri.kts-af.net/redir/index.pls?esid=d60cbdd088d952984ba218d44925af43&url_no=1&client_id=7&uid=68efed4d03ec7e45fd3978262c107180&clicksrc=xml
21. http://www.izvestia.ru/ (in Russian)
22. Terrorism Warning Signs
23. We Love the Iraqi Information Minister.com
24. http://www.math.tau.ac.il/~guy/pa/testing.html
25. The sounds of English and the International Phonetic Alphabet | Antimoon.com
26. Palo Alto Arterial Traffic Association
27. NY Times Op-Ed Corrections
28. PalmSource: Manager of Developer Tools Quality Assurance
29. Mac OS X FileMerge and Perforce
30. Combee on Palm OS: Easter Egg Enabling Your Applications
31. Movie Classics By The Bay, Art Deco Movie Palace Auction Sales Room (?)
32. Teflon mouse paws, CSHyde.com
33. manybooks.net - Free eBooks for your PDA
34. http://open.palary.org/mazarin/
35. ENGLISH Literature & Texts (Before c1485; Anglo-Saxon & Middle English) (e-Books)
36. http://www.tripadvisor.com/
37. Kevin Crossley-Holland
38. Boycott PayPal
39. The Planetary Society
40. urticator.net - referend
41. Resizeable Textarea 0.1a - The Extensions Mirror (Firefox)
42. Proposition 77: Initiative to reform California redistricting
43. Boycott Carrefour
44. Giant Cypress? DX Men's Hybrid Bike
45. FANAC Classic and Older Fanzine Index
46. Massoglia Books, Paperback and Hardcover Collectable Book Dealer [Doc Smith]
47. Dentist - Patricia Claeys-Schmidt - Twin Peaks / Diamond Heights - tribe.net
48. Google Maps for PalmOS
49. Neo-Fregeanism: An Embarrassment of Riches
50. blog.treonauts.com treo_650_tips
51. OnMyCommand: Contextual Menu UNIX CLI and AppleScript executor
52. SourceForge.net: Console
53. iPhone Application List
54. TreoBits Internet Radio
55. Palo Alto Daily Post (coming back soon, the real Palo Alto Daily News)
56. California 2008 ballot measures - Ballotpedia
57. Professor Muller's Ingenious iPhone Feature Workaround - Pogue's Posts Blog - NYTimes.com (silent ringtone)
58. Erica Sadun: Pasteboard Utility
59. App Store data analysis for iPhone developers by appFigures | iTunes Connect Analytics | App Store report analysis | App Store ranks | iPhone App Store Reviews
60. The Old Globe (San Diego Shakespeare)
61. Beowulf: Ed. Murray McGillivray. Online Corpus of Old English Poetry (OCOEP). Edition in progress
62. Texmaker (free cross-platform latex editor, Unicode/UTF8)
63. Old Church Slavonic Online (U Texas)
64. Petition against authoritarian governmental control of higher education in Ukraine: Open letter from Serhiy Kvit, President of the National University of Kyiv-Mohyla Academy
65. YouTube - Glen Raphael's Channel
66. APOD: 2011 March 15 - Cassini Approaches Saturn (real video)
67. Writer2LaTeX (OpenOffice to LaTeX conversion, useful for RTF too)
68. ucharclasses for XeLaTeX | Projects at Nihongoresources (d/l at http://projects.nihongoresources.com/downloadables/ucharclasses.tgz)
69. MessageFont for Apple Mail by Adam Tow
70. MacMatte (matte petition)
71. The Apostrophe Protection Society
72. The 12 Days of Swiftmas ‚Äby Jacob Bandes-Storch
73. TidBITS: How to Change the Font in Messages in Yosemite
74. An Alan Turing expert answers your The Imitation Game questions | The Aperiodical (the majority of the film is about stuff that didn’t happen)
75. regehr/itc-benchmarks · GitHub: Toyota InfoTechnology Center"Quantitative Evaluation of Static Analysis Tools" benchmark software
76. Father and Sons (full length) - YouTube video, Orchid Cancer Appeal, Alexander Ludwig (star of Vikings and Hunger Games)
77. Sir Gawain and the Green Knight (Intro only) - YouTube (original, not a translation)
78. span | the rtMRI IPA charts: MRI data from phoneticians producing the sounds of the International Phonetic Alphabet
79. IPA Chart with Sounds | International Phonetic Alphabet Sounds
80. Equivalent Modulo Input Compiler Validation Project, UC Davis
81. ‘Vin de Garage’ in Northern California | Vino Voices
82. Tom Stoppard, The Hard Problem, A.C.T. SF
83. The New Oxford Shakespeare: Critical Reference Edition - William Shakespeare - Oxford University Press (original spelling)
84. Massoglia Books - Tucson, Arizona (we emphasize Science Fiction)
85. Feldman's Books - AbeBooks - Menlo Park, CA, U.S.A.
86. Forbes 2017 30 Under 30: Enterprise Technology, Sourcegraph
87. Sourcegraph founders featured on Forbes “30 under 30” list
88. Go code intelligence on Sourcegraph: now in general availability (GA)
89. Text from Xcode
90. Benjy Steinberg — Portfolio & Résumé
91. Decapitation by Arrest: International Justice and Demobilization in Congo Featuring Professor Richard Steinberg
92. How Sourcegraph scales with the Language Server Protocol
93. Deploy apps in a business environment with iTunes - Apple Support: iTunes without AppStore amputated
94. ‚öô D41723 Introduce the "retpoline" x86 mitigation technique for variant #2 of the speculative execution vulnerabilities disclosed today, specifically identified by CVE-2017-5715, "Branch Target Injection", and is one of the two halves to Spectre..
95. ISFDB: List of 1942 titles with any votes, for Retro Hugo nomination
96. New York Stage Review – Reviews from Broadway and Beyond
97. Speculative Fiction | Doc Smith (Michael F. Stemper, math.wisc.edu)
98. Doc Smith exhibit at the 2004 WorldCon
99. Dido & Aeneas by Purcell; a Collaboration of Richmond Performance Arts - YouTube
100. scala - Best way to parse command-line parameters? - Stack Overflow: sliding over arguments
101. How to make your Scala shell scripts run faster by pre-compiling them | alvinalexander.com
102. Ian Myles Slater on: Handy Two-in-One Edition of a Classic (Amazon review of Delphi Complete Works of Sir Thomas Malory)
103. Apple now blocks iOS app backups, but you can do something about it (https://appleinsider.com/articles/18/10/03/apple-now-blocks-ios-app-backups-but-you-can-do-something-about-it)
104. How to Stop “Upgrade to MacOS Mojave” Notification Banners in Mac OS : OS X Daily
105. Mobile Opportunity: Here Comes the Hammer: The Tech Industry's Three Crises
106. Asimov Centennial Convention or Meetup?!? (Reddit)
107. How Apple Is Giving Design A Bad Name (Don Norman And Bruce Tognazzini)
108. set theory - Is V, the Universe of Sets, a fixed object? - MathOverflow