Hacker News
- A Theory of Composing Protocols (2023) https://programming-journal.org/2023/7/6/ 17 comments
- Reactive Programming Without Functions https://programming-journal.org/2024/8/11/ 15 comments
- The Design Principles of the Elixir Type System https://programming-journal.org/2024/8/4/ 19 comments
- Live Objects All the Way Down: Removing the Barriers Between Apps and VMs https://programming-journal.org/2024/8/5/ 22 comments
- Compiler and Runtime Specializations for Accelerating Managed Languages on FPGAs https://programming-journal.org/2021/5/8/ 5 comments
- The Art, Science, and Engineering of Programming https://programming-journal.org/ 2 comments
- Building a secure software supply chain with GNU Guix https://programming-journal.org/2023/7/1/ 6 comments
- Programming Paradigms, Turing Completeness and Computational Thinking (2020) https://programming-journal.org/2020/4/4/ 23 comments
- Advanced Join Patterns for the Actor Model Based on CEP Techniques https://programming-journal.org/2021/5/10/ 19 comments
- Reference Capabilities for Safe Parallel Array Programming https://programming-journal.org/2020/4/1/ 13 comments
- Active Expressions: Basic Building Blocks for Reactive Programming (2017) http://programming-journal.org/2017/1/12/ 2 comments
- Lisp, Jazz, Aikido http://programming-journal.org/2018/2/10/ 138 comments
- A Module-System Discipline for Model-Driven Software Development (2017) http://programming-journal.org/2017/1/9/ 5 comments
- Language-integrated provenance in Haskell http://programming-journal.org/2018/2/11/ 6 comments
- On the Effect of Semantically Enriched Context Models on Software Modularization http://programming-journal.org/2018/2/2/ 6 comments
- Introducing The Art, Science, and Engineering of Programming journal http://programming-journal.org/ 33 comments
Lobsters
- Reactive Programming without Functions https://programming-journal.org/2024/8/11/ 4 comments plt
- The Design Principles of the Elixir Type System https://programming-journal.org/2024/8/4/ 6 comments elixir
- Building a Secure Software Supply Chain with GNU Guix https://programming-journal.org/2023/7/1/ 16 comments nix , security
- Sham: A DSL for Fast DSLs https://programming-journal.org/2022/6/4/ 5 comments compsci , lisp
- Lisp, Jazz, Aikido – Three Expressions of a Single Essence http://programming-journal.org/2018/2/10/ 3 comments programming
- Revisiting Language Support for Generic Programming: When Genericity Is a Core Design Goal https://programming-journal.org/2023/7/4/ 4 comments programming
- Gradual Soundness: Lessons from Static Python https://programming-journal.org/2023/7/2/ 6 comments programming
- ParaSail: A Pointer-Free Pervasively-Parallel Language for Irregular Computations http://programming-journal.org/2019/3/7/ 17 comments programming
- Lisp, Jazz, Aikido – Three Expressions of a Single Essence http://programming-journal.org/2018/2/10/ 10 comments lisp
- The Art, Science, and Engineering of Programming — an open access programming journal http://programming-journal.org/ 20 comments programming
- There's a new programming journal called The Art, Science, and Engineering of Programming. Issue 1 is out and all articles are published under a Creative Commons license. http://programming-journal.org/ 68 comments programming
- There's a new programming journal called The Art, Science, and Engineering of Programming. Issue 1 is out and all articles are published under a Creative Commons license. http://programming-journal.org/ 5 comments compsci