This page is fairly live, so the signal-to-noise ratio may be low, and the best stuff may be at the bottom.

  1. Stanford Handheld User Groups
  2. Spug (Stanford Pilot User Group) Home Page
  4. mail me
  5. My résumé
  6. Plugs: http://flash-sheridan.name/plugs.shtml
  7. Some Newton Bookmarks
  8. My Bookmarks (live)
  9. Flash Sheridan's Bookmark Page 2010
  10. Flash Sheridan's Bookmark Page 2004
  11. 1997 Bookmarks
  12. Practical testing of a C99 compiler using output comparison, Software: Practice and Experience April 2007 (preprint at http://flash-sheridan.name/Practical_Testing_of_C99.pdf)

  13. App Store data analysis for iPhone developers by appFigures | iTunes Connect Analytics | App Store report analysis | App Store ranks | iPhone App Store Reviews
  14. Rahulnet's Blog [rahul.net a2i]
  15. New Facebook Social Features Secretly Add Apps (e.g. Washington Post) to Your Profile (Updated) - PCWorld
  16. Incompatible Browser | Facebook http://www.facebook.com/editapps.php?v=recent
  17. Incompatible Browser | Facebook http://www.facebook.com/editapps.php?v=extended
  18. Dr Dobbs - Get Software Quality Right (Static Analysis Typically Results in 85% Defect Removal Efficiency)
  19. Apple iPhone forums gripped by deleted thread paranoia o The Register
  20. Apple - Support - Discussions - Are the moderators removing threads ...
  21. Droid X actually self-destructs if you try to mod it
  22. iPhone owners report iOS 4.0.1 installation errors | Circuit Breaker - CNET News
  23. Rahul.net (Rahulnet) blog: http://rahulnet.wordpress.com/wp-comments-post.php
  24. Rahulnet's Blog (Rahul.net, Rahul Dhesi, a2i)
  25. CALIFORNIA PENSION REFORM
  26. ACCESS Android Apps: Graffiti 1
  27. Code Analysis Team Blog - Site Home - MSDN Blogs
  28. Cisco Settles Antitrust Suit Over Software Updates - PCWorld Business Center
  29. Putin dolzhen ujti | Obraschenie (Putin must go)
  30. Anne Applebaum | Spectator Author Search
  31. Dave Barry: A journey into my colon -- and yours - Dave Barry - MiamiHerald.com
  32. Magellan Technical Support
  33. P != NP-- Greg and Kat's blog (Vinay Deolalikar, HP Labs)
  34. 'Star Wars' producer Gary Kurtz speaks out - Los Angeles Times
  35. Man Lives In Futuristic Sci-Fi World Where All His Interactions Take Place In Cyberspace
  36. iOS 4.0.2 brick: Apple - Support - Discussions - iPhone 4 - Error 9 during Restore ...
  37. ban comic sans
  38. Science Fiction Timeline Site . . . Chronological Tolkien . . . Calculator
  39. TidBITS Inside TidBITS: Explaining the TidBITS News App Version Confusion (iTunes Connect robotic responses)
  40. navy-lost-control-of-drone-over-dc-due-to-software-issue
  41. Keyboard Shortcuts and Typing Tips for your iPad, iPhone or iPod Touch
  42. Artistic Style (C source beautifier)
  43. SSH - Permission denied (publickey) - But same configuration - Ubuntu Forums
  44. Apple iTune App Store Rejection Appeal Form
  45. The Old Globe (San Diego Shakespeare)
  46. Searching in Klocwork Review - Insight-9.1
  47. Fast Abstract Papers | ISSRE 2010 (Static Analysis Deployment Pitfalls, Flash Sheridan, Code Integrity Solutions)
  48. MoinMoin/Filter - MediaWiki
  49. Inn of the Seventh Ray non-flash history
  50. [OTA] The Oxford Text Archive: Anglo-Saxon poetic records http://ota.oucs.ox.ac.uk/scripts/download.php?approval=3a1d5df1da72fff8403c
  51. Beowulf: Ed. Murray McGillivray. Online Corpus of Old English Poetry (OCOEP). Edition in progress
  52. http://www.oepoetry.ca/
  53. Mobile Opportunity: What's really wrong with BlackBerry (and what to do about it) [Michael Mace]
  54. Embedded in Academia : Static Analysis Fatigue
  55. Labyrinth Library: Old English, Georgetown
  56. The Complete Corpus of Anglo-Saxon Poetry
  57. regexerator | Download regexerator software for free at SourceForge.net A (really pretty) regular expression testing tool, by Josh Vinson
  58. Apple - Support - Discussions - WHERE are my PHOTOS? iPhoto 11 erases photos
  59. Pigs, Gourds, and Wikis: TimeMachine doesn't back up iPhoto (if iPhoto is open)
  60. Palm Kills Classic (PalmInfoCenter)
  61. Build a digital book with EPUB (IBM)
  62. EPUB Straight to the Point
  63. Slashdot Apple Story | iPhone Alarm Bug Leads To Mass European Sleep-in
  64. patch to disable UOP checking in DVD Player.app - please test on i386/x86_64/ppc64 - The macosxhints Forums
  65. BEOWULF: facing-page translation: http://www.heorot.dk/beowulf-rede-text.html
  66. [FOM] Global Choice: conservative extension of ZFC
  67. [FOM] Global Choice (Forster)
  68. [FOM] Logicomix: inaccuracies
  69. LogBlog: Logic and Madness? | Richard Zach | Philosophy | University of Calgary
  70. www.latexforlogicians.net
  71. Errata and Revisions | William H Patterson Jr
  72. Diesel Sweeties Store: Music & Pixel T-Shirts & Socks - "I was a Mac user when Apple was doomed." shirt
  73. CDE: automatic packaging of Code, Data, and Environment
  74. Cisco switch C3550 MIB Support Lists
  75. SNMP::Info::Layer3::C3550 - SNMP Interface to Cisco Catalyst 3550 Layer 2/3 Switches running IOS
  76. Cisco 3550 And Qos Monitoring | TheDailyReviewer
  77. Port Limiting On A Cisco 3550 | TheDailyReviewer
  78. Control Plane Policing Implementation Best Practices enterprises.cisco.ciscoMgmt.ciscoCBQosMIB.ciscoCBQosMIBObjects.cbQosClassMapStats.cbQosCMStatsTable.cbQosCMStatsEntry.cbQosCMPrePolicyPkt.1035.1037
  79. George W. Bush can't fight for freedom and authorise torture - Telegraph
  80. Blocking Telemarketers in Asterisk with whocalled.us - AsteriskTech- The culture / technology / and evolution of: community driven database of telemarketers
  81. Anglo-Saxon Poetic Records ePub (Flash Sheridan) - PalmGear
  82. cbQosPolicyIndex Cisco MIB
  83. MRTG - A Table of some interesting OIDs (MIBs)
  84. SNMP Counters: Frequently Asked Questions [IP Application Services] - Cisco Systems
  85. eBooks.com - The World's Major Languages eBook (ePub)
  86. Buy Worlds Major Languages Ed2 Book by Comrie (9780203301524) at Borders with free shipping (eBook?)
  87. The World's Major Languages | Comrie, Bernard | Ebook from Directebooks.com (PDF $200)
  88. The World's Major Languages eBook Diesel
  89. Amazon.com: Flash Sheridan's review of The Worlds Major Languages
  90. New MobileMe Calendar: Duplicate calendars and events appear after updating to iOS 4.2 on iPad
  91. MobileMe: Troubleshooting upgrading to the new MobileMe Calendar
  92. MobileMe: Troubleshooting upgrading to the new MobileMe Calendar: Calendars over the following limits may not upgrade
  93. MobileMe: How to reset sync data
  94. How to Manually Delete all Sync Data from MobileMe's Servers Geek Life (Apple’s cloud service not adequately cleaning up)
  95. Mac OS X v10.5, v10.6: Resetting the SyncServices folder
  96. How to Solve All (not) Your MobileMe Sync Problems | Mac|Life
  97. OO export to LaTex - The Omni Group Forums
  98. Extras - OmniOutliner 3 - Products - The Omni Group: LaTeX export plug-in
  99. The World's Major Languages Customer Reviews - Barnes & Noble Nook defective
  100. "That's the rankest psychologism, and was conclusively shown to be hogwash by Gottlob Frege in the 1890s22 - Google Search
  101. THE ARCHETYPAL ARCHIVE: "That's the rankest psychologism, and was conclusively shown to be
  102. THE ARCHETYPAL ARCHIVE: "That's the rankest psychologism, and was conclusively shown to be hogwash by Gottlob Frege in the 1890s!"-- Sheldon Cooper THE BIG BANG THEORY
  103. The Big Bang Theory - The Zazzy Substitution - Thursday, Oct 07, 2010 - mReplay Livedash TV Transcript - Livedash: rankest psychologism, and was conclusively revealed as hogwash by Gottlob Frege in the 1890s
  104. [FOM] Acyclic comprehension is Stratified comprehension: Zuhair Abdul Ghafoor Al-Johar
  105. acycliccomp.pdf: updated proof of Acyclic comprehension being equal to strati
  106. Texmaker (free cross-platform latex editor, Unicode/UTF8)
  107. Old Church Slavonic Online (U Texas)
  108. LinkedIn Static Code Analysis Group
  109. unrtf - Bugs: bug #27909, Certain RTF Formatting causes unrtf to hang [Savannah]
  110. unrtf - Bugs: bug #31520, Conversion to LaTeX broken in... [Savannah]
  111. n8gray.org: Backup Bouncer: command-line-based test suite
  112. How to merge pdf files with preview in Leopard | Macintosh How To
  113. "Flash Sheridan" - Google Search: Reading level>Advanced
  114. What to do about mobile devices that lie [Android: Samsung & Motorola] | Mobilize - InfoWorld
  115. Features - GRAMPS (free genealogy software)
  116. Well, I'm Back: Static Analysis And Scary Headlines (Klocwork and Firefox)
  117. Interview with Andy Chou, Coverity Chief Architect: How Software is Built
  118. iphone Ukrlandia, your guide in Ukraine
  119. How to Install Latex Fonts on Mac Osx - wikiHow
  120. Apple - Support - Discussions - Internet sharing "disconnects" & ...
  121. codeopt.com - Software Optimization and Optimizing Compilers search
  122. Writer2LaTeX (OpenOffice to LaTeX converter)
  123. The new MobileMe Calendar: Apple knowledge base articles | MacFixIt - CNET Reviews
  124. MobileMe: New MobileMe Calendar specifications & limits
  125. MobileMe: Setting up the new MobileMe Calendar
  126. MobileMe: Troubleshooting new MobileMe Calendar issues
  127. MobileMe: Troubleshooting upgrading to the new MobileMe Calendar
  128. MobileMe: How to reset sync data
  129. MobileMe Calendar Upgrade: https://www.me.com/calendar/upgrade/
  130. Introduction to Scripting iCal
  131. Golosovanie za luchshuyu gradostroitel'nuyu koncepciyu Innovacionnogo centra Skolkovo
  132. SULAIR: Non-Stanford Users: Card Fees
  133. Verizons iPhone Doesnt Drop Calls - NYTimes.com
  134. Wrangler: interactive tool for data cleaning and transformation
  135. InformIT: Software [In]security: Comparing Apples, Oranges, and Aardvarks (or, All Static Analysis Tools Are Not Created Equal) > As the Market Grows (5 static analysis deployment pitfalls)
  136. Java bug number 4421494 from 2001
  137. Bug 100119 - Fix bug 4421494 infinite loop while parsing double literal
  138. TexMaker 2.2.1 Issue 87 - texmaker - pdf viewer continuous mode displays only part of pages - Project Hosting on Google Code
  139. XML To LaTeX (http://opera.inrialpes.fr/people/Tayeb.Lemlouma/MULTIMEDIA/XSLT/X2L.html)
  140. Texmaker and Xetex on OS X - Persistent Inappeasable Mind
  141. Fonts in LaTeX - MindMaster
  142. Computer Modern Unicode fonts
  143. The unicode-math XeLaTeX package and the STIX fonts PhilTeX
  144. http://ctan.org/pkg/unicode-math
  145. wspr/unicode-math - GitHub
  146. Testing Static Analysis Tools Using Exploitable Buffer Overflows
  147. Esterel Technologies: Compiler (partial) Verification Kit
  148. Embedded in Academia : A Critical Look at the SCADE Compiler Verification Kit
  149. TExistential Type Fonts in LaTeX, Part One: XeLaTeX
  150. LaTeX Com pre hen sive Sym bol guide.
  151. 406 Not Acceptable: http://www.autohotkey.com/
  152. TeX - LaTeX - Stack Exchange
  153. Apple - Support - Discussions - iCal calendars won't delete, keep ...
  154. Palm Branding MIssing From Hewlett-Packard webOS Event | John Paczkowski | Digital Daily | AllThingsD
  155. Dealing with your bug backlog | >kloctalk
  156. Dilbert: The Man Who Changed an Industry with his Powerpoint Slides
  157. iOS debugging magic
  158. Dilbert: A Technologist and a Philosopher All in One
  159. Dilbert: Turtles All the Way Down
  160. Association for Symbolic Logic 2011 North American Annual Meeting
  161. Extended iCal rant from a timezone warrior - Boing Boing (Cory Doctorow: "switch timezones off" feature. Which doesn't work.)
  162. Devon Hillard Tech Blog Blog Archive How to Clean a Corrupt Event From iCal
  163. Digital Sanctuary-Corrupt iCal File Cleaner
  164. 10.4: Repair a broken iCal search in 10.4.2 - Mac OS X Hints
  165. iCal corrupt, MobileMe not syncing - a fix | Tim Sodhi's Weblog
  166. Don't buy AppleCare, be careful about using Apple's proprietary applications - David Pollak's Blog
  167. Daring Fireball: Tim Bray on iCal
  168. http://discussions.apple.com/message.jspa?messageID=10568473 : yearly recurring meeting created on iPhone breakes iCal sync with exchange
  169. An Open Letter to Apple | Readability Blog
  170. MobileMe: Duplicate Calendars in iCal with the new MobileMe Calendar
  171. FCS Blog [AS] Applescript and the command line
  172. Spacevidcast
  173. 3 Great Ways to Watch the Last Space Shuttle Missions | Wired Science | Wired.com
  174. Spaceflight Now
  175. NASA TV
  176. MobileMe: How to back up calendar data using the new MobileMe Calendar: Important: Do not rely on traditional methods for backing up calendar data
  177. http://careers.stackoverflow.com/flashsheridan - Stack Overflow Careers
  178. THE ALAN TURING YEAR (http://www.turingcentenary.eu/)
  179. Bug 35634 - [4.3/4.4/4.5/4.6 Regression] operand of pre-/postin-/decrement not promoted
  180. Embedded in Academia : The Little C Function From Hell
  181. Bug 9350 - possible integer bug
  182. QoS Policing in Cisco IOS - CT3: exceed-action set-dscp-transmit af13 (best-effort)
  183. Newest 'qos+cisco' Questions - Server Fault
  184. Cisco IOS Quality of Service Solutions Configuration Guide, Release 12.2 - Policing and Shaping Overview - Cisco Systems
  185. http://geohot.com/: legal trouble
  186. http://geohotps3.blogspot.com/
  187. Apple
  188. Macintouch Gregory Tetrault Moneydance QIF
  189. YouTube - Glen Raphael's Channel
  190. SCAM 2011: Eleventh IEEE International Working Conference on Source Code Analysis and Manipulation
  191. Tracking Web Page Changes
  192. ChangeDetection - Know when any web page changes
  193. Apple bans iPhone 3G patch omission talk from forum o The Register
  194. Intuitive and/or philosophical explanation for set theory paradoxes - MathOverflow
  195. User Thomas Forster - MathOverflow
  196. Another year, another iPhone time slip o The Register
  197. Twitter tells third-party devs to stop making Twitter client apps
  198. APOD: 2011 March 15 - Cassini Approaches Saturn (real video)
  199. ChangeDetection - Change Log: Stanford Theatre Movie Guide
  200. Writer2LaTeX (OpenOffice to LaTeX conversion, useful for RTF too)
  201. Intuit glitch leads to mistaken mega-tax refunds ( - Software - Business Issues )
  202. Using SyncTeX with LaTeX | FourSenses.net (\synctex=1)
  203. XKCD Radiation Sources
  204. [XeTeX] supplying missing glyphs?
  205. [XeTeX] supplying missing glyphs?
  206. Font selection in XeTeX for specific characters - TeX - LaTeX - Stack Exchange
  207. http://www.andy-roberts.net/misc/latex/index.html
  208. Many Eyes : Deaths per TWh by energy sources
  209. Netflix : Contact Investor Relations
  210. Are there any commercially available US DVD's that Netflix doesn't carry? - Straight Dope Message Board
  211. The ucharclasses package | Projects at Nihongoresources: automatic transition rules between Unicode blocks
  212. ucharclasses for XeLaTeX | Projects at Nihongoresources (d/l at http://projects.nihongoresources.com/downloadables/ucharclasses.tgz)
  213. symbols - How does one insert a backslash or a tilde into LaTeX? - TeX - LaTeX - Stack Exchange
  214. TidBITS Problem Solving: OpenType PostScript Fonts Troublesome in 10.6.7
  215. Petite Lap Giraffes: Real or DirecTV Marketing Campaign? | Long Island Press
  216. Nothing found for 2011 03 28 Petite-lap-giraffes-real-or-directv-marketing-campaign
  217. symbols - The standard \cup vs. the mathabx \cup - TeX - LaTeX - Stack Exchange
  218. fonts - Math symbols not being printed. - TeX - LaTeX - Stack Exchange: Remove the \usepackage{unicode-math} command
  219. [TxMt] smart Latex typesetting: \newif
  220. TRALICS : a LaTeX to XML translator (N): \newif
  221. LaTeX programming: how to implement conditionals handyfloss \newif
  222. Basics of Cisco Switch Administration - Part 1
  223. How to configure a new Cisco router - Hardware - Insight
  224. Maximum PC | Palm: The Rise and Fall of a Legend
  225. boot: Palm: The Rise, Fall, and (Hopeful) Rebirth of a Legend by Chris Dunphy
  226. Samsung Keylogger Case Revealed As False Positive | threatpost: false alarm of the VIPRE Antivirus product
  227. LaTeX/Hyperlinks - Wikibooks: \urlstyle{same} to avoid ugly font in LaTeX hyperref
  228. LaTeX Community o View topic - ** WARNING ** Failed to convert input string to UTF16...
  229. XeTeX FAQ
  230. How can I get Producteev to respond to my tickets/requests? : Support Center
  231. Deploying QoS for Cisco IP and next ... - Google Books: exceed-action set-qos-transmit 1
  232. Creating a Traffic Class: best-effort 0
  233. Inbound Rate Limiting on Cisco Catalyst Switches | Slaptijack
  234. The unicode-math XeLaTeX package and the STIX fonts PhilTeX
  235. unicode-math and italics
  236. Re: STIX fonts are so near
  237. mathmode - How do I change the math italic font in XeTeX/fontspec? - TeX - LaTeX - Stack Exchange
  238. New CTAN package: The STIX fonts - comp.text.tex | Google Groups: The kerning is awful, VA or Te
  239. KB Parallels: How to remove Parallels Desktop 5 completely
  240. KB Parallels: How to remove Parallels Desktop 3?
  241. KB Parallels: How To Remove Parallels Desktop 4 Completely?
  242. qos - Bandwidth sharing via police exceed-action drop on Cisco Catalyst 3550s: anything less draconian? - Server Fault
  243. ASK THE EXPERTS - QoS with Cisco expert Sarala Akella
  244. ASK THE EXPERTS - QoS with Cisco expert Sarala Akella: Bandwidth sharing via police exceed-action drop on Cisco Catalyst
  245. [XeTeX] supplying missing glyphs?: Michiel Kamermans, \XeTeXinterchartoks
  246. xetex - How to get straight quotation marks? - TeX - LaTeX - Stack Exchange
  247. khaledhosny/euler-otf - GitHub
  248. How to get a list of all available (TTF-) Fonts with XeTeX? - TeX - LaTeX - Stack Exchange
  249. mathmode - Use \mathrm by default - TeX - LaTeX - Stack Exchange
  250. LaTeX to Unicode Online Convertor
  251. LaTeX - Wikibooks, open books for an open world
  252. pfSense Open Source Firewall Distribution
  253. MessageFont for Apple Mail by Adam Tow
  254. [Speed] Comcast HSI 50/10 Docsis 3 w/ SMC D3G issues solved - Comcast HSI | DSLReports Forums
  255. "Silicon Valley Personality Disorder" - Google Whack: exactly one hit 4/15/2011
  256. Comcast HSI, 50/10, SMC D3G Problems. Resets every day. - Comcast HSI | DSLReports Forums
  257. Principia Mathematica - Wikipedia: 1+1=2 (volume 1, p. 379). The above proposition is occasionally useful. (v. II p. 86)
  258. International Rates (Comcast Business)
  259. Cisco: Switches - How do I limit the bandwidth on a Cisco 3550 switch?
  260. Klocwork Detected C and C++ Issues - current
  261. [cfe-dev] User documentation for supported warnings and --analyze mode
  262. scan-build finds things Build and Analyze does not | iPhone | Lou Franco: personal site
  263. Making Xcode's Build and Analyze much better | iPhone | Lou Franco: personal site
  264. Beyond build and analyze (Clang static analyzer extra options)
  265. [llvm-project] Log of /cfe/trunk/lib/StaticAnalyzer/Checkers/Checkers.td: Clang Static Analyzer Checkers
  266. An introduction to LaTeX: http://www.latex-project.org/intro.html
  267. The CRAPL: An academic-strength open source license
  268. AWS Developer Forums: Did Skynet destroy zone us-east-1c? (Official AMazon Answer: No)
  269. Mass edit Address Book and iCal using Bento
  270. IBM's Nefarious "Black Team" | Geekosystem
  271. 5 Awesomely Sarcastic Supreme Court Decisions | Cracked.com
  272. Not all non-custom Address Book fields display... . Using Bento for Mac . Forums . FileMaker Forums
  273. formatting - Is it possible to skip the first line in a theorem environment? - TeX - LaTeX - Stack Exchange
  274. formatting - Is it possible to skip the first line in a theorem environment? - TeX - LaTeX - Stack Exchange: Make Proof respect linebreak: \leavevmode\newline
  275. TidBITS Macs & Mac OS X: Apple Releases Snow Leopard 10.6.7 Font bug Update
  276. Chucky Ellison - FSL (A Formal Semantics of C with Applications)
  277. mathmode - How do I change the math italic font in XeTeX/fontspec? - TeX - LaTeX - Stack Exchange
  278. Workshop on Set Theory and the Philosophy of Mathematics: Titles and Abstracts of Presentations | The Department of Philosophy at the University of Pennsylvania
  279. Re: package for \textsubscript (Richard Heck)
  280. Stix font bug: SourceForge.net: The STIX Fonts Project : Detail: 3077428 - Characters missing from STIXGeneral Bold and Italic
  281. LaTeX Community o View topic - How to create a numbered (& 'referenceable') newenvironment? (Don't you use \rm as well as other obsolete commands; Replace then by \rmfamily, \ttfamily, \bfseries, \sffamily, \itshape and \scshape.)
  282. 4.4.1 Changing the Font Style (Each environment has the same name as its corresponding declaration: \begin{sffamily}Some sans-serif text.\end{sffamily}
  283. Glen Raphael | New York, NY | Folk / Folk Rock / Indie | Music, Lyrics, Songs, and Videos | ReverbNation
  284. Top Eclipse Bug 35779 - [misc] Text Viewer and Editor doesn't support word wrap
  285. iCal Removing and Preventing Duplicate Apple MobileMe Synchronizing Calendar Appointment Schedule Event Entries With Archiving Using BusyCal | ResourcesForLife.com
  286. Star Wars Propaganda Posters | PBH2, Video Before It's Viral
  287. The Great Inflation of the 2010s - Newsweek: Niall Ferguson
  288. Frama-C: Proving formal properties for critical software
  289. Visual Studio 2010 Express - No tests, please. greenicicle
  290. Facebook Busted in Clumsy Smear Attempt on Google - The Daily Beast (Real Dan/Fake Steve)
  291. 'Apple has made it completely impossible for anyone but Apple to make a profit selling contemporary ebooks on any iOS device,'
  292. LaTeX \rm vs. \mathrm: tilde instead of vector arrow when using \vec | The Bleeding Edge: differences in usage between \mathrm and \rm
  293. mathmode - Use \mathrm by default - TeX - LaTeX - Stack Exchange
  294. g000001/lisp-critic - GitHub
  295. switch - Cisco switches and Comcast SMC3G: DHCP works, IP doesn't - Server Fault
  296. Access Forbidden: http://www.mathkb.com/Uwe/Forum.aspx/math-logic/5257/On-necessary-uses-of-a-weak-form-of-replacement
  297. math.boisestate.edu/~holmes/holmes/sigma1slides.ps - Google Search
  298. Could ZFC be inconsistent? (Randall Holmes, 3/24/2001)
  299. TidBITS Safe Computing: International Verify Your Backups Day
  300. Quotation marks bug - Issues - wspr/unicode-math - GitHub
  301. unicode-math doesn't output " f" in math mode - Issues - wspr/unicode-math - GitHub
  302. 25 More Tech Tips and Tricks - NYTimes.com
  303. Re: unicode-math and italics (Stix bug)
  304. Apple Developer Forums: https://devforums.apple.com/message/387798 https://devforums.apple.com/click.jspa?searchID=3030597&objectType=2&objectID=387798
  305. Navigation for Costa Rica - iGO My way 2010 for iPhone, iPod touch, and iPad on the iTunes App Store
  306. Lack of matte screens driving iMac fans to Windows PCs | News | PC Pro
  307. Glossy vs matte screens: why the PC industry's out of touch | PC Pro blog
  308. MacMatte (matte petition)
  309. iphone - ad-hoc testing crashes with EXEC_BAD_ACCESS build with llvm 2.0 compiler - Stack Overflow: Fixed in 4.0.2
  310. MLcomp: objectively comparing machine learning
  311. Bug 30475 - assert(int+100 > int) optimized away
  312. Fix CID- Coverity - Google Search
  313. Re: Code Warrior and Palm Emulator question (stack overflow??): Ben Combee on #pragma warn_stack_usage
  314. checkMyCode.org (Broken in Safari and Lynx)
  315. Talk:Halt and Catch Fire: Those old Palms - Wikipedia
  316. Linux Kernel Developer Responses to Static Analysis Bug Reports: Guo & Engler
  317. LKML: Jean Delvare: Re: Do not misuse Coverity please (Was: sound/oss/cs46xx.c: fix a check after use)
  318. Would you like to know about 0day defects months in advance? Software Integrity Blog: Coverity Scan and Linux security hole/GCC misfeature
  319. [FOM] 461: Reflections on Vienna Meeting: Harvey Friedman vs Angus Macintyre
  320. Foundational Concerns and Mathematical Concerns - videolectures.net: Angus Macintrye in Vienna
  321. Dilbert - Search for Software Bugs
  322. Software Development & Programming Cartoons, Web Comics and Caricatures for Programmers, Developers, Software Engineer and Geeks
  323. Everything about C++ source code static analysis : viva64
  324. The Weekend Interview With David McCullough: Don't Know Much About History - WSJ.com
  325. Fantastic Worlds: The Seminal Status of "Doc" Smith's Lensman series
  326. Meraki Wireless LAN Reviewed - Performance-more, Closing Thoughts - SmallNetBuilder
  327. From "happy hacking" to "screw you" - the story of Meraki | virishi.net
  328. /tex-archive/macros/latex/contrib/IEEEtran/testflow
  329. Time to Close the Security Theater - Art Carden - The Economic Imagination - Forbes
  330. XeTeX FAQ: Chinese/Japanese/Korean/Cyrillic/etc. bookmarks (** WARNING ** Failed to convert input string to UTF16?)
  331. Building Real Software: Has Static Analysis reached its limits?
  332. 'Cyrano,' Gaining in the Translation (washingtonpost.com) Jonathan Yardley
  333. Everything about C++ source code static analysis - Blogs - Intel Software Network
  334. Tehom: No good external testing frameworks
  335. Open Testware Reviews - QMTest (CodeSOurcery)
  336. (Palm OS Tools) Palm OS Protein C/C++ Compiler Tools Guide | Palm OS Protein C/C++ Compiler Tools Guide
  337. Buffer Overflow (adjusted size bug) | Klocwork Developer Network
  338. SiteGround - Any Reviews? | drupal.org
  339. http://www.webhostingstuff.com/review/SiteGround.html
  340. SiteGround.com Inc Review - INTERNET - WEB HOSTING in Washington, DC - BBB Business Review - BBB serving Metro Washington, DC and Eastern Pennsylvania: F
  341. Bluehost Business Review in Provo, UT - Utah BBB: A+
  342. HostGator.com, L.L.C. Review - WEB HOSTING SERVICES in Houston, TX - BBB Business Review - BBB serving Greater Houston and South Texas: A+
  343. Oracle: Java's worst enemy | Application Development - InfoWorld
  344. OS X app that can open WriteNow docs? - MacNN Forums (No?)
  345. OS X app that can open WriteNow docs? (II) - MacNN Forums
  346. mail.app - Why does my Spotlight index get corrupted? - Apple - Stack Exchange
  347. CDT/designs/StaticAnalysis - Eclipsepedia
  348. What Went Wrong with Static Analysis? | The Code Curmudgeon
  349. Basic Instructions - Basic Instructions - How to Give Somebody the Respect They Deserve (Treo & Steve Jobs)
  350. Dilbert: Substance over Style
  351. TidBITS Networking: Converting Email from Eudora: Why I No Longer Live at the P.O.
  352. How Apple's Lion won't let you trash documents o reghardware
  353. Protecting Your Mac From the DigiNotar.nl Certificate Compromise -- ps Enable
  354. TidBITS Problem Solving: Beware Lion's Versions Bug on Network and Non-HFS+ Volumes
  355. Knowledge Is Everything: Java Code Quality Tools - Overview [Free only]
  356. What's Bugging the Android Market? | EricCloninger.com
  357. Reinhard Kahle, “The Universal Set and Diagonalization in Frege Structures,”
  358. Barbican exhibition: OMA/Progress
  359. Update: Transformer Fire at Alcatel-Lucent (Bell Labs) Injures Two - New Providence, NJ Patch
  360. What Went Wrong with Static Analysis? The Code Curmudgeon
  361. ToT Clang / LLVM in Xcode Wade's Blog
  362. Pre to postmortem: the inside story of the death of Palm and webOS | The Verge
  363. Sparks but no flame: Pianist Dejan Lazic at Kennedy Center's Terrace Theater (Washington Post)
  364. http://spinroot.com/static/ Static Source Code Analysis Tools for C
  365. Java for Mac OS X 10.6 Update 11
  366. The Apostrophe Protection Society
  367. Archived: Bibliography: Set Theory with a Universal Set
  368. Time Machine - Troubleshooting C12. "The Backup disk image ... sparsebundle ... is already in use."
  369. Macworld/iWorld 2014 Best of Show winners | Macworld
  370. Isaac Asimov: Visit to the World's Fair of 2014 (1964)
  371. Downtown Palo Alto residents seek relief from train noise: Palo Alto Weekly Online
  372. Sparks but no flame: Pianist Dejan Lazic at Kennedy Center's Terrace Theater (Washington Post)
  373. ios 8 calendar list view | Apple Support Communities
  374. The 12 Days of Swiftmas by Jacob Bandes-Storch
  375. TidBITS: How to Change the Font in Messages in Yosemite
  376. Can I increase the minimum font size of text when reading html messages in Mail.app (in Mavericks and later)? - Ask Different
  377. mail.app - Is it possible to have different font sizes for editing and message actually sent? - Ask Different
  378. Universal Mailer: missing plugin for Mail.app, Tired of setting over and over the font of your emails
  379. Apple has lost the functional high ground – Marco.org
  380. Chilling Effects
  381. Brandanschlag: „Wer die MOPO angreift, greift ganz Hamburg an“ | Polizei - Hamburger Morgenpost
  382. Arson attack: "Anyone who attacks the MOPO, modeling itself Hamburg" | Police - Hamburger Morgenpost (Ich bin Charlie Hamburger)
  383. An Alan Turing expert answers your The Imitation Game questions | The Aperiodical (the majority of the film is about stuff that didn’t happen)
  384. regehr/itc-benchmarks · GitHub: Toyota InfoTechnology Center"Quantitative Evaluation of Static Analysis Tools" benchmark software
  385. Father and Sons (full length) - YouTube video, Orchid Cancer Appeal, Alexander Ludwig (star of Vikings and Hunger Games)
  386. Vikings & Hunger Games star talks in aid of Orchid Cancer Appeal
  387. National news: Vikings and Hunger Games star talks … in aid of male cancer | Bath Chronicle
  388. Father and Sons (full length) - YouTube (Orchid Cancer Appeal)
  389. Orchid Cancer Appeal Concert - Tonbridge School
  390. Notes on the Developer Portal. For Dummies. - Alberto De Bortoli
  391. The C languages merge : Standard C++
  392. SwiftToolbox
  393. Time Machine - Troubleshooting: http://pondini.org/TM/Troubleshooting.html
  394. tls - Why is Symantec/Verisign CA appearing as an invalid authority? - Information Security Stack Exchange
  395. Flexible Runtime Testing of LLVM on Embedded Systems | Embecosm
  396. Feature: Apple's 'discoveryd' failure in Yosemite and iOS 8 | MacNN
  397. Some Apple TVs spamming DHCP requests, potentially slowing LAN | MacNN
  398. How trapped are your digital movies and TV shows? - CNET (Amazon 480p)
  399. Netflix vs. Amazon Prime Instant Video: Face-Off
  400. Amazon.com Help: Basic Troubleshooting for Amazon Fire TV
  401. Gmane -- Proposal: change LNT s regression detection algorithm and how it is used to reduce false positives
  402. Amazon.com General Help Forum: Get Blank Screen on Amazon Fire TV
  403. Amazon.com: Customer Discussions: phone customer service is a joke.
  404. Jay Werkheiser blogspot.com
  405. Seth Dickinson | science fiction and fantasy
  406. Jay Werkheiser
  407. Swift 2.0 - Swift Blog - Apple Developer: Apple will be making Swift open source later this year
  408. Craig Hockenberry: discoveryd Clusterfuck • furbo.org
  409. MacBook Pro 2011-3 Repair Extension Program for Video Issues - Apple Support
  410. http://yaledailynews.com/blog/2015/10/02/can-yale-jazz-up-campus/
  411. Paul Gross - Ride Forever lyrics | LyricsMode.com
  412. Rise of the Cybermen - Wikipedia: “upgrading is compulsory anyone who refuses will be deleted”
  413. Tog & Don Norman on interface
  414. Craig Federighi talks open source Swift and what’s coming in version 3.0 | Ars Technica
  415. Swift.org
  416. Flash Sheridan's Commits · apple/swift · GitHub (r9634-r24586)
  417. Microsoft sets stage for massive Windows 10 upgrade strategy | Computerworld (forcibly upgrading to Window 10)
  418. Ultimate Outsider - Software Downloads : GWX Stopper, disable 'Upgrade to Windows 10' behavior
  419. Along the Way: Paul B. Phillips : Archway Publishing
  420. Najib Negotiates His Exit BUT He Wants Safe Passage AND All The Money! EXCLUSIVE DISCLOSURE — Medium
  421. Apple updates Snow Leopard so you can continue to upgrade from Snow Leopard | Ars Technica
  422. Apple – losing out on talent | Technology | The Guardian
  423. Investor Hacking and Dev/Ops Startups — Hacker Daily — Medium, Andy Chou
  424. The Hardiest Fungi On Earth Could Survive Mars-Like Conditions
  425. Mossberg: Apple’s Own Apps Need Work | Re/code
  426. Irate Comcast subscriber turns Raspberry Pi into a watchdog for slow Internet speeds | PCWorld
  427. YaleNews | Preschoolers need more play and fewer scripted lessons, says early childhood educator Erika Christakis
  428. Philosophia Mathematica “Reconsidering Frege’s Conception of Number,”
  429. How to use the robot AI that is becoming the bane of telemarketers
  430. The Most Common Annoying iTunes 12 Sync Issues and Solutions
  431. Reconnecting the Varsity Railway | Oxford Today
  432. World SkyCat Ltd
  433. East West Rail: Oxford to Cambridge, eventually
  434. ICAL Yosemite List view gone | Apple Support Communities
  435. List of In Our Time programmes - Wikipedia,
  436. [texhax] LaTeX to InDesign
  437. Normal Distribution calculator
  438. Update installs Get Windows 10 app in Windows 8.1 and Windows 7 SP1
  439. tis-interpreter – TrustInSoftinterpreting C programs statement by statement from beginning to end, verifying at each statement whether the program can invoke undefined behavior
  440. How to use a MAC for connecting through the console port ? | Getting Started with LANs | Cisco Support Community | 5896 | 12071321
  441. RSU Cost Basis (Etrade and Turbo Tax) - Help!! - Bogleheads.org
  442. Who Does BBQ Better? Kansas City or Texas? : TMBBQ (Calvin Trillin, former Yale trustee)
  443. Sir Gawain and the Green Knight (Intro only) - YouTube (original, not a translation)
  444. Journal accepts bogus paper requesting removal from mailing list | Australia news | The Guardian
  445. GCC Explorer - Google+
  446. Static Analysis – A brief description of what tools we use here at Mozilla – ANdi's bloge
  447. Cthulhu for America
  448. span | the rtMRI IPA charts: MRI data from phoneticians producing the sounds of the International Phonetic Alphabet
  449. IPA Chart with Sounds | International Phonetic Alphabet Sounds
  450. M$: refresh or reset your PC
  451. Box | Unsubscribe
  452. Practical testing of a C99 compiler using output comparison - Semantic Scholar
  453. An empirical comparison of compiler testing techniques
  454. An empirical comparison of compiler testing techniques: http://dx.doi.org/10.1145/2884781.2884878
  455. iCloud: Limits for Contacts, Calendars, Reminders, and Bookmarks - Apple Support
  456. A Variant of Church’s Set Theory with a Universal Set in which the Singleton Function is a Set | Flash Sheridan | Logique et Analyse
  457. Equivalent Modulo Input Compiler Validation Project, UC Davis
  458. In memoriam: Microsoft's previous strategic mobile partners | Asymco
  459. Thunderbirds are Go series 1 episode 1 review: Ring of Fire, RadioTimes
  460. Nicholas Windsor Howard - The Apple Goes Mushy Part I: OS X's Interface Decline (Introduction)
  461. Oracle Wants You To Stop Sending Them Bugs - Here's Why That's Crazy
  462. Information Security News: No, You Really Can’t: Mary Ann Davidson Blog()"static or dynamic analysis, a scan report is not proof of an actual vulnerability")
  463. No, You Really Can’t (Mary Ann Davidson Blog)(archive)
  464. Twelve Simple Tips to Improve Your Sleep | Healthy Sleep http://healthysleep.med.harvard.edu
  465. ArchAtlas: The Obsidian Trade in the Near East, 14,000 to 6500 BC
  466. SOFTWARE PRACTICE AND EXPERIENCE | Years 1971-2014 | Print ISSN 0038-0644 | PSC Reprint and Publisher's Backstock
  467. Microsoft won't fix Windows flaw that lets hackers steal your username and password | ZDNet
  468. Robocall Blocker Review - Consumer Reports
  469. Korea revisited, by J C McCamic (Book, 2011) [WorldCat.org]
  470. ‘Vin de Garage’ in Northern California | Vino Voices
  471. Tom Stoppard, The Hard Problem, A.C.T. SF
  472. The New Oxford Shakespeare: Critical Reference Edition - William Shakespeare - Oxford University Press (original spelling)
  473. Massoglia Books - Tucson, Arizona (we emphasize Science Fiction)
  474. Feldman's Books - AbeBooks - Menlo Park, CA, U.S.A.
  475. Forbes 2017 30 Under 30: Enterprise Technology 22 of 30
  476. Forbes 2017 30 Under 30: Enterprise Technology, Sourcegraph
  477. Sourcegraph founders featured on Forbes “30 under 30” list
  478. Go code intelligence on Sourcegraph: now in general availability (GA)
  479. Text from Xcode
  480. Benjy Steinberg — Portfolio & Résumé
  481. #sourcegraph @Twitter: customer spotlight – Plain Text — The Official Sourcegraph Blog
  482. Sourcegraph: https://sourcegraph.com/customers/twitter
  483. Dim Sum Thinking : I Wish Apple Loved Books
  484. What if you could REALLY customize your new Touch Bar?
  485. Decapitation by Arrest: International Justice and Demobilization in Congo Featuring Professor Richard Steinberg
  486. [OMC] Strip spaces from filenames (OnMyCommand discussion)
  487. Get Started with Bugzilla Fast Using Docker | Dave's Ramblings
  488. How Sourcegraph scales with the Language Server Protocol
  489. Florida Man jailed for 4 years after raking in a million bucks from spam • The Register
  490. COBOL Is Everywhere. Who Will Maintain It? - The New Stack
  491. Love Notes to Newton – Newton was discontinued by Apple in 1998, why are people still in love with Newton?
  492. Love Notes to Newton – Newton was discontinued by Apple in 1998, why are people still in love with Newton? A Film Coming February 27th, 2018
  493. Has the internet been overtaken by the eldritch horror of Yog-Sothoth?
  494. My thesis has been cited by a spambot: Set theory thesis - Custom creative essay ghostwriter service united kingdom | Custom Writing Prompts
  495. Deploy apps in a business environment with iTunes - Apple Support: iTunes without AppStore amputated
  496. ⚙ 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..
  497. ISFDB: List of 1942 titles with any votes, for Retro Hugo nomination
  498. Historical Tour Registration. | Columbia U Visitors Center
  499. New York Stage Review – Reviews from Broadway and Beyond
  500. Petition · Netflix: Netflix, please buy the rights to The Expanse · Change.org
  501. Feedback | Syfy
  502. Alcon Entertainment: feedback
  503. Speculative Fiction | Doc Smith (Michael F. Stemper, math.wisc.edu)
  504. Doc Smith exhibit at the 2004 WorldCon
  505. E. E. "Doc" Smith (http://www.wheels.org/lens/)
  506. Dido & Aeneas by Purcell; a Collaboration of Richmond Performance Arts - YouTube
  507. Blockchain Technology Opens Up Kenya's $20 Billion Informal Economy - Bloomberg
  508. JUnit [XML] Format - Enterprise Tester
  509. Testing Computer Software: Hung Q. Nguyen, Cem Kaner, Jack Falk Amazon.com
  510. Love Notes to Newton | Vimeo
  511. Love Notes to Newton by Noah Leon | Vimeo On Demand
  512. scala - Best way to parse command-line parameters? - Stack Overflow: sliding over arguments
  513. How to make your Scala shell scripts run faster by pre-compiling them | alvinalexander.com
  514. Ian Myles Slater on: Handy Two-in-One Edition of a Classic (Amazon review of Delphi Complete Works of Sir Thomas Malory)
  515. 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)
  516. How to Stop “Upgrade to MacOS Mojave” Notification Banners in Mac OS : OS X Daily
  517. macos - Downgrading from Safari 12 (beta) to Safari 11 - Ask Different
  518. Mobile Opportunity: Here Comes the Hammer: The Tech Industry's Three Crises
  519. Asimov Centennial Convention or Meetup?!? (Reddit)
  520. Schloss Dagstuhl : Testing and Verification of Compilers
  521. How Apple Is Giving Design A Bad Name (Don Norman And Bruce Tognazzini)
  522. Galaxy Magazine v36n09 (1975 10, 25th anniversay issue, p. 158 my letter, after Fred Pohl's) : Internet Archive
  523. Connecting to the iTunes Store: https://apps.apple.com/us/app/snapcrap/id1436238261
  524. set theory - Is V, the Universe of Sets, a fixed object? - MathOverflow
  525. The modal logic of set-theoretic potentialism and the potentialist maximality principles | Joel David Hamkins
  526. 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
  527. New York Area Science Fiction Links - Fancyclopedia 3:
  528. New York Area Science Fiction Links - Fancyclopedia 3
  529. New York Area Science Fiction Links - Fancyclopedia 3