🦞🌯 Lobster Roll

Thread

Neut - A dependently-typed programming language with static memory management (github.com)
L 33 pts 0 comments by sulami May 23, 2020 compilerslisp thread

Stories related to "Neut - A dependently-typed programming language with static memory management" across the full archive.

Neut - A dependently-typed programming language with static memory management (github.com)
L 33 pts 0 comments by sulami May 23, 2020 compilerslisp Systems / Low-Level / OSProgramming (General)Programming Languages / CS TheoryProductivity / Career / Business thread
Pikelet is a small, functional, dependently typed programming language (github.com)
L 20 pts 7 comments by Sietsebb Nov 22, 2020 plt Programming (General)Programming Languages / CS Theory thread
Announcing Beatrice: A finally tagless, dependently typed, self-aware programming language (hirrolot.github.io)
L 23 pts 12 comments by vg_head Apr 22, 2024 plt Programming (General)Programming Languages / CS Theory thread
Programming Languages Are Simply Not Powerful Enough (ivanjovanovic.com)
L 4 pts 0 comments by inactive-user Mar 1, 2013 programming Programming (General)Programming Languages / CS Theory thread
Lobster: a game programming language (strlen.com)
L 6 pts 0 comments by dwc Jun 19, 2013 gamesprogramming Programming (General)Programming Languages / CS TheoryGaming / Retro Computing thread
Typo: a programming language that runs in Haskell's type system (github.com)
L 4 pts 0 comments by puffnfresh Aug 7, 2013 haskellprogramming Programming (General)Programming Languages / CS Theory thread
Idris is a general purpose pure functional programming language with dependent types. (idris-lang.org)
L 3 pts 0 comments by SeanTAllen Oct 4, 2013 programming Programming (General)Programming Languages / CS Theory thread
intuitionistic programming language (intuitionistic.org)
L 6 pts 0 comments by SeanTAllen Oct 29, 2013 programming Programming (General)Programming Languages / CS Theory thread
How to learn a new programming language (jasonlotito.com)
L 3 pts 0 comments by jm Dec 24, 2013 programming Programming (General)Programming Languages / CS Theory thread
A glimpse into a new general purpose programming language under development at Microsoft (lambda-the-ultimate.org)
L 5 pts 0 comments by journeysquid Dec 28, 2013 cprogramming Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
Previous coverage: https://lobste.rs/s/t7ormi/c_for_systems_programming
typo: A programming language that runs in Haskell's type system. (github.com)
L 6 pts 2 comments by SeanTAllen Dec 31, 2013 haskellprogramming Programming (General)Programming Languages / CS Theory thread
Nimrod -- a compiled, garbage-collected systems programming language (github.com)
L 4 pts 1 comments by vjoel Jan 4, 2014 programmingrust Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
The Red Programming Language (red-lang.org)
L 3 pts 0 comments by jdp Jan 10, 2014 programming Programming (General)Programming Languages / CS Theory thread
Which first language is best for learning programming techniques? (valbonneconsulting.wordpress.com)
L -4 pts 4 comments by DyslexicAtheist Jan 12, 2014 clinuxprogramming Systems / Low-Level / OSProgramming (General) thread
Which programming language has the best package manager? (blog.versioneye.com)
L 3 pts 0 comments by jm Jan 16, 2014 devopsprogramming Programming (General)Programming Languages / CS TheoryData / Databases / Infrastructure thread
The RedMonk Programming Language Rankings: January 2014 (redmonk.com)
L 5 pts 1 comments by puredanger Jan 22, 2014 programming Programming (General)Programming Languages / CS Theory thread
10 programming languages worth checking out [ December 21 2008 ] (h3rald.com)
L 4 pts 5 comments by yesh Jan 30, 2014 programming Programming (General)Programming Languages / CS Theory thread
The ooc programming language (ooc-lang.org)
L 13 pts 2 comments by rivd Feb 22, 2014 cprogramming Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
Anthropomorphizing Programming Languages (lauradhamilton.com)
L 5 pts 4 comments by laura Mar 5, 2014 programming Programming (General)Programming Languages / CS Theory thread
Consider the Nimrod Programming Language (geetduggal.wordpress.com)
L 5 pts 3 comments by rivd Mar 12, 2014 programming Programming (General)Programming Languages / CS Theory thread
Mercury is a logic/functional programming language (mercurylang.org)
L 6 pts 0 comments by SeanTAllen Mar 17, 2014 compsciprogramming Programming (General)Programming Languages / CS Theory thread
Hack - a programming language for HHVM (hacklang.org)
L 24 pts 3 comments by ScriptDevil Mar 20, 2014 programming Programming (General)Programming Languages / CS Theory thread
The J Programming Language – Tracy Harms at Strange Loop (infoq.com)
L 12 pts 0 comments by kencausey Mar 30, 2014 eventprogrammingslidesvideo Programming (General)Programming Languages / CS Theory thread
Programming languages are the least usable, but most powerful human-computer interfaces ever invente (blogs.uw.edu)
L 2 pts 0 comments by drturtle Apr 7, 2014 designphilosophyprogramming Programming (General)Programming Languages / CS TheoryDesign / UX / VisualizationCulture / Philosophy / History / Reading thread
Preventing heartbleed bugs with safe programming languages (bluishcoder.co.nz)
L 7 pts 0 comments by puffnfresh Apr 14, 2014 programmingsecurity Programming (General)Programming Languages / CS TheorySecurity / Privacy thread
The Avail Programming Language (availlang.org)
L 10 pts 6 comments by carinmeier Apr 29, 2014 programming Programming (General)Programming Languages / CS Theory thread
Introduction to Avail; general purpose language which emphasizes articulate programming (availlang.org)
L 4 pts 0 comments by drturtle May 5, 2014 programming Programming (General) thread
Ramsey Nasser's Arabic Programming Language Artwork (animalnewyork.com)
L 12 pts 1 comments by zhemao May 5, 2014 personprogramming Programming (General)Programming Languages / CS TheoryCulture / Philosophy / History / Reading thread
An interesting piece of programmer art. Ramsey Nasser created a programming language named قلب or qlb, which uses Arabic tokens.
Learn X in Y Minutes: Scenic Programming Language Tours (learnxinyminutes.com)
L 11 pts 2 comments by inactive-user May 8, 2014 programming Programming (General)Programming Languages / CS Theory thread
What can Programming Language Research Learn from the Philosophy of Science? (tomasp.net)
L 5 pts 1 comments by beala May 30, 2014 compsciphilosophyprogramming Programming (General)Programming Languages / CS TheoryScience / Math / PhysicsCulture / Philosophy / History / Reading thread