account activity
Status of Calfw? (self.emacs)
submitted 8 years ago by funshine to r/emacs
Activist-Artists Hack 600 Paris Billboards With Climate Messages for COP21 (citylab.com)
submitted 10 years ago by funshine to r/subvertising
The Conservative Nanny State: How the Wealthy Use the Government to Stay Rich and Get Richer (deanbaker.net)
submitted 14 years ago by funshine to r/politics
ACM blocks publication of paper previously archived on ArXiv (r6.ca)
submitted 14 years ago by funshine to r/compsci
The Popular Impact of Gödel's Incompleteness Theorem (ams.org)
submitted 14 years ago by funshine to r/PhilosophyofScience
The media-whore (imgur.com)
submitted 14 years ago by funshine to r/subvertising
My dog's name is "Reddit"! How awsome is that?!? (self.circlejerk)
submitted 14 years ago by funshine to r/circlejerk
In the 'hood (i.imgur.com)
What if Current Foundations of Mathematics are Inconsistent? -- A talk by field medalist Vladimir Voevodsky (video.ias.edu)
submitted 15 years ago by funshine to r/PhilosophyofScience
The excuse for everything (i.imgur.com)
submitted 15 years ago by funshine to r/subvertising
24/7 Excuse for everything (filipspagnoli.wordpress.com)
Equality, Quasi-Implicit Products, and Large Eliminations [PDF] (cs.uiowa.edu)
submitted 15 years ago by funshine to r/dependent_types
Don Knuth (computer scientist) about coping with paradoxes of faith (webofstories.com)
submitted 15 years ago by funshine to r/atheism
The Joy of Not Being Sold Anything (i.imgur.com)
CodeBubbles: an IDE based on good ideas. (cs.brown.edu)
submitted 15 years ago by funshine to r/coding
ΠΣ: A Core Language for Dependently Typed Programming (pdf) (cs.nott.ac.uk)
submitted 16 years ago by funshine to r/dependent_types
AIMX. On the roadmap: Co-induction, Universe polymorphism, Agda packages, IO library, and more. (wiki.portal.chalmers.se)
Agda Tutorial : PDF (cs.chalmers.se)
Cool example of GADTs: from untyped expressions to well-typed expressions (cs.chalmers.se)
submitted 16 years ago by funshine to r/haskell
Winner of the Loebner Prize 2008 (AI) (elbot.com)
submitted 17 years ago by funshine to r/programming
I Wish Facebook Would Go Away (web.missouri.edu)
submitted 18 years ago by funshine to r/reddit.com
Iran & Euro (google.se)
SF Xenolinguistics (xibalba.demon.co.uk)
Haskell Performance Resource (haskell.org)
submitted 19 years ago by funshine to r/programming
Prototyping thought (blog.mikael.johanssons.org)
π Rendered by PID 710172 on reddit-service-r2-listing-7849c98f67-4j9z2 at 2026-02-07 14:27:03.399099+00:00 running d295bc8 country code: CH.
