Rob Dickerson is a software developer and engineering manager at Square, where he has built everything from Android applications to backend services and APIs. In his free time, he enjoys playing games and fencing épée.
http://www.robd.io/
TODAY'S RATING
>1,000,000
Date Range
HIGHEST TRAFFIC ON
Saturday
LOAD TIME
0.3 seconds
PAGES IN
THIS WEBSITE
4
SSL
EXTERNAL LINKS
1
SITE IP
192.30.252.154
LOAD TIME
0.259 sec
SCORE
6.2
robd.io | robd.io Reviews
https://robd.io
Rob Dickerson is a software developer and engineering manager at Square, where he has built everything from Android applications to backend services and APIs. In his free time, he enjoys playing games and fencing épée.
robd.io
New Emacs Configuration
http://robd.io/2015/02/01/emacs-config.html
Feb 1, 2015. I’ve scrapped my old emacs configuration and built a new one. The big things I wanted to fix:. I wanted to stop checking package files into the git repository. Instead, missing packages should be installed automatically when Emacs starts up. My old config was good at organizing its defuns and key bindings, but bad at organizing per-package and per-mode configurations. I like the way magnars. And I used this structure as my starting point. The result is up on github.
The Utility of Software Correctness Proofs
http://robd.io/2008/12/30/proving-correctness.html
The Utility of Software Correctness Proofs. Dec 30, 2008. My university required senior computer science students to complete a capstone project before graduation. The idea was to have every person perform a research project or internship that brought together all that he or she had learned over the last four years. Into a working Spark-Ada program. As a side effect, the tool would also generate a proof of that program’s conformity to the Z spec. It’s like saying you can write assembly code to provably m...
BK-Trees in Haskell
http://robd.io/2011/01/18/bk-trees.html
Jan 18, 2011. This post describes implementation of BK-trees in Haskell. Code can be found here. A BK-tree is a type of metric tree. Which is to say it’s a tree structure ideal for storing and retrieving elements of metric spaces. So what’s a metric space? Is made up of two things:. A set ( E ) of elements, and. A function ( m ) that, given any two elements ( x,y in E ), returns some distance ( d in mathbb{R} ) between them. Forall x,y in E ), the metric ( m(x, y) ) must. Produce a non-negative value.
Memory Efficency and Java's HashMap
http://robd.io/2009/01/28/hashmap-memory.html
Memory Efficency and Java's HashMap. Jan 28, 2009. The past couple of days Paul and I have been working on reducing the memory footprint of our application. One of the things that caught me a little offguard was the size of some of our HashMaps that were caching data from a database for quick access. The map is keyed on GUIDs. Here’s the breakdown of memory overhead for a. 4 bytes for the pointer to the key. 4 bytes for the pointer to the value. 4 bytes for the hashCode. 4 bytes for the. 8 bytes for the.
TOTAL PAGES IN THIS WEBSITE
4
Welcome to RobD.ca
RobDca - Where do you want to go today? Getting to know you. What I like to do. Come see what I see. Equipment I've recently purchased. Astronomy - GAO (16.207).
Rob Dunlavey Illustration
STORE, BLOGS, ETC. Books, prints, misc). All text and images 2015 Rob Dunlavey. Over in the Wetlands. By Caroline Starr Rose. Pub date: July 14, 2015.
Rob d
Sorry We're Temporarily Down
Index of /
robd.io
Feb 1, 2015. Jul 20, 2012. Smoother Signatures in Square's Android Client. Jan 18, 2011. Jan 28, 2009. Memory Efficency and Java's HashMap. Dec 30, 2008. The Utility of Software Correctness Proofs. Rob Dickerson is a software developer and engineering manager at Square, where he has built everything from Android applications to backend services and APIs. In his free time, he enjoys playing games and fencing épée.
BAPI - Blog Authors and Providers International
Rob Davis (rob d), Interactive Marketing Manager, Web Designer and Developer located in Greenville, SC
Images courtesy of stockvault.net. Hey, and thank you for visiting my personal website. I am Rob Davis (Rob D), Interactive Marketing Manager for AFL. And Principal with web aggression. Both based in the sunny Greenville, South Carolina. So what does a techie/marketing guy do with his free time? He creates websites. This particular site started because I wanted one place to download my favorite pictures and wav files and one place to keep up with my favorite links and quotes.
Hosted By One.com | Webhosting made simple
Domain and Cheap Web Hosting by One.com. Robdnl is hosted by One.com. Web hosting and domain by One.com. Affordable web hosting and domain plans available at One.com. Build your own website with Web Editor or choose a 1-click blog installation. Whatever you choose, One.com. Is dedicated to our customers' satisfaction with 24/7 chat support.
Welcome to ROBD.TV
Interested in this domain? Sorry, there are no results for your search. Search again:. This page is provided courtesy of GoDaddy.com, LLC.
sports betting profits
We're curious about: BEYONDFIT. Looking for Accurate Weather Forecasts? Idea: sports betting profits. Welcome to http:/ robd1302 .az.com. AZ AZCOM 2011 ZORGIUM:. These following stats are for our tracking and internal use only:. SiteClicks: 64%, SegmentsViewed: 84%, Weight: 65%. ForwardChainedVisitors: 82%, LinkBacks: 54%, VerControl: 1.18. Free Book - "The Art of Bookmaking". Win Big at The Casino. Free Tips from Nigel Ridgway. We don't gamble on sports. We Invest in Sports! First Name Email Address.
SOCIAL ENGAGEMENT