|
About the Ideas category
|
|
0
|
212
|
1 February 2023
|
|
Linlu: (An idea for) A malleable computing environment.
|
|
2
|
51
|
27 February 2025
|
|
Gradual dependent types
|
|
0
|
65
|
24 January 2025
|
|
A programming environment with first class categories
|
|
18
|
536
|
17 January 2025
|
|
Objects as Records vs Activities
|
|
24
|
286
|
13 January 2025
|
|
Spaces of Data
|
|
20
|
285
|
5 December 2024
|
|
A Symbol-Oriented GUI
|
|
16
|
588
|
30 October 2024
|
|
Bootstrappable Software
|
|
10
|
443
|
14 July 2024
|
|
Point-Free Logic Programming
|
|
0
|
400
|
12 January 2024
|
|
An interesting quote about the origin of MVC and event handling
|
|
21
|
496
|
6 January 2024
|
|
Smooth Gradients of Composability, or Old Man Yells At Compilers
|
|
27
|
546
|
22 November 2023
|
|
Götz Bachmann’s Ethnographic Research on Dynamicland
|
|
3
|
539
|
16 October 2023
|
|
Exploration of live systems - Hooliganism or Play
|
|
11
|
233
|
12 October 2023
|
|
Cascading tests across the Ecosystem
|
|
4
|
205
|
6 October 2023
|
|
Stephan Becher's StrongForth as an approach to typing stack languages
|
|
0
|
175
|
26 September 2023
|
|
BOS: A Block Operating System
|
|
0
|
198
|
24 September 2023
|
|
Demanding Technologies vs Convenience Technologies
|
|
0
|
211
|
12 May 2023
|
|
Malleable System Metrics
|
|
6
|
234
|
11 May 2023
|