HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
1.
▲
Introducing The Art, Science, and Engineering of Programming journal
programming-journal.org
33 comments
9 years ago
mpweiher
266 points
2.
▲
Building a secure software supply chain with GNU Guix
programming-journal.org
6 comments
4 years ago
dragonsh
120 points
3.
▲
Lisp, Jazz, Aikido
programming-journal.org
138 comments
8 years ago
mpweiher
114 points
4.
▲
A Theory of Composing Protocols (2023)
programming-journal.org
17 comments
2 years ago
mpweiher
96 points
5.
▲
Reference Capabilities for Safe Parallel Array Programming
programming-journal.org
13 comments
7 years ago
mpweiher
90 points
6.
▲
Live Objects All the Way Down: Removing the Barriers Between Apps and VMs
programming-journal.org
22 comments
2 years ago
mpweiher
89 points
7.
▲
Advanced Join Patterns for the Actor Model Based on CEP Techniques
programming-journal.org
19 comments
6 years ago
mpweiher
84 points
8.
▲
Programming Paradigms, Turing Completeness and Computational Thinking (2020)
programming-journal.org
24 comments
5 years ago
mpweiher
81 points
9.
▲
Language-integrated provenance in Haskell
programming-journal.org
6 comments
8 years ago
mpweiher
70 points
10.
▲
Reactive Programming Without Functions
programming-journal.org
15 comments
2 years ago
mpweiher
64 points
11.
▲
The Design Principles of the Elixir Type System
programming-journal.org
19 comments
2 years ago
mpweiher
62 points
12.
▲
A Module-System Discipline for Model-Driven Software Development (2017)
programming-journal.org
5 comments
8 years ago
mpweiher
49 points
13.
▲
Active Expressions: Basic Building Blocks for Reactive Programming (2017)
programming-journal.org
2 comments
8 years ago
mpweiher
47 points
14.
▲
A Theory of Composing Protocols
programming-journal.org
discuss
4 years ago
mpweiher
42 points
15.
▲
On the Effect of Semantically Enriched Context Models on Software Modularization
programming-journal.org
6 comments
9 years ago
mpweiher
36 points
16.
▲
Compiler and Runtime Specializations for Accelerating Managed Languages on FPGAs
programming-journal.org
5 comments
4 years ago
mpweiher
31 points
17.
▲
An Attempt to Catch Up with JITs: The False Lead of Optimizing Inline Caches
programming-journal.org
1 comment
a year ago
mpweiher
25 points
18.
▲
The State of Coherence in the Land of Type Classes
programming-journal.org
2 comments
a year ago
mpweiher
21 points
19.
▲
Separating Use and Reuse to Improve Both
programming-journal.org
discuss
7 years ago
mpweiher
18 points
20.
▲
Edit Transactions: Dynamically Scoped Change Sets for Controlled Updates (2017)
programming-journal.org
discuss
8 years ago
mpweiher
16 points
21.
▲
ParaSail:A Pointer-Free Pervasively-Parallel Language for Irregular Computations
programming-journal.org
1 comment
7 years ago
pjmlp
13 points
22.
▲
Types for Tables: A Language Design Benchmark
programming-journal.org
1 comment
5 years ago
mpweiher
12 points
23.
▲
Arrays in Practice (2024)
programming-journal.org
discuss
10 months ago
mpweiher
12 points
24.
▲
Sham: A DSL for Fast DSLs
programming-journal.org
discuss
5 years ago
mpweiher
12 points
25.
▲
Miscomputation in software: Learning to live with errors
programming-journal.org
1 comment
8 years ago
mpweiher
10 points
26.
▲
Gradual Soundness: Lessons from Static Python
programming-journal.org
discuss
3 years ago
EntICOnc
9 points
27.
▲
A Module-System Discipline for Model-Driven Software Development
programming-journal.org
discuss
8 years ago
mpweiher
9 points
28.
▲
Fine-Grained, Language-Based Access Control for Database-Backed Applications
programming-journal.org
discuss
7 years ago
mpweiher
6 points
29.
▲
Collective Allocator Abstraction to Control Object Spatial Locality in C++
programming-journal.org
discuss
2 years ago
mpweiher
5 points
30.
▲
Building a Secure Software Supply Chain with GNU Guix
programming-journal.org
discuss
4 years ago
mpweiher
5 points
More