Sign in or Join FriendFeed
FriendFeed is the easiest way to share online. Learn more »
RT @reiddraper: The Denotational Design workshop at @LambdaJam by @conal was the best 'how to design programs' talk I've seen in several years
RT @FridayTea: Hey gang, tell your friends to take advantage of the 25% off our #Batman infusers and #Gryffindor house blend ONLY UNTIL MIDNIGHT! Please RT
Power cord recovered.
Power cord and podium both gone by the time I reached the solarium. Maybe someone from our #lambdajam group picked them up?
My answer to When is it acceptable to create an infinite loop? http://www.quora.com/Compute...
Or other info extractions (e.g., (>0)). But must the language (here arithmetic) describe these uses/actions/extractions?
RT @dobesv: 40 Most Bloodcurdling Chinese Mistranslations Ever! Warning: You Will Laugh To Death! - Seenox http://www.seenox.com/2014...
RT @planet_haskell: Robert Harper: Parallelism and Concurrency, Revisited: To my delight, I still get compliments on and criticism... http://existentialtype.wordpress.com/2014...
RT @lmorchard: "Alpha male" sounds like everyone would be better waiting until the beta and production releases come around.
RT @gnaternies: I love Kentucky Route Zero so much it makes me tear up
RT @doridoidea: Finally got around to playing the third act of Kentucky Route Zero, which continues to be a perfect game aimed directly at my heart.
As I understand & use the terms, a "strict language" adds strictness to abstraction (lambda), while a "non-strict language" doesn't.
RT @franklinchen: @headinthebox @conal @scheidegger I'm just dreaming, but mathematics "textbooks" today should be executable and interactive for exploration.
Same reason we often generalize beyond initial goal in inductive proofs. (Dick Kieburtz's observation on (continuous-time) FRP.)
Lazy functional programming: Move sampling (data pruning) from middle to end, to preserve sound & simple composition.
RT @headinthebox: @franklinchen @conal @scheidegger Amazing how sloppy most mathematics texts are. If they only would make everything *type check* as a start.
"Continuous" space/time == resolution-independence. Resolution assumption/restriction thwarts reuse, like other samplings & finitizations.
RT @scheidegger: @headinthebox @conal There's always Axler http://www.amazon.com/Linear-... I think the problem of representation vs behavior is recognized in math.
RT @headinthebox: We are teaching linear algebra all wrong. An mxn matrix is an *encoding* of a linear transformation from vectors of length n to length m.
RT @abigailnicole: me too!!!!! RT @storycade An open love letter to communal game experiences and @cardboardcompy Kentucky Route Zero: http://storycade.com/open-lo...
. @ertesx continuous time *plus* precise denotation. #FRP
RT @ertesx: Reminder: Reactive programming and functional reactive programming solve the same problem in different ways. FRP implies continuous time!
RT @jonsterling: @conal Before Sunday, I must say I had no idea that “Reactive” was the smoke, not the fire, of FRP…
Wondering how people came to think of Rx, RAC, & ilk as #FRP, and how these ideas/beliefs spread.
RT @lambdatoast: @JobVranish @puffnfresh @jonsterling "Reactive Programming" is fuzzy "pattern"-y stuff. FRP and children have always had formal semantics.
Grateful for discussion @jonsterling started. I've been bummed about the mounting confusion due to modern use of "FRP".
Since there's some renewed interest in "What is #FRP", here's a good starting point: http://stackoverflow.com/questio... . #DCTP
RT @jonsterling: @puffnfresh Though Conal notes it would be been better to call it "Denotative Continuous-Time Based Programming" or something like that...
Other ways to read this feed:Feed readerFacebook