seafood has quit [Read error: 110 (Connection timed out)]
Linktim has quit [Read error: 110 (Connection timed out)]
Linktim has joined #ocaml
Linktim_ has quit [Read error: 110 (Connection timed out)]
Linktim has quit ["Quitte"]
hkBst has quit [Read error: 104 (Connection reset by peer)]
<bluestorm>
mfp: you should submit the lovely continuation reification post
Linktim has joined #ocaml
<mfp>
bluestorm: I was going to, after waiting a bit (don't like too many submissions close in time)
<mfp>
but saw the 1st post in the series being shot down :-((
<mfp>
don't know whether to delete & repost later to see if there's better luck or post the continuation
<bluestorm>
navigation in blogs is really painful
bzzbzz has quit ["leaving"]
<bluestorm>
mfp: do you know what is the redditish syntax for code ?
<bluestorm>
> ? two spaces indent ?
<mfp>
4 spaces
<bluestorm>
wow
asmanur_ has quit [Read error: 110 (Connection timed out)]
<bluestorm>
i tried to post a relevant comment
<bluestorm>
maybe it works better when the links are commented
<bluestorm>
(i personally tend to look at the comment first, and if they seem remotely interesting, open the URL)
<bluestorm>
« 328 milliseconds ago »
<mfp>
it works even better when you tag it with :: Haskell :-P
<bluestorm>
it really sucks that the ocaml reddit is not included in the programming reddit
<mfp>
e.g. Himerge: using Haskell in applications for the masses, +14 for a post that is not an ANN, contains no code...
<mfp>
but hey, haskell for the masses => upmod
<mfp>
reddit should be hierarchical indeed
<mfp>
the curr situation is silly, posting to the specific reddits means nobody sees it
Linktim_ has joined #ocaml
kig has quit [Read error: 60 (Operation timed out)]
sporkmonger has quit []
l_a_m has joined #ocaml
asmanur has joined #ocaml
code17 has quit [Remote closed the connection]
code17 has joined #ocaml
Linktim has quit [Read error: 110 (Connection timed out)]
Linktim has joined #ocaml
sporkmonger has joined #ocaml
jaj has joined #ocaml
Linktim_ has quit [Read error: 110 (Connection timed out)]
<bluestorm>
"notfancy" :p
<bluestorm>
mfp: i'd have personal interest in you submitting the Curry-Howard post one of these days, i've added a comment there wich i'm afraid went unnoticed
Linktim has quit [Read error: 110 (Connection timed out)]
bohanlon_ has joined #ocaml
bohanlon has quit [Read error: 110 (Connection timed out)]
asmanur has quit [Read error: 110 (Connection timed out)]
jaj has left #ocaml []
guillem_ has joined #ocaml
marmotine has joined #ocaml
coucou747 has joined #ocaml
jeddhaberstro has joined #ocaml
Linktim has joined #ocaml
code17 has quit [Remote closed the connection]
code17 has joined #ocaml
Linktim_ has joined #ocaml
jeddhaberstro has quit []
Linktim has quit [Read error: 110 (Connection timed out)]
gim has joined #ocaml
Linktim has joined #ocaml
jeddhaberstro has joined #ocaml
Linktim_ has quit [Read error: 110 (Connection timed out)]
pango_ has quit [Remote closed the connection]
<bluestorm>
maybe i should get a blag eventually, seems the gap between "a bit long reddit comment" and "a big short blog post" is not so wide
Linktim has quit [Read error: 110 (Connection timed out)]
bohanlon_ has quit [Read error: 113 (No route to host)]
bluestorm has quit [Remote closed the connection]
pango_ has joined #ocaml
Camarade_Tux has quit [Read error: 110 (Connection timed out)]