|
About the Ideas category
|
|
0
|
210
|
1 February 2023
|
|
Gradual dependent types
|
|
0
|
55
|
24 January 2025
|
|
A programming environment with first class categories
|
|
18
|
510
|
17 January 2025
|
|
Objects as Records vs Activities
|
|
24
|
249
|
13 January 2025
|
|
Spaces of Data
|
|
20
|
263
|
5 December 2024
|
|
A Symbol-Oriented GUI
|
|
16
|
580
|
30 October 2024
|
|
Bootstrappable Software
|
|
10
|
437
|
14 July 2024
|
|
Point-Free Logic Programming
|
|
0
|
395
|
12 January 2024
|
|
An interesting quote about the origin of MVC and event handling
|
|
21
|
480
|
6 January 2024
|
|
Smooth Gradients of Composability, or Old Man Yells At Compilers
|
|
27
|
540
|
22 November 2023
|
|
Götz Bachmann’s Ethnographic Research on Dynamicland
|
|
3
|
536
|
16 October 2023
|
|
Exploration of live systems - Hooliganism or Play
|
|
11
|
230
|
12 October 2023
|
|
Cascading tests across the Ecosystem
|
|
4
|
202
|
6 October 2023
|
|
Stephan Becher's StrongForth as an approach to typing stack languages
|
|
0
|
166
|
26 September 2023
|
|
BOS: A Block Operating System
|
|
0
|
192
|
24 September 2023
|
|
Demanding Technologies vs Convenience Technologies
|
|
0
|
208
|
12 May 2023
|
|
Malleable System Metrics
|
|
6
|
231
|
11 May 2023
|