proofbyexample.com proofbyexample.com

proofbyexample.com

Home - Proof by Example

Proof By Example: Programming stuff by Mark Feeney

http://www.proofbyexample.com/

WEBSITE DETAILS
SEO
PAGES
SIMILAR SITES

TRAFFIC RANK FOR PROOFBYEXAMPLE.COM

TODAY'S RATING

>1,000,000

TRAFFIC RANK - AVERAGE PER MONTH

BEST MONTH

December

AVERAGE PER DAY Of THE WEEK

HIGHEST TRAFFIC ON

Friday

TRAFFIC BY CITY

CUSTOMER REVIEWS

Average Rating: 4.2 out of 5 with 12 reviews
5 star
9
4 star
0
3 star
1
2 star
0
1 star
2

Hey there! Start your review of proofbyexample.com

AVERAGE USER RATING

Write a Review

WEBSITE PREVIEW

Desktop Preview Tablet Preview Mobile Preview

LOAD TIME

0.1 seconds

FAVICON PREVIEW

  • proofbyexample.com

    16x16

CONTACTS AT PROOFBYEXAMPLE.COM

Mark Feeney

599 C●●●●●r Dr.

Wat●●●loo , ON, N2K4B4

CANADA

View this contact

Mark Feeney

599 C●●●●●r Dr.

Wat●●●loo , ON, N2K4B4

CANADA

1519●●●●1674
ma●●●@markfeeney.com

View this contact

Mark Feeney

599 C●●●●●r Dr.

Wat●●●loo , ON, N2K4B4

CANADA

1519●●●●1674
ma●●●@markfeeney.com

View this contact

Login

TO VIEW CONTACTS

Remove Contacts

FOR PRIVACY ISSUES

DOMAIN REGISTRATION INFORMATION

REGISTERED
2010 January 03
UPDATED
2012 December 29
EXPIRATION
EXPIRED REGISTER THIS DOMAIN

BUY YOUR DOMAIN

Network Solutions®

DOMAIN AGE

  • 15

    YEARS

  • 3

    MONTHS

  • 24

    DAYS

NAME SERVERS

1
ns-1192.awsdns-21.org
2
ns-124.awsdns-15.com
3
ns-1982.awsdns-55.co.uk
4
ns-863.awsdns-43.net

REGISTRAR

PAIR NETWORKS INC.D/B/A PAIRNIC

PAIR NETWORKS INC.D/B/A PAIRNIC

WHOIS : whois.pairnic.com

REFERRED : http://www.pairnic.com

CONTENT

SCORE

6.2

PAGE TITLE
Home - Proof by Example | proofbyexample.com Reviews
<META>
DESCRIPTION
Proof By Example: Programming stuff by Mark Feeney
<META>
KEYWORDS
1 proof by example
2 articles
3 clojure laziness review
4 follow
5 overthink
6 github
7 stackoverflow
8 google
9 linkedin
10 old blog
CONTENT
Page content here
KEYWORDS ON
PAGE
proof by example,articles,clojure laziness review,follow,overthink,github,stackoverflow,google,linkedin,old blog
SERVER
AmazonS3
CONTENT-TYPE
utf-8
GOOGLE PREVIEW

Home - Proof by Example | proofbyexample.com Reviews

https://proofbyexample.com

Proof By Example: Programming stuff by Mark Feeney

INTERNAL PAGES

proofbyexample.com proofbyexample.com
1

Combining Option and Either in Scala - Proof by Example

http://proofbyexample.com/combining-option-and-either-in-scala.html

Programming blog by Mark Feeney. Combining Option and Either in Scala. My last post on nested if-let in Clojure. Exists in part because I have worked with Scala for many years, and in Scala it’s there’s a very handy syntax for the only act when a bunch of optional things are defined situation. Are defined. This is a common idiom in Scala, and a nice one, IMO. But what if, like in the other post, we want to know which of the optional things is undefined when something goes wrong? Error, msg was '%s'".

2

sneakyThrow(): Checked Exceptions as Unchecked - Proof by Example

http://proofbyexample.com/sneakythrow-avoid-checked-exceptions.html

Programming blog by Mark Feeney. SneakyThrow(): Checked Exceptions as Unchecked. I recently came across some suspicious code in Square’s Okio. Throws {@code t}, even if the declared throws clause doesn't permit it. * This is a terrible but terribly convenient hack that makes it easy to * catch and rethrow exceptions after cleanup. See Java Puzzlers #43. */. Their comment admits it’s nuts, and points to Java Puzzlers. I had two questions: 1) how does this work (! And 2) why would you ever do this? At this...

3

Clojure Laziness Review - Proof by Example

http://proofbyexample.com/clojure-laziness-review.html

Programming blog by Mark Feeney. Quick notes on Clojure lazy sequences since I have confused myself on this a few times over the years, and just did so again. The working example will be a hack implementation of. Will blow stack.". Range-so 10000) ; StackOverflowError clojure.lang.Numbers$LongOps.inc (Numbers.java:529). Is the naive recursive implementation that consumes stack and is not useful for ranges with more than a few thousand entries. It’s also eager, so. Take 2 (range-so 1000). Won't blow the s...

4

Print and read in Clojure - Proof by Example

http://proofbyexample.com/print-and-read-in-clojure.html

Programming blog by Mark Feeney. Print and read in Clojure. I recently had a situation where I needed a very light-weight cache for some data that took forever to come back from a slow external API. My requirements:. Cached data must outlive current process, i.e. be written to disk. Cache must throw at write time if the thing being written won’t be readable when we need it. It’s ok to let. Evaluate code (i.e. trust values from the disk cache). No databases, bloated dependencies, just quick and dirty.

5

URL Encoding, Percent-Encoding and Query Strings in Java - Proof by Example

http://proofbyexample.com/url-and-uri-encoding-in-java.html

Programming blog by Mark Feeney. URL Encoding, Percent-Encoding and Query Strings in Java. I’ve been lost in the details of URL encoding a number of times. Each time I figure it out, move on, then promptly forget everything about it. This article is nowhere near a complete reference, it exists mainly to jog my memory. For the rest of the article I’m going to say URI. Instead of URL, but I’m really thinking about URLs http and https schemes in particular. The majority of this info comes from RFC3986.

UPGRADE TO PREMIUM TO VIEW 1 MORE

TOTAL PAGES IN THIS WEBSITE

6

LINKS TO THIS WEBSITE

github.com github.com

overthink (Mark Feeney) · GitHub

https://github.com/overthink

Waterloo, Ontario, Canada. Mar 13, 2009. Scala HTTP server abstraction in the style of Ring. A multithreaded scala programming challenge. Shell script for wrapping External Hudson jobs (eg: cron jobs) and posting their results to Hudson. 219 contributions in the last year. Summary of pull requests, issues opened, and commits. Learn how we count contributions. Overthink has no activity during this period. You can't perform that action at this time. You signed in with another tab or window. Reload.

blog.markfeeney.com blog.markfeeney.com

Mark Feeney: December 2013

http://blog.markfeeney.com/2013_12_01_archive.html

Remember: you chose to read this. Thursday, December 5, 2013. New blog has RSS now. Amazingly, there are people reading this blog, and some have actually requested an RSS feed of the new blog, Proof By Example. That's now done, via the I-can't-believe-it's-still-alive Feedburner service. Direct link to the feed. Wednesday, December 4, 2013. I've started a new blog for programming. And computer stuff. Just wanted to leave a pointer since this blog is pretty desolate these days. Subscribe to: Posts (Atom).

stackoverflow.com stackoverflow.com

User overthink - Stack Overflow

http://stackoverflow.com/users/69689/overthink

To customize your list. More stack exchange communities. Tour Start here for a quick overview of the site. Help Center Detailed answers to any questions you might have. Meta Discuss the workings and policies of this site. About Us Learn more about Stack Overflow the company. Business Learn more about hiring developers or posting ads with us. Software person trying to make things that don't completely suck. New: http:/ proofbyexample.com. Old: http:/ blog.markfeeney.com. Member for 7 years, 6 months.

UPGRADE TO PREMIUM TO VIEW 1 MORE

TOTAL LINKS TO THIS WEBSITE

4

SOCIAL ENGAGEMENT



OTHER SITES

proofbuy.com proofbuy.com

proofbuy : Inspired by LnwShop.com

ว ธ การส งซ อส นค า. อ ตราแลกเปล ยนประจำว น. เล อกส นค าจาก Shop USA ก บเว ปไซต ช อด ง. รองเท าสำหร บผ ชาย. ด ส นค ามาใหม ท งหมด. ค นหาข นส ง. ส นค าท งหมด. ส นค าท กำล งจะมา. ส นค าท หมดแล ว. ส นค าท เล กขายแล ว. อ ปกรณ ม อถ อและคอมพ วเตอร. กระเป าสำหร บผ ชาย. กระเป าสำหร บผ หญ ง. นาฬ กาสำหร บผ ชาย. นาฬ กาสำหร บผ หญ ง. รองเท าสำหร บผ ชาย. รองเท าสำหร บผ หญ ง. เส อผ าเคร องแต งกาย. เส อผ าผ ชาย. เส อผ าผ หญ ง. อ ปกรณ ก ฬา. รองเท าสำหร บผ ชาย. ด ส นค ามาใหม ท งหมด. เข าส ระบบด วย. ไม เก น 5 นาท.

proofbycontrad.com proofbycontrad.com

Proof by Contradiction | Polish and CEE Translation and Localization Resource - Sharing the quality information from the perspective of Polish Single Language Vendor (SLV)/Central Eastern European Regional Language Vendor (RLV) Language Service Provider (L

Take a Closer Look at Your TM – Can You See MT? As a Senior Project Manager in localization, I work with clients and linguists each and every day. One of the topics that has been repeatedly coming up recently is Machine Translation (MT): whether it’s any good, whether if makes sense to implement it, whether it will take work away from us and make us unemployed… Does it ring a bell? GALA Sevilla through the Eyes of the Joint Forces of Sales and Project Management. Are the risks behind sourcing and managin...

proofbycontradiction.com proofbycontradiction.com

Proof By Contradiction | Just another WordPress site

December 9, 2014. Welcome to WordPress. This is your first post. Edit or delete it, then start blogging! Just another WordPress site. Proudly powered by WordPress.

proofbydesign.com proofbydesign.com

Proof By Design: Home Page

Building web applications since 1997. Proof By Design are based in Brighton, UK. We specialize in writing web applications that mostly run on the Microsoft platform but are happy to use whatever technology suits our clients, whether that is Microsoft Office applications or Open Source web development using Perl, PHP, or Ruby.

proofbydisproof.drastic-creations.com proofbydisproof.drastic-creations.com

Proof By Disproof, a Play by Christopher C. Beier

proofbyexample.com proofbyexample.com

Home - Proof by Example

Programming and computer stuff. URL Encoding, Percent-Encoding and Query Strings in Java. SneakyThrow(): Checked Exceptions as Unchecked. Print and read in Clojure. Combining Option and Either in Scala. Nested if-let in Clojure. Is written by Mark Feeney. I don't claim to know anything at all. Comments are the property of respective posters.

proofbyintrospection.com proofbyintrospection.com

Proof by Introspection

One woman's experiments in living. Welcome to WordPress. This is your first post. Edit or delete it, then start blogging!

proofbypicture.com proofbypicture.com

proof by picture home

Everything here is accurate, sort of. Pi on the Earth. My favourite photos.). Of my own creation. Which resides in the University of Waterloo webspace. I suppose with such a great domain name, I should be doing something very cool here. But I'm not creative nor skillful enough to make such things happen. Copyleft Martin Pei 2005-2013. Latest update: April 5 2013 (removed the now defunct photo galleries).

proofbyresult.com proofbyresult.com

My Site

This is my site description. Powered by InstantPage® from GoDaddy.com. Want one?

proofbyte.com proofbyte.com

Proofbyte, Inc. | Trusted Virtual Email Network

Skip to main content. Proofbyte for Google Apps for Business. Bringing Trust Back To Email. Ask for Demo Now! Sophisticated Mail Transfer Protocol. Verifying sender and message authenticity with proven hacker proof cryptography. Analyzing and identifying trust email relationship between senders and recipients. Providing users simple trust/untrusted , green/red, indicators to make intelligent decisions. Proofbyte for Outlook 2010/2013. For Outlook 2010/2013 32-bit. Proofbyte for Outlook 2010/2013 (x64).

proofcafe.org proofcafe.org

ProofCafe - 名古屋を中心に活動する定理証明器・関数型言語のコミュニティ

Types and Programming Laungages. Benjamin C. Pierce氏による同名のテキストの和訳です。 OCaml Toplevel on Android.