Paper: Feminism in Programming Language Design (www.felienne.com)
in programming_languages@programming.dev from hedy@lemmy.sdf.org on 26 Oct 2024 04:51
comments (5)
Implementing an Intermediate Representation for ArkScript (lexp.lt)
in programming_languages@programming.dev from SuperFola@programming.dev on 13 Oct 2024 20:17
comments (0)
A Dependent Nominal Physical Type System for Static Analysis of Memory in Low Level Code (paper) (codex.top)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 30 Sep 2024 19:31
comments (0)
Notes on the Crystal programming language (wiki.alopex.li)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 29 Sep 2024 14:56
comments (0)
Control structures (free online course, slides) (xavierleroy.org)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 29 Sep 2024 14:50
comments (0)
Total Denotational Semantics (blog) (fixpt.de)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 28 Sep 2024 20:49
comments (7)
Arkscript September update - macros and tooling (lexp.lt)
in programming_languages@programming.dev from SuperFola@programming.dev on 28 Sep 2024 17:49
comments (0)
Lightweight region memory management in a two-stage language (gist.github.com)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 28 Sep 2024 14:05
comments (0)
Comparing ArkScript and Python async/await (lexp.lt)
in programming_languages@programming.dev from SuperFola@programming.dev on 25 Sep 2024 18:58
comments (0)
An expression parser (small DSL) written in C (github.com)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 24 Sep 2024 12:42
comments (0)
Hy: A LISP dialect embedded in Python (hylang.org)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 22 Sep 2024 19:07
comments (0)
Tiny Great Languages: Languages in under 75 lines of code (blog series + GitHub) (zserge.com)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 18 Sep 2024 20:11
comments (1)
Dune Shell: bash + lisp (adam-mcdaniel.github.io)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 18 Sep 2024 19:57
comments (11)
Fennel: a Lua-like LISP (fennel-lang.org)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 09 Sep 2024 21:14
comments (1)
Snapshottable Stores (paper) (dl.acm.org)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 09 Sep 2024 21:12
comments (0)
Rɐbbit: Reactive Data Board & Visual Flow Platform (node-based VPE) (github.com)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 09 Sep 2024 21:05
comments (0)
Firedancer: DSL for defining bullet-hell patterns (demo) (firedancer-lang.com)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 15 Aug 2024 08:40
comments (1)
Soundly Handling Linearity (blog post + paper) (blog.sigplan.org)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 14 Aug 2024 14:28
comments (0)
Syndicated Actors (syndicate-lang.org)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 14 Aug 2024 14:23
comments (0)
You should make a new programming language (ntietz.com)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 13 Aug 2024 15:59
comments (10)
First impressions of Gleam: lots of joys and some rough edges (www.ntietz.com)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 10 Aug 2024 22:14
comments (2)
Zyme: an evolvable language for genetic programming (zyme.dev)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 10 Aug 2024 21:51
comments (0)
Geometry Bugs and Geometry Types (www.cs.cornell.edu)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 10 Aug 2024 21:19
comments (0)
Interval Parsing Grammars for File Format Parsing (paper) (dl.acm.org)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 10 Aug 2024 21:15
comments (0)
It's nothing special, but it's special to me :)
in programming_languages@programming.dev from KindaABigDyl@programming.dev on 27 Jul 2024 20:54
comments (3)
Bril: An Intermediate Language for Teaching Compilers (www.cs.cornell.edu)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 27 Jul 2024 03:03
comments (0)
GLisp: Graphical Lisp (interactive) (glisp.app)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 24 Jul 2024 18:01
comments (0)
Abstract interpretation in the Toy Optimizer (bernsteinbear.com)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 24 Jul 2024 16:34
comments (0)
The algebra (and calculus!) of algebraic data types (codewords.recurse.com)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 24 Jul 2024 16:30
comments (0)
Modal Effect Types (paper) (arxiv.org)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 24 Jul 2024 16:17
comments (0)
IELR(1) parser generator insights (branchtaken.com)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 15 Jul 2024 16:12
comments (1)
Bio: A Lisp dialect written in Zig (github.com)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 15 Jul 2024 05:46
comments (0)
We need visual programming. No, not like that. (blog.sbensu.com)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 15 Jul 2024 05:44
comments (9)
mazeppa: An IR and supercompiler for functional languages (github.com)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 11 Jul 2024 21:39
comments (0)
Esolang Park - online interpreter and debugger for esoteric programming languages (esolangpark.vercel.app)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 11 Jul 2024 21:21
comments (0)
Toit - a language for microcontrollers with live reloading (toitlang.org)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 11 Jul 2024 21:17
comments (0)
Some tricks from the Scrapscript compiler (bernsteinbear.com)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 11 Jul 2024 21:05
comments (0)
Solving a math problem with planner programming (buttondown.email)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 09 Jul 2024 15:56
comments (1)
Scoped Propagators (www.orionreed.com)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 09 Jul 2024 15:31
comments (0)
An online playground for ArkScript (playground.arkscript-lang.dev)
in programming_languages@programming.dev from SuperFola@programming.dev on 03 Jul 2024 14:59
comments (0)
Exploring biphasic (multi-stage) programming (rybicki.io)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 03 Jul 2024 14:00
comments (2)
Associated Effects: Flexible Abstractions for Effectful Programming (paper) (dl.acm.org)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 30 Jun 2024 23:38
comments (0)
International Conference on Functional Programming 2024 Accepted Papers (icfp24.sigplan.org)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 29 Jun 2024 02:35
comments (0)
Deriving Dependently-Typed OOP from First Principles (paper) (arxiv.org)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 25 Jun 2024 21:51
comments (0)
A reckless introduction to Hindley-Milner type inference (reasonableapproximation.net)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 25 Jun 2024 21:47
comments (0)
Writing an IR from Scratch and survive to write a post (long) (farena.in)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 24 Jun 2024 00:02
comments (0)
The Pre-Scheme Restoration (prescheme.org)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 22 Jun 2024 23:09
comments (0)
Lady Deirdre: Unified compiler framework (lady-deirdre.lakhin.com)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 21 Jun 2024 15:31
comments (1)
PLDI (Programming Language Design and Implementation) 2024 Proceedings (dl.acm.org)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 21 Jun 2024 04:48
comments (0)
Staged compilation with dependent types (GitHub) (github.com)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 20 Jun 2024 05:05
comments (0)
F - A tiny functional concatenative language (www.nsl.com)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 19 Jun 2024 22:04
comments (0)
Why python while Julia is so much better?
in programming_languages@programming.dev from wargreymon@sh.itjust.works on 18 Jun 2024 15:17
comments (16)
The design decisions and evolution of a method definition - Ruby case study (zverok.space)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 18 Jun 2024 04:50
comments (0)
AUTOMAP: How to do NumPy-style broadcasting in Futhark (but better) (futhark-lang.org)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 18 Jun 2024 04:42
comments (0)
Crossing the Impossible FFI Boundary, and My Gradual Descent Into Madness (Vale) (verdagon.dev)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 17 Jun 2024 17:49
comments (0)
vvvv - visual live-progamming for .NET (visualprogramming.net)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 17 Jun 2024 02:02
comments (0)
OPLSS 2024 Lectures (videos + notes) (www.cs.uoregon.edu)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 16 Jun 2024 01:56
comments (0)
The Swift compiler is slow due to how types are inferred (danielchasehooper.com)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 12 Jun 2024 19:10
comments (1)
Forsp: A Forth+Lisp Hybrid Lambda Calculus Language (xorvoid.com)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 11 Jun 2024 04:17
comments (0)
How we test(ed) the Futhark compiler (futhark-lang.org)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 11 Jun 2024 02:32
comments (0)
TypeLoom: Gradual Typing with the LSP (github.com)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 11 Jun 2024 02:30
comments (0)
MegaLibm: A DSL for Implementing Math Functions (blog.sigplan.org)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 10 Jun 2024 03:28
comments (0)
The Skew Programming Language (evanw.github.io)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 10 Jun 2024 03:06
comments (0)
A baseline scrapscript compiler (bernsteinbear.com)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 03 Jun 2024 06:26
comments (1)
The borrow checker within · baby steps (smallcultfollowing.com)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 03 Jun 2024 06:25
comments (0)
Circle C++: C++ superset to add Memory Safety based on Rust's borrow checking (www.circle-lang.org)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 03 Jun 2024 06:00
comments (12)
Help me find my new "MIDI Assembly" a new name!
in programming_languages@programming.dev from ZILtoid1991@lemmy.world on 30 May 2024 19:12
comments (3)
Decker: Apple-II themed "multimedia platform" with an integrated scripting language (beyondloom.com)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 27 May 2024 02:42
comments (0)
Oxidizing OCaml with Modal Memory Management (paper) (antonlorenzen.de)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 24 May 2024 03:14
comments (0)
Compilers for free with weval (bernsteinbear.com)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 19 May 2024 22:06
comments (0)
Type Theory Forall #38: Haskell, Lean, Idris, and the Art of Writing (podcast) (www.typetheoryforall.com)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 17 May 2024 20:05
comments (0)
Higher Order Company: developing a massively parallel language, proof checker, and runtime using interaction nets/combinators (higherorderco.com)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 17 May 2024 19:44
comments (0)
Question about 'Design Concepts in Programming Languages' -- 3 Types of Semantics, what do the mean?
in programming_languages@programming.dev from ChubakPDP11@programming.dev on 17 May 2024 02:50
comments (2)
buzz, A small statically typed scripting language 👨‍🚀 (buzz-lang.dev)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 17 May 2024 02:34
comments (3)
Higher RAII, and the Seven Arcane Uses of Linear Types (verdagon.dev)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 14 May 2024 20:55
comments (0)
Meta, a Human-Friendly Programming Language (language.metaproject.frl)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 13 May 2024 03:41
comments (28)
Exploring the c4... compiler? (registerspill.thorstenball.com)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 12 May 2024 01:50
comments (0)
Compiling higher order functions with GADTs (injuly.in)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 10 May 2024 12:56
comments (1)
Should I continue making my own VM, or scrap it for some preexisting solution?
in programming_languages@programming.dev from ZILtoid1991@lemmy.world on 09 May 2024 21:35
comments (8)
The search for easier safe systems programming (blog post + language) (www.sophiajt.com)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 08 May 2024 11:10
comments (3)
Jolie, the service-oriented programming language (www.jolie-lang.org)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 08 May 2024 02:20
comments (3)
MIT PL Review 2024 (proceedings) (plr.csail.mit.edu)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 07 May 2024 01:16
comments (0)
Notes on Implementing Algebraic Subtyping (blog post + language) (semantic.org)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 05 May 2024 22:00
comments (0)
LLVM, MLIR (or any ready-made IR) are not a good fit for learners. Roll your own backend pls if you wanna learn (same shit with LP generators!)
in programming_languages@programming.dev from ChubakPDP11@programming.dev on 03 May 2024 22:56
comments (11)
Cognition (language with powerful metaprogramming) (ret2pop.nullring.xyz)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 02 May 2024 03:08
comments (0)
Borgo (language) (borgo-lang.github.io)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 30 Apr 2024 21:03
comments (3)
PLDI 2024 List of Accepted Papers (pldi24.sigplan.org)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 29 Apr 2024 23:19
comments (1)
Befreak (esolang) (tunes.org)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 29 Apr 2024 21:35
comments (0)
Composability: Designing a Visual Programming Language (johnaustin.io)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 24 Apr 2024 17:23
comments (0)
Borrow checking, RC, GC, and the Eleven (!) Other Memory Safety Approaches (verdagon.dev)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 24 Apr 2024 17:21
comments (1)
Beatrice: A finally tagless, dependently typed, homoiconic programming language (hirrolot.github.io)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 22 Apr 2024 22:05
comments (1)
Dataflow Analyses and Compiler Optimizations that Use Them, for Free (blog.regehr.org)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 21 Apr 2024 17:27
comments (0)
Parsing and all that (blog.jeffsmits.net)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 21 Apr 2024 04:37
comments (0)
Coroutines and effects (article) (without.boats)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 21 Apr 2024 04:33
comments (1)
1ML - ML with true first-class modules, “everything is a module” (old) (people.mpi-sws.org)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 20 Apr 2024 07:51
comments (1)
Writing an EBNF -> Scheme parser generator using AI for machine-unfriendly descriptions, and further enhancements?
in programming_languages@programming.dev from ChubakPDP11@programming.dev on 19 Apr 2024 06:30
comments (6)
Zest: syntax (design of a programming language) (www.scattered-thoughts.net)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 19 Apr 2024 05:16
comments (0)
A Naive Execution Model for Concurrency (github.com)
in programming_languages@programming.dev from cli345@programming.dev on 16 Apr 2024 16:27
comments (2)
How to write a code formatter (yorickpeterse.com)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 14 Apr 2024 03:21
comments (0)
Finding and Fixing Standard Misconceptions About Program Behavior (blog.brownplt.org)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 13 Apr 2024 05:10
comments (0)
Programming Language Scalability (blog) (blog.sulami.xyz)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 13 Apr 2024 04:53
comments (1)
If Inheritance is so bad, why does everyone use it? (buttondown.email)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 11 Apr 2024 14:51
comments (23)
Lambda Screen - Fractals in Pure Lambda Calculus (article + demo) (text.marvinborner.de)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 08 Apr 2024 23:15
comments (0)
eC - A C superset with objects and modules, which is not C++ (ec-lang.org)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 06 Apr 2024 22:22
comments (0)
A Theory of Composing Protocols (paper) (arxiv.org)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 06 Apr 2024 22:09
comments (0)
Type inference was a mistake (borretti.me)
in programming_languages@programming.dev from SuperFola@programming.dev on 06 Apr 2024 08:41
comments (40)
term-lisp: very simple lisp dialect based on pattern matching and term rewriting (github.com)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 02 Apr 2024 20:27
comments (0)
Fledgling Languages List (fll.presidentbeef.com)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 28 Mar 2024 16:43
comments (0)
Functional Shell Snake
in programming_languages@programming.dev from hardkorebob@programming.dev on 28 Mar 2024 14:20
comments (1)
Two little interpreters (article + code) (dubroy.com)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 27 Mar 2024 15:47
comments (0)
PureCake: A verified compiler for a lazy functional language (cakeml.org)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 27 Mar 2024 01:29
comments (0)
Reactive Programming without Functions (paper) (programming-journal.org)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 24 Mar 2024 17:10
comments (1)
Rye: homoiconic dynamic programming language with some new ideas (homoiconic = code-is-data) (ryelang.org)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 23 Mar 2024 21:56
comments (1)
Simple Programming Languages (ryanbrewer.dev)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 22 Mar 2024 01:29
comments (13)
Compiling With Constraints (long) (www.philipzucker.com)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 19 Mar 2024 01:17
comments (0)
Bringing Verse Transactional Memory Semantics to C++ (www.unrealengine.com)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 16 Mar 2024 00:54
comments (3)
Type Theory Forall - #37 Compilers, Staging, Futamura Projections (podcast) (www.typetheoryforall.com)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 12 Mar 2024 19:29
comments (1)
An overdue status update on Darklang (blog.darklang.com)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 12 Mar 2024 19:24
comments (0)
Efficient instance resolution for Agda (amelia.how)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 10 Mar 2024 13:29
comments (0)
I'm betting on Call-by-Push-Value (thunderseethe.dev)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 09 Mar 2024 23:06
comments (7)
Using Go as a compiler backend?
in programming_languages@programming.dev from cobbweb@programming.dev on 09 Mar 2024 07:58
comments (3)
The Cell language - relational, reactive, replayable (www.cell-lang.net)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 08 Mar 2024 01:46
comments (3)
Flyde - a visual programming language (www.flyde.dev)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 07 Mar 2024 13:13
comments (0)
Dada - an experimental language like Rust, but higher level (dada-lang.org)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 06 Mar 2024 13:16
comments (7)
Programming Languages Mentoring Workshop (PLMW) is now open for scholarship applications (forms.gle)
in programming_languages@programming.dev from canpolat@programming.dev on 05 Mar 2024 22:40
comments (0)
Borrow checking without lifetimes ("places") (smallcultfollowing.com)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 04 Mar 2024 21:20
comments (0)
What are GADTs and why do they make type inference sad? (blog.polybdenum.com)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 04 Mar 2024 03:30
comments (0)
What are some pros and cons of a `scope` keyword?
in programming_languages@programming.dev from librecat@lemmy.basedcount.com on 03 Mar 2024 19:23
comments (7)
KamilaLisp: A functional, flexible and concise Lisp (GitHub) (github.com)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 02 Mar 2024 17:34
comments (1)
March 2024 monthly "What are you working on?" thread
in programming_languages@programming.dev from armchair_progamer@programming.dev on 01 Mar 2024 17:44
comments (4)
Programming Language Awareness Centre (www.math.bas.bg)
in programming_languages@programming.dev from Serpent7776@programming.dev on 01 Mar 2024 16:24
comments (1)
Claro Programming Language (docs.clarolang.com)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 29 Feb 2024 00:51
comments (0)
The Pure Programming Language (2022) (agraef.github.io)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 27 Feb 2024 20:58
comments (2)
A Twist on Wadler's Printer (justinpombrio.net)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 26 Feb 2024 15:03
comments (0)
BitC, a dead language and retrospective (2012) (web.archive.org)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 26 Feb 2024 00:27
comments (0)
Resources for type theory, functional programming, etc. (github.com)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 23 Feb 2024 09:34
comments (1)
Unification-free ("keyword") type checking (www.haskellforall.com)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 22 Feb 2024 20:40
comments (1)
µKanren: a minimal functional core for relational programming (2013) (webyrd.net)
in programming_languages@programming.dev from Corbin@programming.dev on 22 Feb 2024 18:14
comments (0)
Algebraic Effects, Ownership, and Borrowing (Ante) (antelang.org)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 21 Feb 2024 17:26
comments (0)
XL: An extensible programming language (older, last update in 2020) (xlr.sourceforge.io)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 21 Feb 2024 17:26
comments (1)
Planner programming blows my mind (logic programming) (www.hillelwayne.com)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 21 Feb 2024 01:59
comments (1)
Advanced Typechecking for Stack-Based Bytecode (SaberVM) (ryanbrewer.dev)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 20 Feb 2024 01:43
comments (0)
Blazingly Fast™ Type Class Resolution with Tries (prophetlabs.de)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 20 Feb 2024 01:42
comments (0)
LibFirm compiler backend (pp.ipd.kit.edu)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 19 Feb 2024 01:37
comments (2)
Bergamot: Exploring Programming Language Inference Rules (type judgements, 2023) (danilafe.com)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 19 Feb 2024 00:37
comments (0)
Sorting algorithm with javascript (chat-to.dev)
in programming_languages@programming.dev from gorpo85@monyet.cc on 16 Feb 2024 16:13
comments (0)
Colored Functions and Monadic Effects (2022) (gist.github.com)
in programming_languages@programming.dev from Corbin@programming.dev on 14 Feb 2024 18:35
comments (1)
Maybe Everything Is a Coroutine (blog + language idea) (adam.nels.onl)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 14 Feb 2024 03:55
comments (0)
Perun2 Programming Language (perun2.org)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 13 Feb 2024 14:55
comments (1)
Extending Rust's Effect System (blog.yoshuawuyts.com)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 11 Feb 2024 01:32
comments (0)
Compiling Pattern Matching (compiler.club)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 03 Feb 2024 23:15
comments (0)
Solving SAT via Positive Supercompilation (hirrolot.github.io)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 02 Feb 2024 00:09
comments (0)
Compiling a Lisp: Overture (2020) (bernsteinbear.com)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 02 Feb 2024 00:01
comments (0)
February 2024 monthly "What are you working on?" thread
in programming_languages@programming.dev from armchair_progamer@programming.dev on 02 Feb 2024 00:00
comments (1)
Achieving Safe, Aliasable Mutability with Unboxed Types (antelang.org)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 01 Feb 2024 00:31
comments (0)
Critique my idea for a language
in programming_languages@programming.dev from tatterdemalion@programming.dev on 31 Jan 2024 21:58
comments (9)
Question: Any Serialization Lang for Pure Functions
in programming_languages@programming.dev from jeffhykin@lemm.ee on 30 Jan 2024 13:15
comments (8)
What I Talk About When I Talk About Query Optimizer (SQL & IR, Part 1) (xuanwo.io)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 29 Jan 2024 17:40
comments (0)
A Beginner's Guide to Programming Language Academia (blog) (ryanbrewer.dev)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 29 Jan 2024 17:39
comments (0)
An alternative to event-driven programming
in programming_languages@programming.dev from cli345@piaille.fr on 26 Jan 2024 14:52
comments (0)
The Ur Programming Language Family (impredicative.com)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 27 Jan 2024 18:51
comments (0)
Safe Manual Memory Management with Coeffects (blog) (ryanbrewer.dev)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 26 Jan 2024 04:39
comments (0)
How bad is LLVM really? (c3.handmade.network)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 20 Jan 2024 20:19
comments (0)
A universal lowering strategy for control effects in Rust (www.abubalay.com)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 16 Jan 2024 01:30
comments (0)
Simplicity and consistency of Smalltalk compared with other languages - Hernán Wilkinson (video, 2022) (www.youtube.com)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 14 Jan 2024 20:42
comments (0)
The Design Principles of the Elixir Type System (paper) (programming-journal.org)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 11 Jan 2024 04:45
comments (0)
Automatic Syntax Error Recovery (blog, 2020) (tratt.net)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 10 Jan 2024 21:14
comments (0)
Interpreters Blog Series (www.sourceprobe.com)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 05 Jan 2024 00:45
comments (0)
Polyglot Language Understanding (wiki page) (github.com)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 02 Jan 2024 19:35
comments (1)
January 2024 monthly "What are you working on?" thread
in programming_languages@programming.dev from armchair_progamer@programming.dev on 02 Jan 2024 19:29
comments (6)
Early Standardization of Common Lisp (fosstodon.org)
in programming_languages@programming.dev from ericjmorey@programming.dev on 02 Jan 2024 14:45
comments (0)
50 reasons why you might still consider PHP for building your websites (chat-to.dev)
in programming_languages@programming.dev from amargo85@lemmings.world on 31 Dec 2023 21:12
comments (5)
The Heart of a Language Server (blog post) (rust-analyzer.github.io)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 30 Dec 2023 23:36
comments (0)
A Core Calculus for Documents (short post + paper) (blog.brownplt.org)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 29 Dec 2023 23:37
comments (0)
Accepted Papers - CGO (Code Generation and Optimization) 2024 (conf.researchr.org)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 28 Dec 2023 22:49
comments (0)
perses: syntax-directed, language-agnostic program reducer (GitHub) (github.com)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 27 Dec 2023 22:29
comments (0)
MIR Project (GitHub, lightweight JIT compiler and IR) (github.com)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 27 Dec 2023 02:53
comments (0)
Austral (language with linear types) Interview (blog.lambdaclass.com)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 24 Dec 2023 23:14
comments (0)
Ownership you can count on (muxup.com)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 21 Dec 2023 08:36
comments (1)
MOPping it up - Building a simple Metaobject Protocol (lukasatkinson.de)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 20 Dec 2023 22:57
comments (0)
Interface Dispatch in C++, Java, C#, Go, and Rust (lukasatkinson.de)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 20 Dec 2023 22:55
comments (0)
Quint: An executable specification language with delightful tooling based on the temporal logic of actions (TLA) (github.com)
in programming_languages@programming.dev from bugarela@programming.dev on 19 Dec 2023 12:40
comments (0)
Security and Crashing with Modal Logic (blog post) (ryanbrewer.dev)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 19 Dec 2023 04:06
comments (1)
3-lisp: an infinite tower of meta-circular interpreters (blog post) (www.cofault.com)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 19 Dec 2023 04:06
comments (0)
tree-shaking, the horticulturally misguided algorithm (blog post) (wingolog.org)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 17 Dec 2023 19:55
comments (0)
We Need Type Information, Not Stable ABI (blaz.is)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 12 Dec 2023 16:56
comments (0)
Implicit Products: A Better Type-Theoretic "Forall" (ryanbrewer.dev)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 12 Dec 2023 16:55
comments (0)
Scottish PL Seminar (program and abstracts) (scottish-pl-institute.github.io)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 10 Dec 2023 11:24
comments (0)
New Semantic Model (for KCL-lang) (kcl-lang.io)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 10 Dec 2023 11:23
comments (1)
POPL 2024 Accepted Papers (popl24.sigplan.org)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 10 Dec 2023 11:08
comments (0)
Improving programming language performance (blog post, sophia-lang) (xnacly.me)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 10 Dec 2023 11:03
comments (0)
Coccinelle For Rust (Automated complex syntax transforms) (gitlab.inria.fr)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 04 Dec 2023 00:16
comments (5)
December 2023 monthly "What are you working on?" thread
in programming_languages@programming.dev from armchair_progamer@programming.dev on 01 Dec 2023 13:18
comments (7)
A response to "A decade of developing a programming language" (www.ncameron.org)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 01 Dec 2023 13:16
comments (0)
A History of Subtyping / What Does Subtyping Mean? (Video / Slides) (www.youtube.com)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 29 Nov 2023 00:55
comments (0)
The Bosque Programming Language (github.com)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 24 Nov 2023 21:31
comments (6)
Write your own tiny programming system(s)! (Online course) (d3s.mff.cuni.cz)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 23 Nov 2023 15:17
comments (0)
قلب | a non ascii programming language that uses arabic script (nas.sr)
in programming_languages@programming.dev from ericjmorey@programming.dev on 19 Nov 2023 21:56
comments (5)
elixir vs golang for job in 2024
in programming_languages@programming.dev from khoi@slrpnk.net on 19 Nov 2023 01:43
comments (1)
Models of Generics and Metaprogramming: Go, Rust, Swift, D and More (thume.ca)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 19 Nov 2023 00:31
comments (0)