Hacker Poesy
  • FAQ
  • Login
  • Public

    • Public
    • Groups
    • Recent tags
    • Popular
    • Directory

The λ-Calculus (lambda) group

Notices

  1. Stephen Sekula (steve)'s status on Wednesday, 12-Oct-2016 15:13:07 EDT Stephen Sekula Stephen Sekula
    Remote profile options...
    Some fun tips for writing python code. https://blog.michaelckennedy.net/2016/10/10/pythonic-code-by-example-in-5-videos-video-series/
    Wednesday, 12-Oct-2016 15:13:07 EDT from chirp.cooleysekula.net permalink
    • Joshua Judson Rosen likes this.
    • Joshua Judson Rosen repeated this.
    • Show all 7 replies
    • Joshua Judson Rosen (rozzin)'s status on Thursday, 13-Oct-2016 23:57:51 EDT Joshua Judson Rosen Joshua Judson Rosen
      • Stephen Sekula
      @steve, I liked the `don't use lists, use dicts' lesson, but the next step after that for many algorithms is actually `don't use dicts, use sets' ☺ https://www.python.org/dev/peps/pep-0218/
      Thursday, 13-Oct-2016 23:57:51 EDT permalink
    • Joshua Judson Rosen (rozzin)'s status on Friday, 14-Oct-2016 12:44:54 EDT Joshua Judson Rosen Joshua Judson Rosen
      • Stephen Sekula
      Hmm. @steve, I think Chirp dropped all of my responses to you last night: http://status.hackerposse.com/conversation/105211
      Friday, 14-Oct-2016 12:44:54 EDT permalink
    • Joshua Judson Rosen (rozzin)'s status on Wednesday, 19-Oct-2016 16:46:02 EDT Joshua Judson Rosen Joshua Judson Rosen
      • The λ-Calculus
      !lambda: the Ultimate #GOTO: Debunking the 'Expensive Procedure Call' Myth, or, Procedure Call Implementations #ConsideredHarmful http://dspace.mit.edu/handle/1721.1/5753
      Wednesday, 19-Oct-2016 16:46:02 EDT permalink
  2. Paul Beaudet (inof8or)'s status on Monday, 15-Feb-2016 20:59:59 EST Paul Beaudet Paul Beaudet
    Remote profile options...
    Here is a calendar that I maintain for Tech and Creative events in !NH -> https://goo.gl/MrVBSe  @rozzin You might be interested in Nashua Robot Builders on Sunday!
    Monday, 15-Feb-2016 20:59:59 EST from nhcrossing.com permalink
    • Joshua Judson Rosen likes this.
    • Joshua Judson Rosen repeated this.
    • Show all 6 replies
    • Bobby Casey (bobbyc)'s status on Thursday, 18-Feb-2016 07:17:14 EST Bobby Casey Bobby Casey
      Remote profile options...
      • Joshua Judson Rosen
      @rozzin did you go to the clojure meetup? I've been curious about the language.
      Thursday, 18-Feb-2016 07:17:14 EST permalink
    • Joshua Judson Rosen (rozzin)'s status on Wednesday, 24-Feb-2016 14:12:13 EST Joshua Judson Rosen Joshua Judson Rosen
      • Pamela
      • Bobby Casey
      @bobbyc, I didn't make it to the Clojure meetup; mainly poor planning on my part. @palmella also came home and parked me in....
      Wednesday, 24-Feb-2016 14:12:13 EST permalink
    • Joshua Judson Rosen (rozzin)'s status on Wednesday, 24-Feb-2016 14:44:01 EST Joshua Judson Rosen Joshua Judson Rosen
      • Bobby Casey
      @bobbyc, I did make it to the #Nashua Robot Builders meeting on Sunday, though--that was fun: http://nashuarobotbuilders.org/
      Wednesday, 24-Feb-2016 14:44:01 EST permalink
      mcscx likes this.
  3. pettter ✅ (pettter)'s status on Wednesday, 13-Aug-2014 07:15:49 EDT pettter ✅ pettter ✅
    Remote profile options...
    So, I'm trying to do some set fixed point recursion stuff in Scala, but I'm not exactly sure how I should set things up properly. Mutable sets? Specifically, I'm trying to find all the possible states a pushdown automaton can go to, from some state/stack pair using only epsilon transitions. Basically, I'm after the transitive closure of the transition relation starting…
    Wednesday, 13-Aug-2014 07:15:49 EDT from social.umeahackerspace.se permalink

    Attachments

    1. pettter-20140813T111611-ngv6j96.html
    • Joshua Judson Rosen (rozzin)'s status on Tuesday, 08-Jul-2014 10:47:06 EDT Joshua Judson Rosen Joshua Judson Rosen
      CRISP "generalised #Lisp's two-part cons nodes to n-part nodes"? http://foldoc.org/CRISP
      Tuesday, 08-Jul-2014 10:47:06 EDT from web permalink
      • Joshua Judson Rosen (rozzin)'s status on Tuesday, 08-Jul-2014 15:36:27 EDT Joshua Judson Rosen Joshua Judson Rosen
        Isn't an `n-part cons cell'... an array?
        Tuesday, 08-Jul-2014 15:36:27 EDT permalink
    • Jeff Ratliff (gomerx)'s status on Thursday, 12-Dec-2013 19:18:49 EST Jeff Ratliff Jeff Ratliff
      Remote profile options...
      • speeddefrost
      Yo dawg.
      Thursday, 12-Dec-2013 19:18:49 EST from dent.gomertronic.com at 39°9'43"N 84°27'24"W permalink
      • Joshua Judson Rosen (rozzin)'s status on Thursday, 12-Dec-2013 23:18:54 EST Joshua Judson Rosen Joshua Judson Rosen
        • Jeff Ratliff
        I think I just found the perfect logo for the !lambda group: the #Y combinator with a caption of "Yo dawg." below it.
        Thursday, 12-Dec-2013 23:18:54 EST permalink
    • Jeff Ratliff (gomerx)'s status on Wednesday, 13-Nov-2013 22:44:05 EST Jeff Ratliff Jeff Ratliff
      Remote profile options...
      • speeddefrost
      I try to write Perl code that will make sense in a year when I look at it again.
      Wednesday, 13-Nov-2013 22:44:05 EST from dent.gomertronic.com at 39°9'43"N 84°27'24"W permalink
      • Show all 6 replies
      • Joshua Judson Rosen (rozzin)'s status on Friday, 15-Nov-2013 13:37:13 EST Joshua Judson Rosen Joshua Judson Rosen
        • Jeff Ratliff
        #Perl gets at least a partial vote for me just for having !lambda.
        Friday, 15-Nov-2013 13:37:13 EST permalink
      • zoowar (zoowar)'s status on Friday, 15-Nov-2013 17:25:01 EST zoowar zoowar
        Remote profile options...
        • Joshua Judson Rosen
        So does java-8.
        Friday, 15-Nov-2013 17:25:01 EST permalink
      • Joshua Judson Rosen (rozzin)'s status on Friday, 15-Nov-2013 18:29:49 EST Joshua Judson Rosen Joshua Judson Rosen
        • zoowar
        #Java getting !lambda #next-year might be interesting if even C++ hadn't got lambda #last-year: http://status.hackerposse.com/url/4213
        Friday, 15-Nov-2013 18:29:49 EST permalink
    • Joshua Judson Rosen (rozzin)'s status on Tuesday, 04-Jun-2013 19:26:30 EDT Joshua Judson Rosen Joshua Judson Rosen
      I *still* need to find a #logo for the !lambda group....
      Tuesday, 04-Jun-2013 19:26:30 EDT from web permalink
      • Jeff Ratliff (gomerx)'s status on Tuesday, 04-Jun-2013 19:31:33 EDT Jeff Ratliff Jeff Ratliff
        Remote profile options...
        • Joshua Judson Rosen
        http://openclipart.org/detail/13230/lambda-by-anonymous ??
        Tuesday, 04-Jun-2013 19:31:33 EDT permalink
    • Joshua Judson Rosen joined the group The λ-Calculus.
      Sunday, 02-Jun-2013 08:32:15 EDT from activity permalink
      • rozzin's identicat ghost (rozzin)'s status on Sunday, 02-Jun-2013 08:29:10 EDT rozzin's identicat ghost rozzin's identicat ghost
        Remote profile options...
        http://status.hackerposse.com/group/lambda, if anyone's interested.
        Sunday, 02-Jun-2013 08:29:10 EDT from identi.ca permalink
        • ⒿⓅⓄⓅⒺ (jpope)'s status on Saturday, 01-Jun-2013 20:36:19 EDT ⒿⓅⓄⓅⒺ ⒿⓅⓄⓅⒺ
          Remote profile options...
          • Vinilox
          @vinilox I have a feeling that quite a few people are going to have trouble subbing to the new !vivalafederation group if they were subbed to the old one. It’s possible that you will need a completely different name for the group (and not !feds either due to the really old parlementum group…). New group, new name maybe. ;)
          Saturday, 01-Jun-2013 20:36:19 EDT from sn.jpope.org at 38°34'36"N 92°10'24"W permalink
          • Show all 5 replies
          • Joshua Judson Rosen (rozzin)'s status on Saturday, 01-Jun-2013 21:12:50 EDT Joshua Judson Rosen Joshua Judson Rosen
            • ⒿⓅⓄⓅⒺ
            • Vinilox
            @vinilox@status.vinilox.eu, since you're hosting !vivalefederation now: do you have the patch for this bug applied? http://status.net/open-source/issues/3540
            Saturday, 01-Jun-2013 21:12:50 EDT permalink
          • jpope (jpope)'s status on Saturday, 01-Jun-2013 21:25:13 EDT jpope jpope
            Remote profile options...
            • Joshua Judson Rosen
            • Vinilox
            @rozzin I pointed that patch to @vinilox earlier actually. He’s got it in place. ;)
            Saturday, 01-Jun-2013 21:25:13 EDT permalink
            Joshua Judson Rosen likes this.
          • Vinilox (vinilox)'s status on Sunday, 02-Jun-2013 05:32:13 EDT Vinilox Vinilox
            Remote profile options...
            • Joshua Judson Rosen
            • ⒿⓅⓄⓅⒺ
            @rozzin yep I applied it, thanks to @jpope ;)
            Sunday, 02-Jun-2013 05:32:13 EDT permalink
        • Joshua Judson Rosen (rozzin)'s status on Thursday, 27-Sep-2012 23:15:52 EDT Joshua Judson Rosen Joshua Judson Rosen
          #Perl contains the !lambda calculus: http://perl.plover.com/yak/lambda/
          Thursday, 27-Sep-2012 23:15:52 EDT from web permalink
          • Joshua Judson Rosen (rozzin)'s status on Saturday, 22-Sep-2012 22:01:41 EDT Joshua Judson Rosen Joshua Judson Rosen
            !Lambda #FAIL? http://apps.ycombinator.com/item?id=1681258
            Saturday, 22-Sep-2012 22:01:41 EDT from web permalink
            • Joshua Judson Rosen joined the group The λ-Calculus.
              Saturday, 22-Sep-2012 21:55:54 EDT from activity permalink
              • rozzin's identicat ghost (rozzin)'s status on Sunday, 13-May-2012 18:46:27 EDT rozzin's identicat ghost rozzin's identicat ghost
                Remote profile options...
                • Evan Prodromou
                Oh carp—I just accidentally left !lambda and now *it's* left with no admins. @evan, can you fix?
                Sunday, 13-May-2012 18:46:27 EDT from identi.ca at 43°39'27"N 71°30'1"W permalink
                • rozzin's identicat ghost (rozzin)'s status on Monday, 14-May-2012 15:22:52 EDT rozzin's identicat ghost rozzin's identicat ghost
                  Remote profile options...
                  • Identi.ca Support
                  @support?
                  Monday, 14-May-2012 15:22:52 EDT permalink
              • Joshua Judson Rosen joined the group The λ-Calculus.
                Sunday, 13-May-2012 18:43:17 EDT from activity permalink

                Group actions

                • Subscribe
                The λ-Calculus

                The λ-Calculus

                http://lambdadance.spacebar.org/

                The Lambda-Calculus and functional programming. Don't be afraid to ask `(λf.((λx.xx) (λr.f(rr))))'.

                Members 8

                • Diogo Cordeiro
                • Bob Jonkman
                • M-x nemui
                • Hermes Lispegistus
                • vmaatta
                • ericj
                • pettter ✅
                • Joshua Judson Rosen

                Admins

                Joshua Judson Rosen

                Tags

                • clojure
                • consideredharmful
                • fscons
                • goto
                • guido
                • lastyear
                • lisp
                • nextyear
                • python
                • y

                Feeds

                • Activity Streams
                • RSS 1.0
                • RSS 2.0
                • Atom
                • FOAF
                • Help
                • About
                • FAQ
                • Privacy
                • Source
                • Version
                • Contact

                Hacker Poesy is a GNU social hub. It runs version 1.1.3-beta3, available under the GNU Affero General Public License.

                Creative Commons Attribution 3.0 All Hacker Poesy content and data are available under the Creative Commons Attribution 3.0 license.

                Switch to mobile site layout.