
proofbyexample.com
Home - Proof by ExampleProof By Example: Programming stuff by Mark Feeney
http://www.proofbyexample.com/
Proof By Example: Programming stuff by Mark Feeney
http://www.proofbyexample.com/
TODAY'S RATING
>1,000,000
Date Range
HIGHEST TRAFFIC ON
Friday
LOAD TIME
0.1 seconds
16x16
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
View this contact
Mark Feeney
599 C●●●●●r Dr.
Wat●●●loo , ON, N2K4B4
CANADA
View this contact
15
YEARS
3
MONTHS
24
DAYS
PAIR NETWORKS INC.D/B/A PAIRNIC
WHOIS : whois.pairnic.com
REFERRED : http://www.pairnic.com
PAGES IN
THIS WEBSITE
6
SSL
EXTERNAL LINKS
4
SITE IP
54.231.2.92
LOAD TIME
0.078 sec
SCORE
6.2
Home - Proof by Example | proofbyexample.com Reviews
https://proofbyexample.com
Proof By Example: Programming stuff by Mark Feeney
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'".
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...
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...
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.
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.
TOTAL PAGES IN THIS WEBSITE
6
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.
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).
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.
TOTAL LINKS TO THIS WEBSITE
4
proofbuy : Inspired by LnwShop.com
ว ธ การส งซ อส นค า. อ ตราแลกเปล ยนประจำว น. เล อกส นค าจาก Shop USA ก บเว ปไซต ช อด ง. รองเท าสำหร บผ ชาย. ด ส นค ามาใหม ท งหมด. ค นหาข นส ง. ส นค าท งหมด. ส นค าท กำล งจะมา. ส นค าท หมดแล ว. ส นค าท เล กขายแล ว. อ ปกรณ ม อถ อและคอมพ วเตอร. กระเป าสำหร บผ ชาย. กระเป าสำหร บผ หญ ง. นาฬ กาสำหร บผ ชาย. นาฬ กาสำหร บผ หญ ง. รองเท าสำหร บผ ชาย. รองเท าสำหร บผ หญ ง. เส อผ าเคร องแต งกาย. เส อผ าผ ชาย. เส อผ าผ หญ ง. อ ปกรณ ก ฬา. รองเท าสำหร บผ ชาย. ด ส นค ามาใหม ท งหมด. เข าส ระบบด วย. ไม เก น 5 นาท.
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...
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.
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
Proof By Disproof, a Play by Christopher C. Beier
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.
Proof by Introspection
One woman's experiments in living. Welcome to WordPress. This is your first post. Edit or delete it, then start blogging!
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).
My Site
This is my site description. Powered by InstantPage® from GoDaddy.com. Want one?
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 - 名古屋を中心に活動する定理証明器・関数型言語のコミュニティ
Types and Programming Laungages. Benjamin C. Pierce氏による同名のテキストの和訳です。 OCaml Toplevel on Android.
SOCIAL ENGAGEMENT