Programming Languages for Verifying Compilers
|
|
1
|
73
|
22 March 2023
|
Flow-Based Programming, a way for AI and humans to develop together
|
|
2
|
95
|
21 March 2023
|
Why am I building a new functional programming language?
|
|
7
|
228
|
20 March 2023
|
Relic: Functional relational programming for Clojure(Script)
|
|
1
|
93
|
6 March 2023
|
Large language models will change programming … a lot
|
|
2
|
143
|
27 February 2023
|
Reflections on 10,000 Hours of Programming
|
|
2
|
173
|
24 February 2023
|
DOjS is a JavaScript programming environment for systems running MS-DOS
|
|
1
|
113
|
21 February 2023
|
Papers on the UX of AI programming assistants
|
|
1
|
88
|
21 February 2023
|
If SAFe was a programming language, would you use it?
|
|
1
|
69
|
20 February 2023
|
John Carmack on Functional Programming in C++
|
|
1
|
169
|
18 February 2023
|
“The Swift Programming Language” book now published with DocC
|
|
1
|
91
|
17 February 2023
|
Aocla: A small stack based programming language interpreter in ~1KloC
|
|
1
|
104
|
2 February 2023
|
Religious and spiritual folklore surrounding programming
|
|
1
|
87
|
30 January 2023
|
How To Lose Functional Programming At Work
|
|
2
|
116
|
29 January 2023
|
Pair Programming with ChatGPT & Haskell
|
|
1
|
129
|
26 January 2023
|
A few programming language features I’d like to see
|
|
1
|
85
|
19 January 2023
|
Introducing: XRPN - the eXtensible RPN programming language
|
|
1
|
123
|
5 January 2023
|
D: Memory Safety in a Systems Programming Language Part 3
|
|
1
|
123
|
5 January 2023
|
Bertrand Meyer et al.: The concept of class invariant in OO programming
|
|
1
|
93
|
3 January 2023
|
Functional Programming – How and Why
|
|
1
|
100
|
2 January 2023
|
The KCL Programming Language for DevOps
|
|
1
|
114
|
27 December 2022
|
Sigils are an underappreciated programming technology
|
|
1
|
113
|
21 December 2022
|
Beyond Functional Programming: The Verse Programming Language (Simon Peyton Jones)
|
|
1
|
164
|
20 December 2022
|
Pony Programming Language
|
|
1
|
109
|
14 December 2022
|
Beyond Functional Programming: The Verse Programming Language
|
|
1
|
214
|
12 December 2022
|
Mangle, a programming language for deductive database programming
|
|
1
|
182
|
27 November 2022
|
The case for dynamic, functional programming
|
|
1
|
163
|
23 November 2022
|
What’s so great about functional programming anyway?
|
|
1
|
149
|
22 November 2022
|
Programming Games for Atari 2600
|
|
1
|
165
|
16 November 2022
|
Neurosymbolic Programming for Science
|
|
1
|
124
|
12 November 2022
|