addressalign-toparrow-leftarrow-rightbackbellblockcalendarcameraccwcheckchevron-downchevron-leftchevron-rightchevron-small-downchevron-small-leftchevron-small-rightchevron-small-upchevron-upcircle-with-checkcircle-with-crosscircle-with-pluscrossdots-three-verticaleditemptyheartexporteye-with-lineeyefacebookfolderfullheartglobegmailgooglegroupshelp-with-circleimageimagesinstagramlinklocation-pinm-swarmSearchmailmessagesminusmoremuplabelShape 3 + Rectangle 1ShapeoutlookpersonJoin Group on CardStartprice-ribbonShapeShapeShapeShapeImported LayersImported LayersImported Layersshieldstartickettrashtriangle-downtriangle-uptwitteruserwarningyahoo

An unusual compiler for (pure, lexical) Lisp, then lightning talks, at Hacker Do

EDIT: Appending abstract and bio.

Hello, Hacker Ladies & Gentlemen!

Please join us for another round of talks on Lisp and Scheme topics.

We'll start with a long-form talk by Ścisław Dercz about his work on an unusual compiler for a pure, lexical Lisp.

You're welcome to speak, too, if you'd like.  The rest of the talks will be five-minute "lightning" talks, with five-minute Q&A after each.  The group is a friendly audience, and we'd love to hear about your work or hobby project, so please give a talk.  The more, the merrier!  If you'd like to give a talk, either let me know in advance through, or just tell me when you arrive.

After the talks, we'll mingle and have snacks.

Park in one of the parking lots on either side of the Hacker Dojo building.  (The lots are open to guests on weekends.)

Ścisław Dercz has sent an abstract of his talk (our long-form talk for this Saturday) as well as a bio.  I'm forwarding both here:


I plan to present to you my desperate attempts at automated program generation, concentrated around compiling pure, lexical lisp programs into semantically equivalent, lightweight basic-like programs.

My tool, a variant of online partial evaluator, is far from being complete, however it's capable of producing some non-trivial results.

It's quite likely these efforts will turn out futile, but the topic is interesting in it's own right, leading to some afterthoughts on what computer programs are.

I'd love to receive some comments and advice from you!
If you'd like to read something on the topic of driving-based program transformation try these ones:

-- short and comprehensive introduction to online (and offline) partial evaluation:

-- short but intensive introduction to supercompilation
(In general, is a great library of free papers.)

-- There's also a famous free book on (offline) partial evaluation: -- (tl;dr).

on the presenter:

I work at fidolabs, a natural language understanding startup, I like small programming languages, and hacking in scheme.  My linkedin page is in Polish but it basically states the above.

Join or login to comment.

  • David E.

    Thanks for the abstract ! Can your compiler do software pipelining for loops with dynamic bounds?

    1 · January 10, 2016

    • David E.

      If termination isn't important, you can also see Andrew Berlin's 1989 MS thesis on unrolling numerical programs:

      1 · January 16, 2016

    • drcz

      thanks, I definitely will take a look!

      January 18

  • Arthur A. G.

    Thank you to everyone who attended this Saturday's meeting, and especially to our speakers.

    Both Ścisław's and Thomas's talks are now up on YouTube:

    An unusual compiler for (pure, lexical) Lisp

    An Introduction to the 3L Project

    (Alas, once again, I forgot to press record before giving my own talk. Doh.)

    The complete BALisp playlist is here:

    I hope to see you all next time — probably in early April.

    January 18

  • Brian H.

    Sorry, can't make it after all; too much urgent work.

    January 16, 2016

  • Arthur A. G.

    Hello, everyone. I've updated the description of the event to include the abstract and bio from Ścisław.

    I'm looking forward to the talk and to seeing you all this Saturday!

    January 10, 2016

  • David E.

    Sounds like fun! What's unusual about Dercz' compiler?

    January 2, 2016

    • drcz

      hi! it's unusual because it's not a compiler and not for lisp (yet should compile lisp) -- a lot of fun!

      1 · January 4, 2016

    • David E.

      An abstract would be helpful, thanks!

      January 4, 2016

  • Alexandre R.

    Can you share references about the presenter and his work?

    January 3, 2016

    • Arthur A. G.

      Yes, I'll post a more detailed abstract as soon as I get it.

      January 3, 2016

    • drcz

      just a random person from the street :)

      January 4, 2016

  • A former member
    A former member

    I'm looking for a lisp online environment. I'll check out the UMass one. I'd appreciate any advice in regard to this. Sorry I can't join you in San Fran - it's a lovely city and I've had some of the best meals there. Happy New Year

    1 · January 3, 2016

Sign up

Meetup members, Log in

By clicking "Sign up" or "Sign up using Facebook", you confirm that you accept our Terms of Service & Privacy Policy