User contributions for Apm
Jump to navigation
Jump to search
19 November 2021
- 20:4620:46, 19 November 2021 diff hist +10 m Data decompression chain →The decompression chain in gem-gum factories (and 3D printers)
- 20:4520:45, 19 November 2021 diff hist +14 m Data decompression chain →The decompression chain in gem-gum factories (and 3D printers)
- 20:4520:45, 19 November 2021 diff hist +1,665 Data decompression chain →3D modeling: heavily extended on the ==3D modelling== section and a bit on the ==Targets== section
- 20:4120:41, 19 November 2021 diff hist +4 m Progressive disclosure No edit summary
- 20:4120:41, 19 November 2021 diff hist +4 m Annotated lambda diagram No edit summary
- 20:4020:40, 19 November 2021 diff hist +4 m Programming languages No edit summary
- 20:0820:08, 19 November 2021 diff hist +95 Data decompression chain →Related
- 20:0520:05, 19 November 2021 diff hist +47 N The source of new axioms Redirected page to The source of new axiomatic wisdom current
- 20:0320:03, 19 November 2021 diff hist +138 Data decompression chain →Bootstrapping of the decompression chain: some review and cleanup
- 19:5519:55, 19 November 2021 diff hist +152 Data decompression chain →Targets: added link to page Compiling to categories (Conal Elliott)
- 19:5319:53, 19 November 2021 diff hist +177 Data decompression chain added links to Wikipedia pages Boundary&Function representation
- 19:2819:28, 19 November 2021 diff hist +9 m Spiroligomer →Medical use: fixed link
- 19:2619:26, 19 November 2021 diff hist +4 m Spiroligomer →Spiroligomers in the context of APM targeting gem-gum factories: linebreak
- 19:2519:25, 19 November 2021 diff hist 0 m Spiroligomer spelling
- 18:1818:18, 19 November 2021 diff hist +1 m Common misconceptions about atomically precise manufacturing →We would need god like skills to create life-like nanotechnology: nowhere -> anywhere
- 18:0818:08, 19 November 2021 diff hist +146 Common misconceptions about atomically precise manufacturing →It will be insurmountably difficult to develop advanced APM – Wrong: new section - points of actual difficulty
- 18:0218:02, 19 November 2021 diff hist −40 m Common misconceptions about atomically precise manufacturing →It will be insurmountably difficult to develop advanced APM – Wrong: removed a todo of no longer known meaning - oopsie
- 18:0118:01, 19 November 2021 diff hist +7 Common misconceptions about atomically precise manufacturing →It will be insurmountably difficult to develop advanced APM – Wrong: linebreakchange
- 17:5617:56, 19 November 2021 diff hist +5,296 Common misconceptions about atomically precise manufacturing →It will be enormously difficult to develop advanced APM possibly requiring super advanced AI – Wrong: major rewrite - crude - maybe too much rewarding factoring out later
- 17:4617:46, 19 November 2021 diff hist +51 N Gem-gum on chip factories Redirected page to Gemstone metamaterial on chip factory current
- 17:1117:11, 19 November 2021 diff hist +45 N Subsystems Redirected page to Subsystems of gem-gum factories current
18 November 2021
- 15:1915:19, 18 November 2021 diff hist +106 Stroboscopic illusion in animations of diamondoid molecular machine elements added link to Wikipedia page about: Wagon-wheel effect
1 November 2021
- 18:5718:57, 1 November 2021 diff hist +32 m Titanium →Limits of corrosion resistance
- 18:5218:52, 1 November 2021 diff hist +87 Titanium added note on machining difficulty
- 18:4918:49, 1 November 2021 diff hist 0 m Titanium No edit summary
- 18:4818:48, 1 November 2021 diff hist −4 m Titanium removed "but"
31 October 2021
30 October 2021
- 10:4610:46, 30 October 2021 diff hist +234 Annotated lambda diagram →Further important properties: added numbering to the rest too to have it consistent
- 10:3510:35, 30 October 2021 diff hist +5 m Curry-Howard-Lambeck isomorphism →Consequences and applications: fixed typos & spelling - a lot
- 10:3310:33, 30 October 2021 diff hist +828 Curry-Howard-Lambeck isomorphism →Consequences and applications: added notes on -- no need for type of diff representation & option to add informal stuff atop
- 10:1710:17, 30 October 2021 diff hist +5 Annotated lambda diagram →Treat user edits formally: added link to yet unwritten page discovered rather than invented
- 10:1510:15, 30 October 2021 diff hist +5 m Annotated lambda diagram →(1) Do not create insurmountable obstacles for code-changes – mandatory: added missing "this"
- 10:1410:14, 30 October 2021 diff hist +3 m Annotated lambda diagram →Further important properties: or => nor & added dashes
- 10:1310:13, 30 October 2021 diff hist −4 m Annotated lambda diagram →(0) Allow to type normally – highly advisable: removed doubled not
- 10:1210:12, 30 October 2021 diff hist −1 m Annotated lambda diagram →From batch-processed "times" to interleaved "phases": causeing => causing
- 10:1110:11, 30 October 2021 diff hist +46 N Curry Howards correspondence Redirected page to Curry-Howard-Lambeck isomorphism current
- 10:0910:09, 30 October 2021 diff hist +3,751 Annotated lambda diagram →ALD's – The basic idea in brief bullet points: added section == Further important properties ==
22 October 2021
- 16:1616:16, 22 October 2021 diff hist 0 m Curry-Howard-Lambeck isomorphism →Why function types correspond to ResultType^ArgumentType (and are called exponentials)
21 October 2021
- 14:1914:19, 21 October 2021 diff hist +268 Curry-Howard-Lambeck isomorphism →External Links: added links to relevant videos
- 14:1714:17, 21 October 2021 diff hist +131 Curry-Howard-Lambeck isomorphism →Algebra with types: added note on inverse functions.
- 14:1314:13, 21 October 2021 diff hist −1 m Curry-Howard-Lambeck isomorphism →Algebra with types
- 14:1314:13, 21 October 2021 diff hist +594 m Curry-Howard-Lambeck isomorphism →Algebra with types
- 13:2613:26, 21 October 2021 diff hist +2,411 N Curry-Howard-Lambeck isomorphism basic page
- 12:4012:40, 21 October 2021 diff hist +47 Annotated lambda diagram mockups →Compiling to categories: added yet unwritten link to page about Curry-Howard-Lambeck isomorphism
- 12:3512:35, 21 October 2021 diff hist +84 m Annotated lambda diagram mockups →Compiling to categories: added wikitodo
- 12:3112:31, 21 October 2021 diff hist 0 m Annotated lambda diagram mockups →"Inverse tabs" for browsing the whole codebase graph rather than only the local code dependency tree: typo fix
- 12:3012:30, 21 October 2021 diff hist +119 Annotated lambda diagram mockups →Tangible values (TVs): added a wikitodo
- 12:2712:27, 21 October 2021 diff hist +382 Annotated lambda diagram mockups →{{wikitodo|Make mockups still that are not yet made}}: added note on some challenges with lookup code
- 12:2112:21, 21 October 2021 diff hist +4 m Annotated lambda diagram mockups →Mockups regarding maybe not so practical stuff: linebreak
- 12:2012:20, 21 October 2021 diff hist +10 m Annotated lambda diagram mockups →Moving program fragments through programs and linking them up via typed hole connection ports: added linebreaks