Sign in or Join FriendFeed
FriendFeed is the easiest way to share online. Learn more »
Today might be a good day to brush up on the Aperture Laboratories Romance Safety Compliance Guide: http://t.co/PRu0UZAy
RT @sarahaswell: Every time I use tomato paste, I put the remainder of the can into the fridge. To throw away later.
BREAKING: What the second half of grad school will be like. http://lindseykuper.livejournal.com/388411...
Alex is singing U2 at me. Please send help.
BREAKING: What the second half of grad school will be like - http://lindseykuper.livejournal.com/388411...
RT @iusoic: Logic Seminar: Generating Quines Using a Relational Interpreter, by Will Byrd, Wed, 2/15, 4pm, Chemistry 001. http://www.math.indiana.edu/seminar...
RT @acfoltzer: Thrilled to be joining the team at @galoisinc; Bethany and I are moving to Portland this summer. http://blog.acfoltzer.net/2012...
Empirically, if I want the cat to sit in a particular place, all I have to do is put some important document that mustn't get hairy there.
I think I've found five bugs in the published, peer-reviewed proof I'm trying to read tonight. Mostly just typos, but. #runyourresearch
RT @TacticalGrace: Welcome, @PhilipWadler, to the water cooler of the Internet!
RT @sstrickl: @lindsey Because each miniKanren function ends in a hug!
RT @graydon_moz: @littlecalculist @tarasglek @pcwalton Ahem: Rust on a Recumbent.
RT @iucsclub: The @ICSA_Catalyst schedule is up: http://www.icsacatalyst.com/schedul.... Check out the Makers, Hackers, and Open Culture track, sponsored by @iucsclub!
RT @eassumption: One year ago today was the beginning of the end of my academic career: https://t.co/E4HxqMFu
RT @popularlogic: We're back! Brought to you by @chrisamaphone, @simrob, @carloangiuli, @admitscut, and @lindsey. Γ ⊢ ♥
To the surprise of no one, @alexrudnick wants me to train a language model on all the tweets that are mistakenly directed at @lindsey.
RT @pcwalton: "Rust: It's got lambdas." http://origin.reddit.com/r...
I guess we should probably take our Christmas tree down at some point. #butilikeit
RT @thatmattbone: I bet pi day in the year 1592 was off the fucking hook.
I'll be visiting @GrinnellCollege April 4-7 as part of the Visiting Alumni Scholars program (http://www.grinnell.edu/offices...). Excitement!
RT @chrisamaphone: @gwillen i say, which Owl of the New Lands do you suppose will prove More Superb, that of York or England?
RT @gwillen: @chrisamaphone What a coincidence! I too will be watching this Superb Owl. Apparently it is quite popular!
RT @chrisamaphone: i am looking forward to the televising of this Superb Owl.
RT @KennKnowles: Some days, the measure of a good abstraction is how well it localizes terrible hacks
So has anyone used Matthews-Findler-style semantics to talk about interoperability between deterministic and nondeterministic languages?
Other ways to read this feed:Feed readerFacebook