Search: programming-journal.org | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Introducing The Art, Science, and Engineering of Programming journal (programming-journal.org)

266 points

9 years ago

2.

Building a secure software supply chain with GNU Guix (programming-journal.org)

120 points

4 years ago

3.

Lisp, Jazz, Aikido (programming-journal.org)

114 points

8 years ago

4.

A Theory of Composing Protocols (2023) (programming-journal.org)

96 points

2 years ago

5.

Reference Capabilities for Safe Parallel Array Programming (programming-journal.org)

90 points

7 years ago

6.

Live Objects All the Way Down: Removing the Barriers Between Apps and VMs (programming-journal.org)

89 points

2 years ago

7.

Advanced Join Patterns for the Actor Model Based on CEP Techniques (programming-journal.org)

84 points

6 years ago

8.

Programming Paradigms, Turing Completeness and Computational Thinking (2020) (programming-journal.org)

81 points

5 years ago

9.

Language-integrated provenance in Haskell (programming-journal.org)

70 points

8 years ago

10.

Reactive Programming Without Functions (programming-journal.org)

64 points

2 years ago

11.

The Design Principles of the Elixir Type System (programming-journal.org)

62 points

2 years ago

12.

A Module-System Discipline for Model-Driven Software Development (2017) (programming-journal.org)

49 points

8 years ago

13.

Active Expressions: Basic Building Blocks for Reactive Programming (2017) (programming-journal.org)

47 points

8 years ago

14.

A Theory of Composing Protocols (programming-journal.org)

42 points

4 years ago

15.

On the Effect of Semantically Enriched Context Models on Software Modularization (programming-journal.org)

36 points

9 years ago

16.

Compiler and Runtime Specializations for Accelerating Managed Languages on FPGAs (programming-journal.org)

31 points

4 years ago

17.

An Attempt to Catch Up with JITs: The False Lead of Optimizing Inline Caches (programming-journal.org)

25 points

a year ago

18.

The State of Coherence in the Land of Type Classes (programming-journal.org)

21 points

a year ago

19.

Separating Use and Reuse to Improve Both (programming-journal.org)

18 points

7 years ago

20.

Edit Transactions: Dynamically Scoped Change Sets for Controlled Updates (2017) (programming-journal.org)

16 points

8 years ago

21.

ParaSail:A Pointer-Free Pervasively-Parallel Language for Irregular Computations (programming-journal.org)

13 points

7 years ago

22.

Types for Tables: A Language Design Benchmark (programming-journal.org)

12 points

5 years ago

23.

Arrays in Practice (2024) (programming-journal.org)

12 points

10 months ago

24.

Sham: A DSL for Fast DSLs (programming-journal.org)

12 points

5 years ago

25.

Miscomputation in software: Learning to live with errors (programming-journal.org)

10 points

8 years ago

26.

Gradual Soundness: Lessons from Static Python (programming-journal.org)

9 points

3 years ago

27.

A Module-System Discipline for Model-Driven Software Development (programming-journal.org)

9 points

8 years ago

28.

Fine-Grained, Language-Based Access Control for Database-Backed Applications (programming-journal.org)

6 points

7 years ago

29.

Collective Allocator Abstraction to Control Object Spatial Locality in C++ (programming-journal.org)

5 points

2 years ago

30.

Building a Secure Software Supply Chain with GNU Guix (programming-journal.org)

5 points

4 years ago