🦞🌯 Lobster Roll

Thread

Barliman synthesises programs from tests (github.com)
L 9 pts 0 comments by geocar Jun 17, 2016 compscilisptesting thread

Stories related to "Barliman synthesises programs from tests" across the full archive.

Barliman synthesises programs from tests (github.com)
L 9 pts 0 comments by geocar Jun 17, 2016 compscilisptesting Programming (General)Programming Languages / CS Theory thread
Engineering a list merge sort (pvk.ca)
L 2 pts 0 comments by inactive-user Aug 16, 2012 compscilisp Programming Languages / CS Theory thread
Fully Inlined Merge Sort Macro (blog.racket-lang.org)
L 3 pts 0 comments by pushcx Aug 27, 2012 compscilisp Programming Languages / CS Theory thread
Tabasco Sort: a super-optimal merge sort (pvk.ca)
L 6 pts 0 comments by inactive-user Aug 29, 2012 compscilisp Programming Languages / CS Theory thread
Equational Reasoning (drcabana.org)
L 3 pts 0 comments by inactive-user Sep 2, 2012 compscilisp Programming Languages / CS Theory thread
Erik Meijer and Rich Hickey talk about Clojure and Datomic (channel9.msdn.com)
L 9 pts 2 comments by steveklabnik Sep 4, 2012 compscidatabaseslisprelease Programming Languages / CS TheoryData / Databases / Infrastructure thread
A Practical Optional Type System for Clojure (s3.amazonaws.com)
L 2 pts 1 comments by tobym Oct 25, 2012 compscilisppdf Programming Languages / CS Theory thread
The Mathematical Hacker (evanmiller.org)
L 5 pts 4 comments by inactive-user Dec 13, 2012 compscilispmath Programming Languages / CS TheoryScience / Math / Physics thread
Getting Started with OpenDylan 2012.1 (dylanfoundry.org)
L 3 pts 3 comments by BruceM Dec 20, 2012 compscilisprelease Programming Languages / CS Theory thread
Dylan Programming Guide (1996) now available in PDF, ePub, updated HTML (opendylan.org)
L 2 pts 0 comments by BruceM Jan 21, 2013 bookcompscilisp Web DevelopmentProgramming (General)Programming Languages / CS TheoryCulture / Philosophy / History / Reading thread
Lists out of lambdas and boxes out of functions (bendyworks.com)
L 2 pts 0 comments by twopoint718 Apr 12, 2013 compscijavascriptlisp Web DevelopmentProgramming Languages / CS Theory thread
Bloom: Big Systems from Small Programs (youtube.com)
L 2 pts 0 comments by SeanTAllen Jul 8, 2013 compsciprogrammingscalingvideo Programming (General)Programming Languages / CS TheoryProductivity / Career / Business thread
Quine Relay (github.com)
L 3 pts 1 comments by pushcx Jul 15, 2013 assemblyccompscigojavalispluaphppythonscala Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
My readable lisp implementation with infix, first-class macros, unit tests (akkartik.name)
L 1 pts 0 comments by akkartik Nov 25, 2013 lispprogrammingshow Programming (General)Programming Languages / CS Theory thread
Open Dylan 2013.2 released — Open Dylan (opendylan.org)
L 5 pts 0 comments by BruceM Dec 23, 2013 compscilispprogramming Programming (General)Programming Languages / CS Theory thread
bytecode interpreters for tiny computers (lists.canonical.org)
L 11 pts 2 comments by silentbicycle Jan 1, 2014 compscilispprogrammingvirtualization Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
From Greek to Clojure! (youtube.com)
L 7 pts 0 comments by lambda Jan 2, 2014 compscilispvideo Programming Languages / CS Theory thread
Tabasco Sort: a super-optimal merge sort (pvk.ca)
L 6 pts 0 comments by old_sound Jan 10, 2014 compscilisp Programming Languages / CS Theory thread
Hindley-Milner in Clojure (lispcast.com)
L 11 pts 0 comments by cbilson Jan 13, 2014 compscilisp Programming Languages / CS Theory thread
Data Structures in Clojure: Singly-Linked Lists (macromancy.com)
L 4 pts 0 comments by lambda Jan 17, 2014 compscijavalisp Programming (General)Programming Languages / CS Theory thread
Determinism Is Not Enough: Making Parallel Programs Reliable with Stable Multithreading (lambda-the-ultimate.org)
L 1 pts 0 comments by apy Feb 28, 2014 compsciprogramming Programming (General)Programming Languages / CS Theory thread
Recent Changes in the Memory Pool System (mailman.ravenbrook.com)
L 14 pts 1 comments by BruceM Mar 12, 2014 compscilispprogramming Programming (General)Programming Languages / CS Theory thread
The [Memory Pool System](http://www.ravenbrook.com/project/mps) or MPS is a GC that was originally written back in the 1990s at Harlequin where it was used in their DylanWorks environment. When Harlequin went under, some members of the team bought up the rights to MPS and now manage its development ...
The Axis of Eval: Why Lisp is a Big Hack (And Haskell is Doomed to Succeed) (axisofeval.blogspot.ca)
L 6 pts 0 comments by rz Mar 30, 2014 compscihaskelllispprogramming Programming (General)Programming Languages / CS Theory thread
Refactoring with LZ77: compression is compilation (pvk.ca)
L 7 pts 1 comments by antifuchs Mar 31, 2014 assemblycompscilisp Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
Chicken internals: the garbage collector (more-magic.net)
L 23 pts 0 comments by mvg Mar 31, 2014 compscilisp Systems / Low-Level / OSProgramming Languages / CS Theory thread
Dylan 2016: Evolving Dylan (lists.opendylan.org)
L 17 pts 0 comments by BruceM Apr 15, 2014 compscilispprogramming Programming (General)Programming Languages / CS Theory thread
People commonly think that Dylan hasn't evolved beyond where it was in the 1990s, and indeed, much of the core specification and standard library remains the same. (The surrounding libraries and the implementation of the language have advanced in that time.) I'm now proposing that the Dylan commu...
Clojure Compiler progress report "Data All The ASTs" (youtube.com)
L 9 pts 1 comments by juliangamble May 3, 2014 compilerscompscidesignlispprogrammingvideo Systems / Low-Level / OSProgramming (General)Programming Languages / CS TheoryDesign / UX / Visualization thread
Static energy consumption analysis of LLVM IR programs (arxiv.org)
L 17 pts 1 comments by BruceM May 26, 2014 compsciprogramming Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
The Curse of the Excluded Middle (queue.acm.org)
L 8 pts 3 comments by animatronic May 28, 2014 compscierlanghaskelllisppractices Programming Languages / CS TheoryProductivity / Career / Business thread
An Instruction for Direct Interpretation of LZ77-compressed Programs (well.com)
L 1 pts 0 comments by animatronic Jun 14, 2014 compscihardwarepdf Programming (General)Programming Languages / CS TheoryMaker / DIY / Hardware thread