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
  3. mail me
  4. My résumé
  5. Plugs: http://pobox.com/~flash/plugs.shtml
  6. Some Newton Bookmarks
  7. My Bookmarks (live)
  8. Flash Sheridan's Bookmark Page 2010
  9. Flash Sheridan's Bookmark Page 2004
  10. 1997 Bookmarks
  11. Practical testing of a C99 compiler using output comparison, Software: Practice and Experience April 2007 (preprint at http://pobox.com/~flash/Practical_Testing_of_C99.pdf)

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