ryanak.ca
Ryan Kavanagh's /dev/brainRyan Kavanagh's musings on computer science, mathematics, and languages—spoken or otherwise.
http://www.ryanak.ca/
Ryan Kavanagh's musings on computer science, mathematics, and languages—spoken or otherwise.
http://www.ryanak.ca/
TODAY'S RATING
>1,000,000
Date Range
HIGHEST TRAFFIC ON
Monday
LOAD TIME
1.2 seconds
PAGES IN
THIS WEBSITE
0
SSL
EXTERNAL LINKS
6
SITE IP
81.4.111.199
LOAD TIME
1.188 sec
SCORE
6.2
Ryan Kavanagh's /dev/brain | ryanak.ca Reviews
https://ryanak.ca
Ryan Kavanagh's musings on computer science, mathematics, and languages—spoken or otherwise.
Ryan Kavanagh's /dev/brain
I’m a PhD candidate in computer science at Carnegie Mellon University. And a Debian Developer. My professional ambition is to do beautiful mathematics that are relevant to computer science. I’m generally interested in the semantics of programming languages, the Curry-Howard-Lambek isomorphism, parametric polymorphism, and the foundations of mathematics. While an undergraduate, I had the opportunity to do research at several wonderful places: McGill University. Queen’s University’s School of Computing.
Adam Chlipala - Past Research Students
http://adam.chlipala.net/past.html
Adam Chlipala - Past Research Students. Now a developer at Originate. Now a software engineer at Coverity. Now an engineer at Cryptosense. Joint papers: verifying mini-Bluespec programs in Coq. Reflective tactics for separation logic. Co-advised with Greg Morrisett. Now a postdoc at UCSD. Thesis: Extensible Proof Engineering in Intensional Type Theory. Joint papers: automated proofs in Ynot. Reflective tactics for separation logic. Now a software engineer at Google. Now a software engineer at Dropbox.
TOTAL LINKS TO THIS WEBSITE
6
Roaring Fork Valley Real Estate Sales in Aspen, Snowmass, Basalt, Carbondale, Glenwood Springs and Beyond.
Residential Lots and Land. Coldwell Banker Mason Morse. CARBONDALE, CO 81623. Welcome to your source for Real Estate, Land and Homes for sale in. Aspen, Snowmass, Basalt, El Jebel, Carbondale, Glenwood Springs, New Castle and beyond. You have a home to sell. And understand the importance of professional marketing in the modern age, if you are a Buyer. Looking for the next investment or Foreclosure Property. Or if you are a young family looking for your first home. Video and proper presentation of your pr...
per chance some poetry before a fortnight
Per chance some poetry before a fortnight. Friday, October 3, 2014. You are more of a brass eagle than I could ever be. Long in the wing, and with an unquestionably superior glisten. I covet your place in the courtyard. But what kind of stationary eagle considers other eagles? George broke so many windows a couple years back. The sound was what fueled him. It’s hard for me to say anything about it now, with the watchful eyes and the hearingful ears and the covetous hearts all sloping in. The captain fash...
Ryan A Johnson Ministries | Helping People Live Life to the Fullest
Ryan A Johnson Ministries. Helping People Live Life to the Fullest.
Ryan A. Jones & Associates
PO Box 34 Vero Beach, FL 32961. Office: 772.569.3900 Fax: 772.569.3903 Cell: 772.766.4757.
Notes to My Children | A gift to unwrap on those days you need wisdom, joy, a sense of yourself, insight into our story.
Notes to My Children. June 1, 2012 · 12:45 am. The Best Stuff (or, The All-Important Difference Between Pleasure and Joy). The best stuff in life brings out the best stuff in you. That’s how you know it’s the best. There’s stuff you love to do and then there’s the stuff that make your insides vibrate like a major seventh guitar chord. This is the difference between pleasure and joy. April 5, 2012 · 12:48 am. What to Do When You Fall in Love. Here is a letter from Mr. Steinbeck to his son who had fall...
Ryan Kavanagh's /dev/brain
I’m a PhD candidate in computer science at Carnegie Mellon University. And a Debian Developer. My professional ambition is to do beautiful mathematics that are relevant to computer science. I’m generally interested in the semantics of programming languages, the Curry-Howard-Lambek isomorphism, parametric polymorphism, and the foundations of mathematics. While an undergraduate, I had the opportunity to do research at several wonderful places: McGill University. Queen’s University’s School of Computing.
RyanAK (Alex) - DeviantArt
Window.devicePixelRatio*screen.width 'x' window.devicePixelRatio*screen.height) :(screen.width 'x' screen.height) " class="mi". Window.devicePixelRatio*screen.width 'x' window.devicePixelRatio*screen.height) :(screen.width 'x' screen.height) ". Join DeviantArt for FREE. Forgot Password or Username? Deviant for 5 Years. This deviant's full pageview. July 30, 1987. Last Visit: 6 weeks ago. This is the place where you can personalize your profile! By moving, adding and personalizing widgets. Why," you ask?
Jennifer's story | arteriovenous malformation, hydrocephalus, cerebral palsy, blind, epilepsy and a great big heart!
Arteriovenous malformation, hydrocephalus, cerebral palsy, blind, epilepsy and a great big heart! This blog follows the life of Jennifer and her family, written soley by her father. Due to a rare vein malformation (arteriovenous malformation) that bled late in her fetal development she endured massive brain injuries. Due to the massive brain injuries, Jennifer has developed spastic deplegia cerebral palsy, epilepsy and she is cortically blind amongst other things. You can download the initial story here.
Ryan Akerley Art
RyanAkers.net
ryanakilleen | The year of the blog.
April 4, 2012 · 1:06 pm. Been a long long while – It’s almost Zombie Jesus Day. It’s been a really long time since I’ve posted anything to my blog. I usually have some stuff to write about but it’s mainly political and I don’t want to post anything political. So I always feel like I have nothing else to say, but that’s not true because I have notebooks full of useless, Jack Handy-ish ruminations on life. Like this old chestnut…. But then we do. October 21, 2011 · 11:47 pm. July 14, 2011 · 9:50 pm. I high...
