Profile

Cover photo
Edward Kmett
Lives in Medford, MA
1,053 followers|75,174 views
AboutPostsPhotosYouTube

Stream

Edward Kmett

Shared publicly  - 
 
"If two statisticians were to lose each other in an infinite forest, the first thing they would do is get drunk. That way, they would walk more or less randomly, which would give them the best chance of finding each other. However, the statisticians should stay sober if they want to pick mushrooms. Stumbling around drunk and without purpose would reduce the area of exploration, and make it more likely that the seekers would return to the same spot, where the mushrooms are already gone."
14
2
Edward Kmett's profile photoJoel Bacon's profile photoAaron Culich's profile photoJonathan Paugh's profile photo
13 comments
 
preferably one that indicates the next direction they are about to travel and then when not actively following the trail of the other one, they could travel at a slower rate and/or take breaks
Add a comment...

Edward Kmett

Shared publicly  - 
4
1
Anthony Cowley's profile photoAaron Culich's profile photo
 
This is a nice treatment! I would have thought this was reversed, though: "empty meet is the top element and the empty join is the bottom element."
Add a comment...

Edward Kmett

Shared publicly  - 
 
A* Interview #4: Gershom Bazerman, organizer of the Haskell-NYC Meetup and maintainer of the JMacro Haskell Package. The backstory of the A* Interviews. A link to the blog post Gershom mentions on applicatives. A link to the Haskell NYC Meetup Group. They really are friendly!
2
3
Lone Ffog's profile photoSuhail Shergill's profile photo
Add a comment...

Edward Kmett

Shared publicly  - 
 
Betteridge’s law says Any headline which ends in a question mark can be answered by the word no. If Betteridge was right, then the answer to my headline question should be no, in which case Betteridge was wrong. But Betteridge was wrong, then the answer to the question in my headline is yes. This isn’t quite like Russell’s paradox. He asked whether the set of sets which contain themselves contains itself. If it does, it doesn’t. If it doesn’t, it...
2
Dan Burton's profile photoGershom B's profile photo
2 comments
Add a comment...
Have him in circles
1,053 people
Federico Squartini's profile photo
Michael O'Keefe's profile photo
Gergő Érdi's profile photo
Tom Moertel's profile photo
Benjamin Jones's profile photo
Reto Hablützel's profile photo
Trevor McDonell's profile photo
Maciej Piechotka's profile photo
Компания Экодомпром's profile photo
 
My "Review" of Haskell covering why I am still a programmer today.

Note: You do not need to register with Quora to read. You can click the "Close & Read" button outside of the box.

Why Quora?

Mostly to reach out to people who are outside of our little #haskell  channel / reddit bubble.
37
5
Aaron Culich's profile photoErik de Castro Lopo's profile photoAlex Lang's profile photoRaymond Tay's profile photo
3 comments
 
I'm pretty much in that "crisis of faith" point now :p maybe I should take a more serious run at learning Haskell
Add a comment...

Edward Kmett

Shared publicly  - 
 
“Much as beavers, who as a species hate the sound of running water, plaster a creek with mud and sticks until alas that cursed tinkle stops, so do category theorists derive elaborate and obscure definitions in an attempt to capture a concept that to most of us seemed perfectly clear before they got to it. But at least sometimes this works admirably …”
5
2
Dan Piponi's profile photoArnaud Spiwack's profile photoAlex Lang's profile photo
 
That looks like a great book on my favourite part of mathematics. (Not that I understand much of it.) Ordererd it.
Add a comment...

Edward Kmett

Shared publicly  - 
 
 
+Simon Marlow shows new GHC developers how the scheduler is implemented.
4 comments on original post
13
3
Robert Harper's profile photoJohann Aman's profile photoIlya Yanok's profile photohugo daniel gomes's profile photo
 
how else would one do it?
Add a comment...

Edward Kmett

Shared publicly  - 
 
Say we have a few types for things that have a “name”, which is a String that may or may not be modifiable. We want to have a type class for these things that exposes a lens-like method for accessing the name in a type-safe manner, so that it may be a Lens or just a Getter depending on the instance. First let’s write some example types and some lenses for them: {-# LANGUAGE MultiParamTypeClasses #-} {-# LANGUAGE TypeFamilies, ConstraintKinds #-}...
6
Add a comment...
People
Have him in circles
1,053 people
Federico Squartini's profile photo
Michael O'Keefe's profile photo
Gergő Érdi's profile photo
Tom Moertel's profile photo
Benjamin Jones's profile photo
Reto Hablützel's profile photo
Trevor McDonell's profile photo
Maciej Piechotka's profile photo
Компания Экодомпром's profile photo
Work
Occupation
Software Engineering Lead
Basic Information
Gender
Male
Relationship
Married
Other names
Harmless
Story
Tagline
Haskell programmer, mathematician, lapsed graphics guru and demo scener, defense contractor and financial toolsmith.
Introduction
Programmer, Mathematician, Quant Toolsmith, Defense Contractor
Bragging rights
Completed my undergraduate education in 1 year, starting from 24 out of 120 credits. Completed an M.A. in Mathematics in one semester. Maintained a 4.0/4.0 GPA for both and graduated with university and departmental honors.
Places
Map of the places this user has livedMap of the places this user has livedMap of the places this user has lived
Currently
Medford, MA
Previously
Somerville, MA - Redford, MI - Grand Blanc, MI - Ypsilanti, MI - Dearborn, MI - Cambridge, MA
Links
Other profiles
Contributor to