User contributions for Apm

Results for Apm talk block log uploads logs

A user with 19,188 edits. Account created on 24 November 2013.

Jump to navigation Jump to search

14:4914:49, 1 January 2023 diff hist +413 Types in programming →Effects: added FRP and monad transformers
14:4214:42, 1 January 2023 diff hist +20 Types in programming →External links: === Gradual typing ===
14:4014:40, 1 January 2023 diff hist +20 Types in programming →External links: === General theory ===
14:4014:40, 1 January 2023 diff hist +62 m Types in programming →External links: added link to wp page "Pure type system"
14:3614:36, 1 January 2023 diff hist +52 Types in programming →Dependent typing: added link to wp page about gradual typing
14:3414:34, 1 January 2023 diff hist +130 New software crisis Own section: == Incidental complexity vs accidental complexity ==
14:3114:31, 1 January 2023 diff hist +797 New software crisis →External links: Incidental complexity is not the same as accidental complexity!
14:1214:12, 1 January 2023 diff hist 0 m New software crisis →Main problems: lowercase
14:1114:11, 1 January 2023 diff hist +134 Types in programming →External links: added two links
14:0314:03, 1 January 2023 diff hist +32 Beautiful differentiation (Conal Elliott) added back-links * Diffing * Useful math
14:0114:01, 1 January 2023 diff hist +6 m Types in programming →External links
14:0014:00, 1 January 2023 diff hist +6 m Types in programming →External links: reorder & bold
13:5913:59, 1 January 2023 diff hist +12 m Types in programming →External links
13:5913:59, 1 January 2023 diff hist +16 m Types in programming →External links: elaborated
13:5713:57, 1 January 2023 diff hist +1,795 Types in programming →External links: added a load of links
13:1013:10, 1 January 2023 diff hist +26 m Types in programming →Dependent typing: only three unist
12:1512:15, 1 January 2023 diff hist +2,266 Diffing major additions
11:3211:32, 1 January 2023 diff hist +20 Diffing →Related: added link to yet unwritten page: * Edit calculus
11:2611:26, 1 January 2023 diff hist +38 Gemstone metamaterial on chip factory →Nanofactory control: added link to yet unwritten page Materializable programs
11:2511:25, 1 January 2023 diff hist +56 Gemstone metamaterial on chip factory →Nanofactory control: added * User interfaces for gem-gum on-chip nanofactories
11:2411:24, 1 January 2023 diff hist +68 Gemstone metamaterial on chip factory →Related: added * User interfaces for gem-gum on-chip nanofactories
11:2411:24, 1 January 2023 diff hist +44 User interfaces for gem-gum on-chip nanofactories →Related: added link to gem-gum factory page
11:2211:22, 1 January 2023 diff hist +31 New software crisis Undo revision 14033 by Apm (talk)
11:2111:21, 1 January 2023 diff hist −31 m New software crisis →Main problems
11:2011:20, 1 January 2023 diff hist +1,005 New software crisis some basic text
10:5310:53, 1 January 2023 diff hist +46 Software →Relation of software to APM and advanced productive nanosystems: reordering
10:5010:50, 1 January 2023 diff hist +52 Software →Software in gem-gum factories and earlier MMCNs: added * 3D modeling & Constructive solid geometry
10:4910:49, 1 January 2023 diff hist +56 Software →Software in gem-gum factories and earlier MMCNs: added * User interfaces for gem-gum on-chip nanofactories
10:4710:47, 1 January 2023 diff hist +19 General software issues →Related: added * Diffing
10:4510:45, 1 January 2023 diff hist +74 Software →Related: added lionk to yet unwritten page Materializable programs
10:4210:42, 1 January 2023 diff hist +6 m Software →Related: bold
10:4210:42, 1 January 2023 diff hist +137 Software →Related: added 3 links
10:3910:39, 1 January 2023 diff hist +110 User interfaces for gem-gum on-chip nanofactories added back-link * Future of human computer interaction
10:3710:37, 1 January 2023 diff hist +45 Future of human computer interaction →Necessities to reach these targets: added * '''Formal edit calculus and diffing'''
10:3610:36, 1 January 2023 diff hist +1 m Future of human computer interaction →Necessities to reach these targets: added missing letter
10:3510:35, 1 January 2023 diff hist +8 Future of human computer interaction →Generally desirable targets: added links to yet unwritten pages Liveness and Direct manipulation
10:3410:34, 1 January 2023 diff hist +52 Future of human computer interaction →Generally desirable targets: some elaboration showing that "No blindly manipulating symbols" also includes liveness not just direct-manipulation
10:3010:30, 1 January 2023 diff hist +75 Future of human computer interaction →Generally desirable targets: added bullet point on typed holes
10:2710:27, 1 January 2023 diff hist +62 Higher level computer interfaces for deveusers →Related: added * '''User interfaces for gem-gum on-chip nanofactories'''
10:2510:25, 1 January 2023 diff hist +62 Programming languages →Related: added * '''User interfaces for gem-gum on-chip nanofactories'''
10:2410:24, 1 January 2023 diff hist +14 Programming languages →Related: added * Diffing

11:0811:08, 31 December 2022 diff hist +73 Diffing still too crude
10:4810:48, 31 December 2022 diff hist +392 N Diffing crude outline
10:4310:43, 31 December 2022 diff hist +15 Projectional editor →Related: added link to yet unwritten page Diffing
09:5609:56, 31 December 2022 diff hist +67 Structural editor →Examples: added example for a "structural but not projectional" exception
09:5309:53, 31 December 2022 diff hist +185 Structural editor →What to avoid: some elaboration
09:4709:47, 31 December 2022 diff hist +39 Types in programming →Related: added Annotated lambda diagram mockups
09:4609:46, 31 December 2022 diff hist 0 m Types in programming →Related
09:4609:46, 31 December 2022 diff hist +141 Types in programming →Using types for context sensitive suggestions
09:4009:40, 31 December 2022 diff hist +4,696 N Types in programming basic page

Retrieved from "https://apm.bplaced.net/w/index.php?title=Special:Contributions/Apm"