🦞🌯 Lobster Roll

Thread

a new concurrent ml (2017) (wingolog.org)
L 8 pts 5 comments by noncrab Feb 1, 2024 lispprogramming thread

Stories related to "a new concurrent ml (2017)" across the full archive.

Joxa – A concurrent, distributed Lisp (joxa.org)
L 14 pts 15 comments by av Jan 21, 2017 distributedlisp Programming Languages / CS TheoryData / Databases / Infrastructure thread
Verifying an I/O-concurrent, File System (2017) (dspace.mit.edu)
L 4 pts 1 comments by nickpsecurity Jul 24, 2017 compsciformalmethodspdfprogramming Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
Rely-Guarantee Termination and Cost Analyses of Loops with Concurrent Interleavings (2017) (costa.fdi.ucm.es)
L 1 pts 0 comments by nickpsecurity Jul 24, 2018 formalmethodspdfprogramming Programming (General)Programming Languages / CS Theory thread
Abstract: "By following a rely-guarantee style of reasoning, we present novel termination and cost analyses for concurrent programs that, in order to prove termination or infer the cost of a considered loop: (1) infer the termination/cost of each loop as if it were a sequential one, imposing asserti...
Multilisp: A Language for Concurrent Symbolic Computation (1985) (pages.cs.wisc.edu)
L 5 pts 0 comments by nickpsecurity Jun 1, 2019 historicallisppdf Programming Languages / CS TheoryCulture / Philosophy / History / Reading thread
Abstract: "Multilisp is a version of the Lisp dialect Scheme extended with constructs for parallel execution. Like Scheme, Multilisp is oriented toward symbolic computation. Unlike some parallel programming languages, Multilisp incorporates constructs for causing side effects and for explicitly in...
a new concurrent ml (2017) (wingolog.org)
L 8 pts 5 comments by noncrab Feb 1, 2024 lispprogramming Programming (General)Programming Languages / CS Theory thread
Immutable Persistent Data Structures in Common Lisp (blog.thezerobit.com)
L 1 pts 0 comments by inactive-user Jul 22, 2012 lisp Programming Languages / CS Theory thread
The Land of Raspberry Lisp, Part 0. (yeel.es)
L 2 pts 0 comments by mc Jul 23, 2012 bookhardwarelisp Programming Languages / CS TheoryMaker / DIY / HardwareCulture / Philosophy / History / Reading thread
Why Lisp Did Not And Never Will Gain Enough Traction (kresimirbojcic.com)
L 8 pts 2 comments by inactive-user Aug 15, 2012 lisp Programming Languages / CS Theory thread
Making a small Lisp project with quickproject and Quicklisp (xach.livejournal.com)
L 2 pts 0 comments by inactive-user Aug 15, 2012 lisp Programming Languages / CS Theory thread
start-project: quickly create new Quicklisp-based projects (lisp.kyleisom.net)
L 1 pts 0 comments by inactive-user Aug 18, 2012 lispshow Programming (General)Programming Languages / CS Theory thread
Condition Handling for Non-Lispers (lubutu.com)
L 5 pts 0 comments by inactive-user Aug 31, 2012 lisp Programming Languages / CS Theory thread
CL-JavaScript: A JavaScript-to-Common Lisp compiler + runtime (marijnhaverbeke.nl)
L 2 pts 0 comments by inactive-user Sep 12, 2012 compilersjavascriptlisp Web DevelopmentSystems / Low-Level / OSProgramming Languages / CS Theory thread
Joxa: Lisp on the Erlang VM (joxa.org)
L 8 pts 0 comments by eigenjoy Sep 17, 2012 lisp Programming Languages / CS Theory thread
LispyScript (lispyscript.com)
L 5 pts 0 comments by qbit Sep 21, 2012 javascriptlisp Web DevelopmentProgramming Languages / CS Theory thread
Lisp in 32 lines of Ruby (blog.fogus.me)
L 9 pts 0 comments by steveklabnik Oct 12, 2012 lispruby Programming (General)Programming Languages / CS Theory thread
"So, Ruby was a Lisp originally, in theory." - Matz (blade.nagaokaut.ac.jp)
L 6 pts 0 comments by steveklabnik Oct 12, 2012 lispruby Programming (General)Programming Languages / CS Theory thread
Lisp in Small Projects (lispinsmallprojects.org)
L 2 pts 1 comments by inactive-user Apr 16, 2013 lisp Programming Languages / CS Theory thread
Behind the Scenes with CHICKEN Scheme (Part 1) (spin.atomicobject.com)
L 3 pts 0 comments by silentbicycle May 2, 2013 clisppersonprogramming Systems / Low-Level / OSProgramming (General)Programming Languages / CS TheoryCulture / Philosophy / History / Reading thread
Creating iOS and Android Apps in Lisp, with mocl (wukix.com)
L 4 pts 0 comments by jturner Jun 8, 2013 androidioslispmobilepdf Programming Languages / CS TheoryApple / macOS / iOS thread
Dylan Hack-a-thon: July 13-14, 2013 (opendylan.org)
L 1 pts 0 comments by BruceM Jul 1, 2013 lispprogramming Programming (General)Programming Languages / CS Theory thread
Open Dylan 2013.1 released (opendylan.org)
L 2 pts 0 comments by BruceM Jul 11, 2013 lispprogrammingrelease Programming (General)Programming Languages / CS Theory thread
Read-Eval-Print-λove is an Internet zine focusing on the Lisp family of programming languages (readevalprintlove.fogus.me)
L 3 pts 0 comments by SeanTAllen Sep 3, 2013 lisp Programming (General)Programming Languages / CS TheoryInternet / Digital Culture thread
A Brief History of Lisp Machines (andromeda.com)
L 3 pts 0 comments by SeanTAllen Sep 23, 2013 lisp Programming Languages / CS TheoryCulture / Philosophy / History / Reading thread
Pico Lisp: A Radical Approach to Application Development (software-lab.de)
L 2 pts 0 comments by SeanTAllen Oct 8, 2013 lisppdf Programming Languages / CS Theory thread
20 Free eBooks on Lisp (efytimes.com)
L 2 pts 1 comments by SeanTAllen Oct 21, 2013 booklisp Programming Languages / CS TheoryCulture / Philosophy / History / Reading thread
Typed Clojure by Example (nathanic.org)
L 2 pts 0 comments by jamesmacaulay Oct 23, 2013 javalispprogramming Programming (General)Programming Languages / CS Theory thread
Efficient memory management for concurrent programs that use message passing (dl.acm.org)
L 4 pts 0 comments by SeanTAllen Nov 1, 2013 programming Systems / Low-Level / OSProgramming (General)Productivity / Career / Business thread
A paredit mode for lisps in Sublime Text. (github.com)
L 2 pts 0 comments by SeanTAllen Nov 15, 2013 lisp 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
slingshot: Enhanced try and throw for Clojure leveraging Clojure's capabilities (github.com)
L 3 pts 0 comments by SeanTAllen Nov 29, 2013 lispprogramming Programming (General)Programming Languages / CS Theory thread